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 公布了论文、过程记录及形式化证明,但未透露多智能体能力是否近期开放。