突发！Claude 拿下概率论「圣杯」，AI 跨过菲尔兹奖终点线 — 渗流连续相变猜想证明
2026-08-30，菲尔兹奖得主 Hugo Duminil-Copin 在博客里感慨"最著名的概率论猜想倒在 AI 推土机轰鸣下只是时间问题"，几乎同时 Anthropic 工程师 Justin Leder 在 GitHub 上传了 Claude 自动生成 + Lean 形式化严格验证的代码，70 年概率论圣杯——渗流连续相变猜想——被 AI 证明。猜想核心是 p=p_c 临界点上无限大连通网络能否形成（=0 连续 vs >0 突变），1980 年 Harry Kesten 2D 证明到 p_c=1/2，11 维及以上高维同样连续，3-10 维中间维度 70 年未解。
一句话总结
2026-08-30，菲尔兹奖得主 Hugo Duminil-Copin 在博客里感慨”最著名的概率论猜想倒在 AI 推土机轰鸣下只是时间问题”，几乎同时 Anthropic 工程师 Justin Leder 在 GitHub 上传了 Claude 自动生成 + Lean 形式化严格验证的代码，70 年概率论圣杯——渗流连续相变猜想——被 AI 证明。猜想核心是 p=p_c 临界点上无限大连通网络能否形成（=0 连续 vs >0 突变），1980 年 Harry Kesten 2D 证明到 p_c=1/2，11 维及以上高维同样连续，3-10 维中间维度 70 年未解。关键拼图是 2024 年 Kozma+Nitzan 论文把问题化简为证明一个特定代数不等式，Claude 接着这条跳板在 Lean 证明助手严苛约束下用数千行形式化代码完成致命一跳。Upenn 数学家 Bou-Rabee 借大模型辅助 1 天完成泛化修改（先前花了 8 年未果），称”AI 让我做到以前连想都不敢想的事”。原作者 Kozma 冷淡——“等人类能看懂的版本”。Jahnel 直接：“如人类证明，大概率拿菲尔兹奖，但 AI 跨过了终点线”。Kalai：“如获验证将非凡突破”。Duminil-Copin 自己多年失败也曾冒出主任务失败的副产物拿菲尔兹奖——预示新一代数学家角色从几十年推导转向挑选探索航线、指挥推理智能体大军、向世界阐释智慧碎片。
一、70 年概率论圣杯是什么
渗流理论
1957 年，Simon Broadbent 和 John Hammersley 思考一个接地气却深奥的物理现象：液体如何穿过一块多孔海绵。
模型：
- 巨大空间网格，每个交叉点之间连接细小管道
- 每根管道有概率 p 畅通，1-p 概率堵塞
- p 很小（0.1）→ 渗不深就停，无法穿透
- p 很大（0.9）→ 四通八达，形成贯通的汪洋
临界点与相变
临界概率 p_c：从 “局部水滴” 跃迁到 “无限连通网络” 的分界线。本质是相变，类似水在标准大气压降到 0°C 结冰。
| 维度区间 | 相变性质 |
|---|---|
| 临界点以下 | 形成无限大连通水流的概率 = 0 |
| 临界点以上 | > 0 |
| 在临界点上 | ？ |
70 年的核心疑问
在恰好等于临界点的瞬间，系统内部能否形成无限大连通网络？
| 选项 | 含义 |
|---|---|
| 概率 = 0 | 相变平滑连续，类似晨雾化作细雨 |
| 概率 > 0 | 临界点瞬间突变，炸出贯通宇宙的无限水流 |
70 年数学家前赴后继都没解出来——直到 2026 年 8 月 30 日。
二、各维度进展
| 维度 | 进展 | 年份/人物 |
|---|---|---|
| 2D | 临界概率恰好 1/2 且 =0 | 1980 Harry Kesten |
| ≥11 维 | 相变连续（统计平均 + 均场论） | 多年前 |
| 3-10 维 | 70 年未解 | 这次 Claude 解了 |
3-10 维之所以是噩梦：
- 没有 2D 平面的特殊几何对称性
- 无法套用高维度的统计平滑工具
- 维度与维度之间的拓扑纠缠极其复杂混沌
- 3D 是我们生活的宇宙，4D 为相对论时空——这些最核心的维度，反而是 “叹息之墙”
三、AI 不是暴力算力
很多人下意识以为：AI 是不是靠海量算力瞎猫碰死耗子穷举出来的？
答案：绝非如此。穷举到宇宙毁灭也证不出无限维度的连续性猜想。
AI 展现的是一种近乎恐怖的高维逻辑收敛与跨领域推理能力。
四、Claude AI 怎么破的局
2024 年关键拼图
以色列魏茨曼科学研究所 Gady Kozma + 佐治亚理工 Shahaf Nitzan 发表论文 arXiv:2401.12397。
证明：只要证明一个特定的、形式相对简洁的代数不等式成立，3 到 10 维猜想自动成立。
终点线被拉到眼前——只差跨出这最后一步，求证那个不等式。
Claude 致命一击
Claude 没有另起炉灶，极其敏锐地抓住了 Kozma-Nitzan 在 2024 年搭建的跳板：
- 在 Lean 证明助手的严苛约束下
- 调用人类已知的大量分析工具与不等式技巧
- 以一种人类数学家从未设想过的精巧路径
- 在形式化代码底层构筑长达数千行的证明闭环
- 硬生生把这个不等式给 “摁死”
五、UPenn 数学家 Bou-Rabee：1 天抵 8 年
宾夕法尼亚大学数学家 Ahmed Bou-Rabee 借助大模型辅助：
| 项目 | 时间 |
|---|---|
| Bou-Rabee 自己手工研究 | 几乎毫无进展 |
| Claude 出现后的泛化 + 修改 | 仅 1 天 |
“AI 让我做到了我以前连想都不敢想的事。有些研究项目我苦苦做了整整八年，几乎毫无进展，但在 AI 的协助下，我现在距离彻底解决只有一步之遥。”
六、数学家反应
Benedikt Jahnel（TU Braunschweig）
“如果有人类证明了这个猜想，他大概率能拿菲尔兹奖。但现在，是 AI 跨过了终点线。”
“这一结果带给我极其复杂的复杂感情——猜想终于被证明了，作为数学家他感到由衷的高兴；但另一方面，心中却弥漫着一种巨大的失落与幻灭，因为是 AI 踢出了最后的临门一脚。”
“人类苦苦守候了半个多世纪的殿堂大门，被 AI 用一把万能钥匙，随手拧开了。”
Gil Kalai
“如果得到验证，这将是一项非凡的突破。”
Hugo Duminil-Copin（菲尔兹奖得主）8-30 当晚
“在我们这个领域，最著名的那个猜想倒在推土机（AI）的轰鸣之下，恐怕只是个时间问题了。”
“在我这个领域，妄想中最著名的那个猜想……”
“一个数学问题绝不仅仅是一个等待被证明的定理。它不仅是一座黑夜里的灯塔，更是一个灵魂的导师。”
“解开它或许不会立刻开辟出一个崭新的数学领域，但它自身所具备的深邃与优美，足以让一代代人为之神魂颠倒。”
“那些看似荒废的失败草稿，却孕育出了数十个意想不到的灵感火花——他日后斩获菲尔兹奖的诸多工作，竟然全是这道主线任务失败后结出的「副产物」。”
Gady Kozma（原作者）
“对于他们的宣称，我暂时不予置评。我们还在等待 Anthropic 发布一个「人类能看懂的版本」，并解释他们到底是怎么做到的。”
七、终局与黎明
历史类比：
- 蒸汽机 → 驾驶艺术没终结
- 照相机 → 写实派艺术没死
- 深蓝击败卡斯帕罗夫 → 国际象棋未亡
- AlphaGo 横扫柯洁 → 围棋未亡
棋手无法战胜 AI，但借 AI 视角看到全新定式，棋盘维度被无限拓宽。
数学也一样。猜想的魅力往往不在于「证明结果」本身，而在于攻克猜想时所孕育的整套工具革命：
- 费马大定理 → 代数几何的壮丽宏图
- 黎曼猜想 → 解析数论大厦拔地而起
未来数学家的崭新使命
未来的数学家，或许不再需要把主要精力消耗在长达几十年的繁复代数推导上：
- 挑选最具价值的探索航线
- 指挥成千上万个推理智能体向未知发起冲锋
- 向人类世界阐释那些被机器带回来的智慧碎片
八、爱因斯坦的话
“人类所能经历的最美妙、最深刻的情感，就是对神秘的感知。它是所有真正艺术与科学的源泉。”
“从 1957 年那块关于海绵吸水的简单猜想，到 2026 年被 AI 在 GitHub 上一剑封喉，人类用 70 年的时间证明了自己的伟大，也见证了智慧形态的交接。”
九、对 Sam 的 3 点启示
- 数学 / 学术领域的 AI 辅助加速已从”灵感迸发”进入”完成证明”阶段——Sam 部署 Hermes Agent 给校园 IT 时，可考虑为科研 / 教师场景开启更深的代码 / 推理辅助能力
- “AI 让以前不敢想的事变成可能” ——Bou-Rabee 8 年未果的事 1 天泛化。这对 OpenClaw
<persistent_tasks>设计的启示：长期未解决任务，AI Agent 接入后有可能几天内完成突破 - 角色转变：从”实现”到”挑选 + 指挥 + 阐释”——Sam 自己在 Hermes Agent 设计上扮演新角色：不是写每个 skill，而是挑选最有价值的 skill 方向 + 指挥 agent 网络 + 向校园 IT 团队阐释成果
来源
- 网易新闻（新智元）原文
- Hugo Duminil-Copin 博客：proofsandprompts.com
- Quanta Magazine 报道
- Scientific American 报道
- GitHub: anthropics/formal-math
- arXiv: 2401.12397（Kozma + Nitzan）
配图
图 1：Claude 证明渗流连续相变猜想——AI 跨过菲尔兹奖终点线（新智元 · 2026-10-07）