Anthropic披露，一款尚未发布的模型在黎曼猜想研究中取得进展。该结果由公司内部数学家确认，并用开源证明助手 Lean 形式化。

模型如何推进

模型由一名数学训练背景不深的员工发起测试，随后在约一天半时间里持续协作。Anthropic称，这个过程共测试了 650 种思路，并调用 60 个子代理分工处理。

具体分工

• 2 个子代理负责提出关键数学思路
• 13 个子代理向关键思路补充想法
• 13 个子代理负责校验推理正确性

学界反应分化

这类结果正在增加。OpenAI 近期也公布了内部模型证明的 10 项重要数学结果，Anthropic 另一个项目此前还推翻了长期存在的 Jacobian 猜想。随着成果增多，数学界对 AI 参与证明的讨论也在升温。

补充信息：黎曼猜想至今仍未被证明，外界曾为其设立 100 万美元奖金。