67.2%的突破距离完全证明黎曼猜想还有多远？

　　67.2%的突破并不等同于解决了67%的黎曼猜想，两者之间存在本质的数学鸿沟——这个数字虽然耀眼，但距离完全证明还有极其遥远的路。2026年8月，Anthropic员工Jarred Sumner让一个未发布的Claude研究版本尝试攻克黎曼猜想，虽未成功，却将黎曼ζ函数临界线零点比例的下界从长期停滞的41.6%一举推高至67.2%。这一突破引发了广泛关注，但需要准确理解其真实含义与局限。

　　

　　一、67.2%是什么？不是“完成度”

　　零点比例下界：黎曼ζ函数的非平凡零点是否全部位于临界线（实部1/2）上，是黎曼猜想的终极问题。数学家长期致力于证明“至少多大比例”的零点一定在这条线上。此前41.6%是人类37年努力的成果，而Claude一次性将这一严格下界提高到约67.25%。

　　不是“67%的猜想被解决”：这个比例代表的是“至少67.2%的零点必然在临界线上”，而非“已经解决了67%的黎曼猜想”。即使将来把比例推到99.999999%，黎曼猜想依然未被证明，因为它要求的是所有无限多个零点无一例外地都在那条线上。

　　一个关键反直觉事实：如果存在无限多个反例（零点跑出临界线），但只要它们相对于无限零点总体是“稀少的”，在比例计算中仍可能趋于0%。也就是说，67.2%的结果和黎曼猜想的真假本质上属于两个不同层次的问题。

　　二、Claude是如何做到的？

　　多智能体协作：Claude发起了两次会话，第一次试了650个思路全部失败，第二次自动协调约60个子智能体，分工探索、验证、撰写论文，消耗约3100万token，运行一天半。

　　组合已有工具：Claude的贡献并非发明全新数学工具，而是将Baluyot、Goldston等人近年来的零点配对无条件结果与Bombieri的Weil二次型观察进行巧妙组合，转化为Hermitian矩阵问题，再利用秩-迹不等式推导出新下界。这种“暴力组合”能力正是AI的优势。

　　三层验证：结果经过了Anthropic内部数学家、外部数论专家Conrey和Goldston的审阅，并通过Lean形式化证明验证，可信度较高。

　　三、距离完全证明还有多远？

　　质的差异：67.2%属于“量”的进步，而黎曼猜想要求“质”的突破——必须处理所有无限个零点。目前数学界尚无任何思路能将这种比例证明转化为完全证明，两者之间存在根本性的理论鸿沟。

　　AI明确提示：Anthropic在公告中明确指出，不认为Claude此次使用的技术能够继续推进到黎曼猜想的完全证明。

　　研究范式变革：这一突破虽然未解决黎曼猜想，却展示了AI在开放数学研究中的巨大潜力——它可以快速组合已有理论、低成本试错、大幅降低“失败成本”，未来可能成为数学家的强大助手。