Anthropic 周一宣布，其一个尚未发布的 AI 模型在黎曼猜想上取得了显著进展，显著提高了该猜想成立解的下界。黎曼猜想是数学界最著名的未解难题之一，涉及素数分布的规律，悬而未决超过 150 年，目前悬赏 100 万美元征求完整证明，但至今无人领取。

更引人注目的是这一进展的实现方式。据 Anthropic 介绍，一名缺乏数学专业训练的员工向模型发出指令，要求其“认真尝试”证明黎曼猜想，随后模型在接下来的一天半内自主协调任务。整个过程模型测试了 650 种不同的解题思路，协调了 60 个子代理，总花费达 3100 万美元。论文脚注详细说明了分工：其中两个子代理负责提出关键数学思想，13 个为这些思想提供贡献，30 个尝试但未能提出新想法，13 个负责验证论证的正确性，最后两个协助撰写初始论文。

成果已由 Anthropic 内部两位数学家确认，并使用开源证明助手 Lean 进行了形式化验证。这并非 AI 首次在数学领域取得突破。今年以来，多个 Erdős 问题已被 AI 模型解决，更强模型的发布也带来了更亮眼的结果。OpenAI 近期公布了其内部“Astra”模型证明的十项重大成果，Anthropic 的另一项工作则反驳了长期存在的雅可比猜想。

这些成果在数学界引发了兴奋与担忧。今年 6 月，一群知名数学家签署公开声明，担心 AI 可能削弱该领域的核心价值，特别是数学证明应“归功于具体作者，他们为自己的发现负责”的标准。然而，数学界对此仍存在分歧。菲尔兹奖得主蒂莫西·高尔斯在回应声明的博客文章中质疑，AI 的影响可能以更复杂、更积极的方式改变数学。他写道：“如果我们到达一个数学定理不再与数学家相关联的世界，也许这不会比星星不以天文学家命名、大多数星星根本没有名字更成问题。”

这一事件再次引发关于当代 AI 能否发现新科学和数学思想的长期讨论。尽管 AI 尚未解决黎曼猜想，但其在探索性任务中展现的自主性和协调能力，可能预示着 AI 在科研中角色的转变。对于关注 AI 前沿的投资者而言，这标志着 AI 能力边界的又一次拓展，尽管其实际应用和商业影响仍有待观察。