Anthropic 未公开 Claude 将黎曼猜想零点下界提升至 67.2%

Anthropic 于 8 月 11 日宣布，未公开的研究版 Claude 在攻克黎曼猜想中取得进展，将临界线上零点比例下界从 41.6% 提升至 67.2%。Claude 在 Claude Code 中自主完成研究，生成 3,100 万个 Token，经历 650 次失败后调集 60 个子级智能体，执行 2,400 条 Shell 命令并编写数百个 Python 脚本。结果经内部数学家莱文特·阿尔波格和拉尔夫·弗曼验证，并由外部专家布赖恩·康雷和丹·戈德斯顿审阅，证明已写成 Lean 可验证形式。Anthropic 公布了论文、过程记录及形式化证明，但未透露多智能体能力是否近期开放。