Claude 挑战黎曼猜想未果，但将临界线零点比例下界提至 67.2%
Claude 未能证明黎曼猜想，但将临界线零点比例下界提升 25.6 个百分点，展示出 AI 在数学研究中的潜力。
黎曼猜想是数学史上的著名未解难题，关乎素数分布。Anthropic 让未发布的 Claude 研究版尝试证明它，虽然未成功，却将已知位于临界线上的零点比例下界从 41.6% 大幅提升到 67.2%。这是该数值几十年来最大的一次推进，被视为解析数论领域的重大进展。
正文摘录
.jpg) AI 向新的数学难题发起了挑战，这次是「黎曼猜想」。 一个诞生于 1859 年的数学猜想，悬而未决 167 年，还挂着 100 万美元奖金。最近 Anthropic 内部有人给尚未发布的 Claude 研究版本布置了一个近乎“不讲道理”的任务： 认真尝试一下黎曼猜想。  Bun 联合创始人 Jarred Sumner，他于去年 12 月加入 Anthropic Claude 确实认真试了。它先后提出 650 个思路，全部失败。随后又重新组织约 60 个 Claude 子 Agent，连续工作一天半，执行 2400 次 Shell 命令，写下数百个 Python 脚本，做了数千次数值检验。最终，黎曼猜想依旧没有被攻克。 但在这次失败的尝试中，Claude 碰到了另一个结果。Anthropic 披露，这个尚未发布的 Claude 研究版本， 将黎曼 ζ 函数中已知至少位于临界线上的零点比例下界，由 41.6% 提高到了 67.2%。