突发，Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线

2026年8月30日，概率论领域的翘楚、2022年菲尔兹奖得主Hugo Duminil-Copin带着一丝感伤写道：

在我们这个学科里，那个最负盛名的猜想被AI这台推土机碾过，大概只是早晚的事。

他指的是数学界长达半个多世纪的概率论「圣杯」级难题——渗流理论中的连续相变猜想（

猜想）。

为了攻克这个难题，这位菲尔兹奖得主投入了多年心血，屡次尝试均告失败。

但所有人都没预料到：现实的发展比预言更加离奇。

几乎在他发布文章的同时，同行们在 GitHub 上发现了Anthropic工程师刚刚上传的代码仓库

没有召开新闻发布会，没有铺天盖地的媒体宣传，连官方博客都未更新。

那里存放的，是一份由大语言模型Claude自动生成、并经过数学形式化证明语言 Lean 严格验证的完整代码——那道菲尔兹奖得主多年未解的渗流猜想，已被 AI 证明。

消息一出，全球数学界立刻沸腾。

德国布伦瑞克工业大学数学家Benedikt Jahnel在接受采访时直言：

若有人类能证明这个猜想，他大概率会获得菲尔兹奖。但现在，是 AI 率先冲过了终点线。

AI 已经把机器证明摆在了桌面上。

数学家Gil Kalai表示：「如果得到确认，这将是一项非凡的突破。」

困扰人类近70年的「概率论圣杯」，究竟是什么？

渗流理论中的连续相变猜想，被视作概率论「圣杯」。

1957年，数学家Simon Broadbent和John Hammersley在研究一个看似简单却极其深奥的物理现象：液体究竟如何透过一块多孔海绵？

你可以想象成冲泡咖啡，或石油在地壳缝隙中渗透：

假设有一张巨大的空间网格，每个交叉点之间都有细小的管道连接。每根管道有概率p是畅通的，也有1-p的概率是堵塞的。

如果p很小，比如只有0.1，那么多数管道被堵，水滴渗入不久便会停止，永远无法穿透整块海绵；如果p很大，比如达到0.9，管道四通八达，水流便能长驱直入，在无限网络中形成贯通的汪洋。

在数学上，从「局部水滴」过渡到「无限连通网络」的那个关键分界线，被称为临界概率。

这是一种相变，类似于水在标准大气压下0摄氏度时结冰。

在临界点以下，形成无限大连通水流的概率

是绝对的0；在临界点以上，

则大于0。

那么，一个让所有概率学家魂牵梦萦的「世纪之问」诞生了：

在恰好等于临界点的瞬间，系统内部究竟能否形成一个无限大的连通网络？换句话说，

到底等不等于0？

如果

=0，意味着这种相变极其平滑、连续，如同晨雾渐渐化为细雨；如果它大于0，则表明系统会在临界点瞬间突变，凭空形成一个贯通宇宙的无限水流。

这个看似简单的猜想，就是概率论中的「圣杯」——

=0 猜想。

为了解开这个谜题，半个多世纪里，数学家们前赴后继。

1980年，数学家Harry Kesten证明了在二维方格网络中临界概率恰好为1/2，且

=0。

这直接奠定了他在数学史上的宗师地位。

在超高维度（11维及以上） 里，每个节点有大量邻居，数学家可以利用统计平均和「均场论」等工具将问题简化。

多年前，学者们已证明在11维及以上的空间中，相变同样是连续的。

然而，真正的难题留在了中间——3维到10维的空间网格。

这里既没有二维平面的特殊几何对称性，也无法套用高维度的统计平滑工具，维度间的拓扑纠缠极其复杂混沌。

三维是我们生活的现实宇宙，四维是相对论的时空，而这些核心维度，却成了人类数学家数十年来无法逾越的「叹息之墙」。

几十年来，无数顶尖学者耗尽青春，最终只能在草稿纸上留下一声叹息。

诗意的漫游者，遭遇冷酷的推土机

菲尔兹奖得主Hugo Duminil-Copin，就是这些「撞墙者」中最著名的一位。

2022年，Duminil-Copin凭借在统计物理相变领域的开创性工作获得数学界最高荣誉菲尔兹奖，而他的学术生涯，几乎与渗流理论紧密纠缠。

他太热爱这个猜想了，爱到近乎痴迷。

在8月30日那篇博客中，Duminil-Copin用极其优美的散文笔触写道：

一个数学问题绝不仅仅是一个等待被证明的定理。它不仅是一座黑夜里的灯塔，更是一个灵魂的导师。

解开它或许不会立刻开辟出一个崭新的数学领域，但它自身所具备的深邃与优美，足以让一代代人为之神魂颠倒。

Duminil-Copin动情地分享道，尽管自己多次试图攻克3到10维的连续相变问题均以失败告终，但在漫长的挣扎与攀登中，那些看似荒废的失败草稿，却孕育出了数十个意想不到的灵感火花。

他日后斩获菲尔兹奖的诸多工作，竟然全是这道主线任务失败后结出的「副产物」。

在人类数学家的传统叙事里，过程远比结果神圣。攀登顶峰的路上，有悬崖勒马的顿悟，有山穷水尽的绝望，有夜以继日的审美沉淀。这种与未知的搏斗，被视为人类理智尊严的最高象征。

然而，Anthropic的入局，彻底撕碎了这种浪漫滤镜。

提交证明的Justin Leder，不是数学系泰斗，甚至在渗流理论界毫无知名度。他所依托的，是Anthropic内部尚未公开发布的超前代 Claude 模型。

AI既不体会迷茫，也不懂得什么叫审美。

面对这道困扰人类70年的天堑，AI就像一台推土机，用严密到近乎窒息的符号逻辑和形式化语言，一路平推了过去。

在接受媒体采访时，数学家Benedikt Jahnel坦言：

这一结果带给我极其复杂的复杂感情。

一方面，猜想终于被证明了，作为数学家他感到由衷的高兴；但另一方面，心中却弥漫着一种巨大的失落与幻灭，因为是AI踢出了最后的临门一脚。

人类苦苦守候了半个多世纪的殿堂大门，被AI用一把万能钥匙，随手拧开了。

AI究竟如何破局？绝非简单「暴力算力」

很多人下意识会认为：AI是不是靠着海量算力瞎猫碰死耗子，用暴力穷举把所有可能性试出来的？

答案是：绝非如此。如果只是穷举，算到宇宙毁灭也证明不了一个无限维度的连续性猜想。

这次AI展现出的，是一种近乎恐怖的高维逻辑收敛与跨领域推理能力。

这扇紧闭的大门之所以能被撬开，其实离不开人类学者在前期铺下的最后一块砖。

时间回到2024年，以色列魏茨曼科学研究所的Gady Kozma与佐治亚理工学院的Shahaf Nitzan发表了一篇极具开创性的论文。

链接：https://arxiv.org/abs/2401.12397

两位数学家证明，只要能证明一个特定的、形式相对简洁的代数不等式成立，那么3到10维的

猜想就自动成立！

这篇论文瞬间让学界看到了胜利的曙光。

终点线已经被拉近到了眼前，只差跨出这最后一步——求证那个该死的不等式。

然而，这最后一步却成了天堑。

数学家尝试构建辅助函数、寻找上下界，但这个不等式就像一条滑溜的泥鳅，总是在推导的关键节点产生奇异性崩溃。

Anthropic的模型，正是在这里完成了致命一击。

它没有另起炉灶，而是极其敏锐地抓住了Gady Kozma和Shahaf Nitzan在2024年搭建的跳板。

大模型在Lean证明助手的严苛约束下，调用了人类已知的大量分析工具与不等式技巧，以一种人类数学家从未设想过的精巧路径，在形式化代码的底层构筑起了一套长达数千行的推理闭环，硬生生把这个不等式给「摁死」了。

宾夕法尼亚大学的数学家Ahmed Bou-Rabee宣布Anthropic证明了这一菲尔茨奖级猜想。

更让Ahmed Bou-Rabee感到震撼的是后续的演进速度。

Ahmed Bou-Rabee借助大模型的辅助，仅仅花了一天时间，就对Anthropic的证明代码进行了泛化和修改。

「AI让我做到了我以前连想都不敢想的事，」Ahmed Bou-Rabee感慨道，「有些研究项目我苦苦做了整整八年，几乎毫无进展，但在AI的协助下，我现在距离彻底解决只有一步之遥。」

但与此同时，原作者Kozma教授却显得格外克制甚至冷淡。

面对各方的追问，他在平静地表示：

对于他们的宣称，我暂时不予置评。

我们还在等待Anthropic发布一个「人类能看懂的版本」，并解释他们到底是怎么做到的。

终局与黎明：当人类不再主导真理

当蒸汽机被发明时，车夫认为驾驶的艺术终结了；当照相机诞生时，写实派画家曾哀叹艺术已死；当深蓝击败卡斯帕罗夫、AlphaGo横扫柯洁时，全世界都在为围棋哭泣。

但围棋死了吗？没有。

人类棋手虽然再也无法战胜AI，但他们借由AI的视角，看到了千百年来从未想象过的全新定式，棋盘的维度被无限拓宽了。

数学也是一样。正如Duminil-Copin在反思中所共同意识到的：证明定理，从来不是数学的全部。

在人类的数学史中，猜想的魅力往往不在于「证明结果」本身，而在于攻克猜想时所孕育的整套工具革命——

为了证明费马大定理，人类开创了代数几何的壮丽宏图；为了试图证明黎曼猜想，解析数论的大厦被拔地而起。

Duminil-Copin自己数年攻坚渗流理论失败，但正如他所说：「那些失败的尝试催生了几十个全新的想法，我把它们用在其他领域，带来了许多我从未想象过的重大发现。」

未来的数学家，或许不再需要把主要精力消耗在长达几十年的繁复代数推导上。挑选最具价值的探索航线、指挥成千上万个推理智能体向未知发起冲锋、并向人类世界阐释那些被机器带回来的智慧碎片，或将成为新一代学者的崭新使命。

爱因斯坦曾经说过：

人类所能经历的最美妙、最深刻的情感，就是对神秘的感知。它是所有真正艺术与科学的源泉。

从1957年那块关于海绵吸水的简单猜想，到2026年被AI在GitHub上一剑封喉，人类用70年的时间证明了自己的伟大，也见证了智慧形态的交接。开云体育APP下载在此次事件中，也作为科技前沿的观察者，持续关注着AI在数学领域的突破。

参考资料：

https://www.quantamagazine.org/updates/transformation/

https://www.scientificamerican.com/article/ai-solves-a-holy-grail-problem-from-probability-theory/

https://proofsandprompts.com/2026/08/30/care-for-a-little-more-ai/

https://github.com/anthropics/formal-math/tree/795efb86f191735c5481675763537cfb4ff37e55/percolation

编辑：大卫

本文来自微信公众号 “新智元”（ID：AI_era），作者：ASI启示录，36氪经授权发布。