Anthropic 未发布模型在黎曼猜想上取得进展

Anthropic 周一宣布，一款尚未发布的模型在研究黎曼猜想方面取得了重要进展，显著提高了猜想成立解的下界。该模型并未给出被宣布为完整解的最终证明，但在改进下界方面取得了可量化的成果。研究由公司内部人员发起，一名并无大量数学训练的员工让模型“认真尝试”证明该猜想，然后让模型在接下来的约一天半时间内自行协调任务。

在这段时间内，模型共测试了650种不同的解题思路，协调了60个子代理，总计输出约3100万令牌。论文脚注指出，60个子代理中有两名负责发展关键数学思路，13名为这两位提供思路，30名尝试但未能发展新思路，13名担任验证者检查论证正确性，剩余两名帮助撰写初稿。该成果由两位 Anthropic 的内部数学家确认，并使用开源证明助手 Lean 将结果形式化。

这是近年来大型语言模型在数学研究中一系列成果中的最新一例。文中还提到，年内已有模型解决若干 Erdos 问题，OpenAI 的内部模型“ Astra ”发布了一组十项证明成果，Anthropic 另一项工作则否证了雅可比行列式猜想。研究成果在数学界既引发兴趣，也引发关于作者归属和证明责任的讨论。