Claude 攻克莱曼猜想虽败,但将相关下界提升至 67.2%

Kyrannio · x · 2026-08-11

Anthropic 让一个未发布的研究版 Claude 尝试解决著名数学难题“黎曼猜想”。

虽然未能彻底解开该猜想,但 Claude 取得了意外突破:它将已知满足该猜想的黎曼 zeta 函数零点比例的下界,从 41.6% 提升到了 67.2%。

在实验过程中,Claude 展现出了自主科研能力,它协调了 60 个子智能体,测试了数百个想法,搜索了相关文献,挑战了自身的证明,并使用 Lean 对结果进行了形式化验证。这被视为自主 AI 驱动科学发现的雏形。

所属事件:Anthropic 研究版 Claude 挑战黎曼猜想获实质性突破(21 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →