Scientific American·· 6 天前精选AI 评分78
OpenAI 与 Anthropic 相继发布重大数学理论证明，引发科学界关注与验证争议
Dueling proofs from OpenAI and Anthropic astound scientists
AI 导读
OpenAI 与 Anthropic 近日相继宣布利用内部大模型完成多项重大科学证明，涉及全维度挂谷猜想、杨-米尔斯理论存在性以及对指数时间假说（ETH）的反驳。
推荐理由
两家前沿机构相继用模型冲击核心理论难题，展现了大模型推导复杂证明的潜力与学术界在验证透明度上的分歧。
来源：Scientific American · scientificamerican.com