150多年来，黎曼猜想一直是数学界那个你总想解决却总没时间解决的谜题——只不过它的赌注是100万美元的奖金和永恒的荣耀，而不是晚餐桌上的吹嘘资本。这个关于素数分布的猜想至今未被证明，而那100万美元还悬而未决，就像没人够得着的奖品。

现在，Anthropic 带着一个未发布的 AI 模型登场了。根据周一发布的公告，该模型在这个问题上取得了重大进展。具体来说，它提高了猜想成立的解的下界。注意，这不是完整的证明——但嘿，罗马不是一天建成的，千年数学难题也不是。

特别有趣的是它的方法。一位没有重要数学背景的 Anthropic 员工只是提示模型“认真尝试”证明这个猜想，然后让它自行其是一天半。这个模型以惊人的超常表现，测试了650个不同的想法，协调了60个子代理，消耗了3100万个输出令牌。这可是很多令牌——足以让最啰嗦的 AI 都脸红。

论文的脚注读起来像企业团队建设活动：在60个子代理中，两个提出了关键数学思想，13个为这些思想做出了贡献，30个尝试提出新想法但失败了，13个担任验证者，最后两个帮助撰写了初始论文。这就像一个数学系，每个人都有角色，即使那个角色只是检查工作并尽量不搞砸。

Anthropic 的内部数学家确认了结果，并使用开源证明助手 Lean 进行了形式化，因为为什么不加点形式验证呢？这不是 AI 第一次展示数学肌肉。在过去一年里，AI 模型解决了好几个 Erdős 问题，OpenAI 的内部“Astra”模型最近证明了10个重大结果。Anthropic 还早些时候反驳了长期存在的雅可比猜想，这就像说：“哦，你以为是真的那个东西？其实不是。”

所有这些进展在数学界引发了兴奋和焦虑。6月，一群著名数学家签署了一份声明，表达了对 AI 可能破坏该领域核心价值的担忧——具体来说，就是证明应归因于特定作者，他们承担荣誉和责任。因为显然，一个没有人为错误负责的证明，简直无法忍受。

但并非所有人都惊慌失措。菲尔兹奖得主 Timothy Gowers 在回应声明的博客文章中沉思道，一个定理不归属于数学家的世界，可能并不比星星不以天文学家命名更有问题。说得好，Gowers 博士。说得好。所以，尽管黎曼猜想仍未解决，但至少我们有一个安慰：如果 AI 最终破解了它，我们不必纠结该祝贺谁——我们只需感谢那60个子代理、它们的3100万个令牌，然后收工。