AI破黎曼猜想关键一步:零点下界刷新至67.2%

2026-08-14 09:02 来源:艺势解析

  Anthropic一个未公开的研究版Claude在尝试攻克黎曼猜想时,虽然未能证明这个世纪难题本身,却把ζ函数落在临界线上的零点比例下界从41.6%大幅刷新到67.2%,让人震惊的是过去37年人类只往前推进了0.8%。

  一、核心突破:从41.6%到67.2%

  突破内容:Claude研究版模型将黎曼ζ函数非平凡零点中位于临界线的已知比例下界,从41.6%提升至67.2%。这一数据由Anthropic于2026年8月11日公布。

  对比意义:此前人类数学家37年间仅将该比例从约40.9%提升到41.6%,相当于推进了0.8%;Claude一天半内提升了25.6%。

  未解决本质:黎曼猜想要求100%的零点都在临界线上,67.2%的突破不代表“完成了三分之二”,即便推到99.9%也无法得证原猜想。

  

  二、研究过程:60个子Agent与3100万Token

  操作方式:Anthropic员工Jarred Sumner(非数学家)向Claude发出“认真尝试证明黎曼猜想”的指令,后续仅给予“继续”和“相信自己”的情绪鼓励。

  执行规模:Claude首次尝试650个点子全部失败;第二次调动约60个子Agent协同工作,执行约2400条Shell命令、写数百个脚本、下载54篇论文查重,共消耗3100万输出Token。

  分工模式:60个Agent中,2个产出核心数学思想,13个提供辅助思路,13个负责验证论证,2个协助撰写论文,其余尝试了未成功的方向。

  

  三、验证与后续:已通过多重检查

  验证流程:结果经Anthropic内部数学家审查,外部顶尖数论专家Brian Conrey和Dan Goldston审阅,同时生成了Lean形式化证明并通过验证。

  论文署名:该研究产出的论文直接以Claude署名。

  学界看法:数学界认为Claude这次本质上是组合已有数学成果,而非发明全新工具;展现了AI在处理大量“探索-试错-验证”循环上远超人类的执行效率。