核心进展：零点比例下界大幅提升

Anthropic披露，一个尚未对外发布的研究版Claude模型在专门配置的Claude Code环境中尝试解决黎曼猜想。结果显示，该模型将黎曼ζ函数中满足猜想条件的零点比例已知下界从41.6%推高到了67.2%。这一结果标志着该比例首次明显跨越2/3门槛。有研究者指出，在之前的37年里，数学家仅将该数字提高了0.8个百分点，而此次单次跳升幅度达25.6个百分点，是半个多世纪以来该问题研究中单次跳升幅度最大的一次突破。

技术路径与实现过程

此次突破并非通过发明新数学实现，而是将Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh等数学家近两年发表的技术与Bombieri在2000年的论文重新拼接，寻找出此前未被走通的组合路径。具体而言，Claude将邦比埃里二次型与蒙哥马利配对关联等工具进行跨领域组合，在非对角化复杂空间中直接展开计算。

在产出过程中，Claude经历了大规模的计算尝试：

  • 初步尝试：模型最初生成并尝试了650个想法，但全部失败。
  • 协作规模：在第二轮尝试中，模型协调约60个子代理并行运行，执行了2400条Shell命令，编写了数百个Python脚本，并进行了数千次数值检验。
  • 资源消耗：整个过程耗时一天半，产生了3100万个输出词元（token）。

验证情况与局限性

针对该结果，Claude提交了一份可用Lean工具形式化验证的证明，并在GitHub开源仓库提供了Lean 4/Mathlib形式化证明。该结果由Anthropic内部两位数学家验证，外部专家Brian Conrey和Dan Goldston在短时间内进行了审阅。然而，由于数学圈正常的验证周期以年计，该结果尚未完成广泛的同行评议。

Anthropic明确表示，不指望这条技术路线能通向黎曼猜想的最终证明。黎曼猜想由Bernhard Riemann于1859年提出，是克雷数学研究所悬赏100万美元的七大千禧年难题之一，至今无人领走奖金。

行业影响与意义

此次突破被认为展示了AI在纯数学领域做出原创性贡献的潜力，证明AI能通过大规模搜索与跨领域工具组合发现人类忽略的路径。对于研究者而言，该案例展示了AI在“读文献、找可组合路径、快速生成候选证明”方面的能力，但目前不应指望AI替代人类进行最终判断。