AI向黎曼猜想发起挑战

近期，人工智能Claude在尝试解决历史悠久的黎曼猜想时遭遇失败。然而，这一过程中却取得了重要突破，刷新了近37年的数学纪录。

黎曼猜想背景

黎曼猜想自1859年提出以来，一直未能得到解决，若破解将赢得100万美元奖金。这一猜想涉及的黎曼ζ函数与素数的分布有着深刻的联系，猜想认为所有 “非平凡零点” 的实部都应等于1/2。

Claude的尝试与成果

据悉，Anthropic内部团队为尚未发布的Claude研究版本设置了极具挑战性的任务，要求其认真尝试攻克黎曼猜想。WhatsApp网页版Claude通过提出650个思路并进行2400次Shell命令操作及数千次的数值检验，最终未能直接攻克辉煌的猜想。

尽管未能解决黎曼猜想，Claude在过程中提升了黎曼ζ函数中已知位于临界线上的零点的比例下界，由41.6%提高至67.2%。这一成果受到了数学界的高度关注。

学术界反响

风投公司Menlo Ventures的合伙人Deedy表示：“Claude的这一结果是自2013年以来，解析数论领域的重大进展。”，他总结道“在过去的37年里，数学家们仅提高了0.8个百分点，而Claude这次的进展则一次性增加了25.6个百分点。”

此外，Anthropic的数学家们已对Claude的成果进行了验证，的确提供了对应的Lean形式化证明。数论学家Brian Conrey和Dan Goldston也已审阅了相关论文。

未来展望

尽管Anthropic强调当前的方法预计无法直接引导出黎曼猜想的最终证明，但这一结果显示出，前沿模型的数学能力正在逐渐接触到这些复杂而无现成答案的研究问题。未来，对于黎曼猜想的关注仍将持续。

167年未解的黎曼猜想

文章来源：https://finance.sina.com.cn/tech/roll/2026-08-11/doc-inimwuht0840799.shtml