当 AI 开始做"真正的数学"
2026 年 8 月 11 日，Anthropic 宣布了一条让数学界和 AI 界同时震动的消息：一款尚未公开的研究版 Claude，在攻克黎曼猜想的过程中取得了实质性进展——它将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到了 67.2%。
这不是"AI 写了一首诗像人写的"那种模糊意义上的突破。这是一个具体的、可验证的数学成果，涉及一个自 1859 年提出以来困扰人类数学家 167 年的千禧年大奖难题。[^1]
事件要点：一场持续数天的自主研究
根据 Anthropic 的披露，整个过程大致如下：
研究环境：Claude 在 Claude Code 中完成全部研究工作，这是一个面向开发者的终端编程环境。换言之，Claude 不是在对话框里回答问题，而是在一个接近真实科研工作者的工具链中自主操作。
规模与韧性：两次测试共生成 3,100 万个输出 Token，经历 650 次失败尝试后，模型调集了 60 个子级智能体（sub-agents） 继续推进。期间累计执行 2,400 条 Shell 命令，编写数百个 Python 脚本。这种"失败—调整—再试"的循环，与人类数学家的研究过程高度相似。
验证流程：Anthropic 并没有止步于"模型说自己做对了"。他们请内部数学家莱文特·阿尔波格（Levent Alpöge）和拉尔夫·弗曼（Ralph Furman）进行验证，再交由外部数论专家布赖恩·康雷（Brian Conrey）和丹·戈德斯顿（Dan Goldston）审阅。最后，员工埃里克·伊斯利（Eric Isley）将证明写成可由 Lean 形式化验证的版本——这意味着结论不仅通过了人类审阅，还通过了机器证明检查器的严格检验。
为什么 41.6% → 67.2% 值得关注
黎曼猜想的核心涉及黎曼 ζ 函数的非平凡零点分布。简单来说，猜想认为所有非平凡零点都落在实部为 1/2 的临界线上。数学家目前无法证明全部零点都在这条线上，但可以证明"至少有一定比例的零点在这条线上"——这个比例就是所谓的"下界"。
历史上，这个下界一直在缓慢提升：
- 1914 年，Hardy 证明了无穷多个零点在临界线上（但没给比例）。
- 1974 年，Levinson 证明了至少 34% 的零点在临界线上。
- 1989 年，Conrey 将这一比例提升到 41.28%。
- 此后学术界经过数十年努力，将这一数字推至 41.6% 附近。
而 Claude 将这个数字一举推到 67.2%——这不是对前人工作的微调，而是一次量级上的飞跃。如果验证无误，这将是黎曼猜想研究近半个世纪以来最大的单次进展。
更深远的意义：AI 作为"研究伙伴"
这条新闻的分量不仅在于数学本身，更在于它展示了 AI 在科学研究中的新角色。
从"工具"到"自主研究者"
过去我们谈论 AI 做数学，通常指的是模型帮助人类计算、验证或搜索特例。但这次 Claude 的工作模式不同：它自主完成了从提出策略、编写代码、运行实验、分析失败原因到调整方向的完整研究循环。60 个子智能体的并行协作，更接近一个微型研究团队的运作方式。
形式化验证闭环
特别值得注意的是 Lean 的引入。Lean 是一门形式化数学语言，能够以机器可验证的方式表述和检查数学证明。将 AI 的发现写成 Lean 代码并通过验证，意味着我们不需要完全信任 AI 的推理过程——只需信任 Lean 的类型检查器。这为"AI 产出的数学成果能否被信任"提供了一条可行的解决路径。
对 AI 能力边界的重新认知
长期以来，业界对大语言模型在数学推理方面的能力存在争议。LLM 擅长模式匹配和语言生成，但在需要严格逻辑链的数学证明中经常"一本正经地胡说八道"。Claude 这次在黎曼猜想上的突破表明，当模型的推理能力、工具调用能力与形式化验证工具结合时，AI 确实能够在前沿数学研究中产出可靠的成果。
简短点评
Anthropic 选择在 Claude 攻克黎曼猜想这样的节点公布消息，显然有品牌策略的考量——没有什么比"AI 在千禧年难题上取得进展"更能证明模型实力了。但抛开营销层面，这条新闻传递了一个清晰的信号：AI 正在从"辅助工具"进化为"科研参与者"。
当然，67.2% 距离 100%（即完整证明黎曼猜想）仍有很长的路。数学史上不乏看似接近最终证明、实则遭遇深层障碍的先例。但这次突破最大的价值或许不在于数字本身，而在于它展示了一种新的科研范式：人类设定方向， AI 自主探索，形式化系统把关验证。
如果这种范式可以复制到数论以外的领域——物理学、生物学、材料科学——我们可能正在见证一种全新的科学发现模式的诞生。至于那个悬赏百万美元的最终证明，也许不会在明天到来，但 AI 已经证明它有资格坐到这盘棋的牌桌前。
[^1]: 本文事实依据来自 IT之家相关报道，数学背景信息参考克雷数学研究所千禧年大奖难题及公开学术文献。