Anthropic未公开模型推进黎曼猜想取得突破性进展

背景

黎曼猜想是数学界持续150余年的核心未解难题，涉及素数分布的深层规律。迄今为止，尚无完整证明，全球悬赏高达100万美元。近期，大语言模型（LLM）在数学推理方面屡有斩获，OpenAI的“Astra”模型公布了十项重要定理，Anthropic亦曾在雅可比猜想上取得否定结果。此背景下，Anthropic公布了其最新、尚未面向公众的模型在黎曼猜想上的进展。

实验设计与执行

Anthropic内部的实验团队让一名缺乏深度数学背景的员工向模型发出“尝试证明黎曼猜想”的指令。随后，模型在约36小时内自行组织了60个子代理（sub‑agents），共生成了31 百万个输出 token，探索了650种不同的证明思路。

• 子代理角色划分：
  • 2 个核心代理负责提出关键数学概念；
  • 13 个辅助代理提供创意补充；
  • 30 个尝试但未能形成新思路的代理；
  • 13 个验证代理负责检查论证的正确性；
  • 最后 2 个代理撰写初稿。

所有产生的论证被导入开源交互式证明助理 Lean，并由两位Anthropic内部数学家进行人工复核。

结果与意义

实验的核心成果是将黎曼猜想在更大范围内的下界提升了数个数量级，即在更广的数域上验证了假设的成立。虽然仍未提供完整的通用证明，但这一进展已超过以往任何单一AI系统的表现。

• 验证方式：通过 Lean 的形式化检查，所有被标记为“关键”思路均通过了机器验证；
• 人类审查：两位内部数学家确认了模型生成的关键步骤在逻辑上无明显漏洞。

此结果暗示，LLM 已具备在高度抽象的数学领域进行探索、协同推理并生成可验证中间成果的能力。对数学研究方法的潜在冲击不容小觑。

行业与学术界的反响

该发现迅速在数学与AI社区掀起讨论。部分数学家担忧 AI 生成的“证明”缺乏可追溯的作者责任，正如2026年6月一封由多位顶尖数学家签署的公开信所指出的那样。与此同时，菲尔兹奖得主 Timothy Gowers 在博客中提出，若数学定理不再与个人署名关联，可能是一种自然的学科演化。

企业层面，Anthropic 将此实验视为内部研发的里程碑，暗示其下一代模型将在科学发现方面具备更强的自主性。

展望

• 模型迭代：Anthropic 计划在正式发布前进一步扩展子代理的交互深度，争取在更复杂的数学猜想上取得突破。
• 跨学科合作：AI 与传统数学家的协同模式或将成为未来研究新范式，尤其是在需要大量组合搜索的领域。
• 监管与伦理：随着AI在学术成果中的角色日益突出，如何界定贡献归属、确保结果可重复性将成为政策制定者关注的焦点。

“如果数学定理不再与个人关联，也许不会比星体不以天文学家命名更令人担忧。” — Timothy Gowers

Anthropic 的这次实验表明，生成式AI 正在从“工具”向“合作伙伴”转变，未来在数学、物理乃至更广阔的科学探索中，AI或将扮演不可或缺的角色。