AI 第一次挑战千年数学难题？

luyuanhong

AI 第一次挑战千年数学难题？

原创  小佳  xxDays  2026 年 8 月 11日 16:36  河南

167 年了。

1859 年，德国数学家黎曼在一篇只有 8 页的论文里提出一个猜想。他随手写了句「这当然是显然的」，然后就再也没提过。

后面 167 年，这个「显然的」猜想让地球上最聪明的数学头脑集体失眠。希尔伯特说它是数学皇冠上的明珠。克雷数学研究所悬赏 100 万美元求解。多少数学家穷尽一生都没摸到门槛。

然后昨天，一条消息把整个数学圈炸醒了。

Anthropic 旗下的 Claude ——对，就是你手机上那个聊天机器人——在黎曼猜想上取得了突破性进展。不是「会做几道高中数学题」那种突破。是把黎曼 Zeta 函数在临界线上零点比例的下限，从 41.6% 一下子推到了 67.25% 。

你可能觉得 67.25% 跟 100% 差很远。但懂数学的人都知道，这一步跨了 25.6 个百分点，是全球数学家花了 167 年都没做到的事。

60 个 AI「数学家」开了个会

这事儿具体怎么发生的？

Anthropic 透露，他们让一个研究版 Claude 尝试证明黎曼猜想。这个 AI 花了大概一天半的时间，调用了约 60 个子智能体，像一支数学突击队一样分头攻关。

它干了什么？执行了几千条 Shell 命令，写了一大堆 Python 脚本做数值验证，把近几十年来数论领域的各种新成果和线性代数方法揉在一起。最后在两位 Anthropic 数学家的监督下，完成了一段用 Lean（一种数学证明语言）严格形式化的论证。

然后这段证明被送给外部的数论专家评审——评审通过了。

有件事特别值得琢磨：发起这个项目的不是 Anthropic 的研究员，而是 Bun 的创始人 Jarred Sumner 。一个程序员，对 AI 说「你试试证明黎曼猜想」，然后 AI 就真的去干了。

这说明什么？AI 已经不只是工具了，它开始具备「被一个外行下达高难度任务然后独立完成」的能力。

从做题家到探索者

之前的 AI 在数学上是什么水平？

大概就是超级做题家的水平。IMO 金牌级别的数学竞赛题，它能解。但你让它去搞一个没有标准答案的开放问题，它不会。这就好比你班上那个刷题最猛的同学，考试次次第一名，但你让他写篇数学论文，他可能连题目都想不出来。

这次 Claude 做的事不一样了。

黎曼猜想没有现成的解题路径。没有人知道怎么证。Claude需要自己去翻几十年的论文、尝试几百种思路、不断试错、推翻重来。这已经不叫做题了。这叫做研究。

虽然 Anthropic 也坦率地说，这次用到的技术路线不太可能导向完整的证明。但他们也承认 Claude 找到了人类之前没发现的新思路。

说实话，这句话才是最震撼的。

AI 找到了人类没发现的数学路径。哪怕这条路径最后走不通，它也意味着 AI 在纯数学领域已经具备「原创贡献」的能力了。

一个外行的一些想法

我小时候觉得数学家是全世界最厉害的人。他们能看见常人看不见的结构，摸到宇宙最底层的纹理。后来长大了才知道，数学家也是人，也会卡壳，也会沮丧，也会在一个问题上耗掉一辈子。

现在 AI 来了。它不吃饭不睡觉，不会因为证不出来就怀疑人生。它可以把所有已知的数学知识同时装在脑子里，从几百个角度同时进攻。

有人说这是数学的终结。我觉得恰恰相反。

AI 不会让数学变得无聊。它只是给了我们一种新的可能性：人类负责提问题、定方向，AI 负责算。就像望远镜没让天文学终结，显微镜没让生物学终结一样。

而且别忘了，67.25% 离 100% 还差得远呢。黎曼猜想依然悬在那里，100 万美元依然没人领走。

但这可能是人类历史上第一次——有一个数学突破，是一个硅基生物和碳基生物联手做出来的。

就冲这一点，2026 年 8 月 11 日值得被记住。

xxDays