Claude是如何将黎曼零点比例下界提升到67.2%的？

　　2026年8月，Anthropic内部研究版Claude在冲击167年悬而未决的黎曼猜想时意外取得重大突破——它将黎曼ζ函数中已证明位于临界线上的非平凡零点比例下界，从人类保持了37年的41.6%一举推高至67.2%，而完成这一壮举的核心，是Claude在几乎无人类干预下，自主调用60个子智能体进行了一次堪比数学研究所的协作攻关。

　　一、多智能体协作：从650次失败到60个子Agent分工

　　启动与初战：Anthropic员工、Bun创作者Jarred Sumner一次晨跑时随口让Claude"认真试试黎曼猜想"。Claude第一轮自主生成了约650个思路，全部失败。

　　大规模并行攻坚：在Sumner仅以"继续"和"相信自己"作为提示的情况下，Claude第二轮自动拉起约60个子智能体，持续运作一天半，总计执行约2400条shell命令、编写数百个Python脚本，消耗3100万输出token。

　　内部精细分工：最终仅2个子Agent发展出关键数学思想，13个提供辅助思路，13个负责验证论证，另外2个撰写论文初稿，余下30个子Agent尝试了未成功的路径。整个过程就像一个高度自动化的虚拟数学研究所。

　　二、数学机制创新：将零点问题转化为矩阵秩问题

　　现有工具组合：Claude并未创造全新的数学工具，而是将Baluyot、Goldston等数学家近年的零点配对无条件结果，与Bombieri在2000年的观察进行了巧妙组合。

　　核心降维思路：Claude把Weil公式限制在一个有限维的Gabor函数空间，将原本的解析数论问题转化成一个Hermitian矩阵问题。临界线上的零点贡献"正方向"，而临界线外的零点会成对出现，每一对贡献一个特征值为(1,1)的二维不定块。

　　提出新不等式：Claude设计了适用的"秩—迹不等式"，同时处理正定与不定贡献，再利用已能从素数侧计算的一阶和二阶矩信息，最终推导出新下界。取最优窗函数后得到67.25%的精确比例。

　　三、严谨验证：三层检查确保结果可靠

　　论文署名AI：Claude直接以模型署名完成论文撰写，并输出了可形式化验证的证明过程。

　　数学家核验：结果先经Anthropic内部数学家Levent Alpoge和Ralph Furman检查，再送交该领域外部顶尖数论专家Brian Conrey和Dan Goldston审阅。

　　形式化证明：Claude与员工Eric Easley共同制作了Lean形式化证明并通过标准验证工具，为结论再添一重保障。不过需注意，该结果尚未完成传统学术期刊的完整同行评审。