AI攻克黎曼猜想新纪录：Claude将临界线零点比例下界提升至67.2%

引言

2025年，人工智能在数学领域的探索再次引发轰动。Anthropic内部的一次实验显示，其尚未发布的Claude研究版本在尝试解决黎曼猜想时，意外地将黎曼ζ函数中已知位于临界线上的零点比例下界从41.6%提升至67.2%。这一成果不仅刷新了数学界的认知，也标志着AI在开放研究问题上的能力迈出了重要一步。

黎曼猜想：悬而未决的世纪难题

黎曼猜想由德国数学家伯恩哈德·黎曼于1859年提出，是数学史上最著名的未解之谜之一。它断言黎曼ζ函数的所有非平凡零点的实部都等于1/2，即这些零点全部落在复平面上的临界线上。这一猜想与素数的分布密切相关，其成立与否将深刻影响数论乃至整个数学领域。作为克雷数学研究所的千禧年难题之一，解决它可获得100万美元奖金，但167年来无人能够证明或推翻。

从41.6%到67.2%：Claude的突破

数学家们虽然无法证明所有零点都在临界线上，但可以证明其中一定比例存在。经过数十年的努力，这一比例的下界被逐步提升至41.6%。然而，Claude在这次实验中，通过创新的方法，将这一下界大幅提升至67.2%，提高了25.6个百分点。这一进展被Menlo Ventures合伙人Deedy评价为“自2013年有界素数间隔突破以来，解析数论领域最重大的进展”。

Claude的探索过程：650个失败与60个子Agent

这次实验由Anthropic的Bun联合创始人Jarred Sumner发起，他给Claude下达了一个开放任务：“认真尝试一下黎曼猜想”。第一轮中，Claude生成了约650个思路，但全部失败。随后，Sumner鼓励它继续尝试，第二轮持续约一天半，Claude组织了约60个子Agent，并行探索多个方向，执行了2400次Shell命令，编写数百个Python脚本，并进行了数千次数值检验。子Agent之间互相审阅，最终发现了新的证明方法。

技术细节：二次型与函数空间

Claude的证明基于Montgomery、Bombieri等数学家的前期工作。它构造了一个合适的函数空间，利用Weil诱导的二次型，将位于临界线上的零点和偏离临界线的零点分别对应到正定与负定方向。关键创新在于，Claude没有分别处理正定和负定部分，而是将整个空间放在同一框架内分析，允许二次型具有非对角结构。结合已有结果，最终导出了67.2%的下界。

验证与形式化：确保可靠性

Anthropic内部数学家Levent Alpöge和Ralph Furman对Claude的论文进行了详细检查，并验证了其与既有文献的关系。同时，Claude与Anthropic员工Eric Easley合作，将关键结果形式化为Lean证明，并通过了Comparator验证。此外，数论学家Brian Conrey和Dan Goldston也审阅了论文。尽管尚未经过传统同行评议，但这一结果已获得初步验证。

意义与局限：AI数学能力的里程碑

这次实验的意义不仅在于数值上的突破，更在于展示了AI在开放研究问题上的潜力。Claude能够自主探索、提出假设、验证并整理成论文，表明其数学推理能力已接近人类专家水平。然而，Anthropic强调，这套方法预计无法直接导向黎曼猜想的最终证明，67.2%与100%之间仍有巨大鸿沟。但这次成功为AI辅助数学研究提供了新范式，未来或可应用于更多难题。

结论

Claude在黎曼猜想上的尝试虽然未完全成功，但意外地推动了临界线零点比例下界的重大进展。这一成果不仅刷新了数学界的纪录，也证明了AI在解决开放问题上的巨大潜力。随着AI技术的不断进步，我们或许将见证更多由AI驱动的数学突破。