黎曼猜想被证明了吗？AI下界67.2%意味着什么

　　一、“证明黎曼猜想”？这事还没发生

　　核心事实：黎曼猜想由德国数学家黎曼于1859年提出，是关于黎曼ζ函数非平凡零点分布的世纪难题，也是克雷数学研究所悬赏100万美元的“千禧年难题”之一。它断言ζ函数的所有非平凡零点都落在复平面上实部为1/2的“临界线”上。截至目前，没有任何人（包括AI）能证明或推翻它。

　　Claude做了什么：Anthropic公司让一个未发布的研究版Claude尝试攻克黎曼猜想，结果失败了。但在失败的过程中，它把一个相关问题的纪录大幅改写——将已知位于临界线上的零点比例下界，从41.6%提高到了67.2%。这不是“完成了67%的证明”，而是给出了一个更强的数学不等式，距离100%的最终证明仍有巨大的鸿沟。

　　

　　二、67.2%到底意味着什么？

　　数学意义：数学家无法证明所有零点都在临界线上，但可以证明“至少有多大比例”一定在线上。过去37年，人类数学家只把这个数字从约40%推进到41.6%，推进了0.8%。Claude一次推进了25.6个百分点，达到了67.2%。这被风投研究者评价为“自2013年有界素数间隔突破以来，解析数论领域最重大的进展”。

　　不等于“解决”：即使把比例提高到99.999%，也不等于证明了黎曼猜想。因为零点有无穷多个，只要存在一个违反猜想的例外，猜想就不成立。而百分比下界的方法永远无法排除这种可能性。通俗说，这更像是把“我们确定的底线”大幅前推，但并没有触及终极目标。

　　三、AI是怎么做到的？“60个Agent”和“灌鸡汤”的研究方式

　　研究模式：发起人Jarred Sumner并非数学家，他给Claude的指令只有“继续尝试”和“相信自己”。Claude第一轮提出650个思路全部失败，随后自主协调了约60个子Agent，运行一天半，消耗3100万输出Token，执行2400条Shell命令，编写数百个Python脚本。

　　分工与验证：60个Agent中，最终只有2个发展出关键数学思路，13个提供辅助想法，30个方向失败，13个专门负责验证和反驳，最后2个撰写论文。找到结果后，Claude还自己下载54篇论文检查是否重复，并从头独立重推一遍，之后产出了Lean形式化证明，再由人类数学家验证。

　　本质：Claude没有发明全新数学工具，而是“组合”了Baluyot、Goldston、Bombieri等数学家近年的研究成果，发现了一条人类因认知惯性或精力限制而忽略的路径。这展示了AI作为“不知疲倦的科研协作者”的潜力。