Claude攻破渗流猜想 AI跨过菲尔兹奖终点线

时间：2026年10月8日（36氪等中文媒体首报），事件实质发生在8月底 地点：美国旧金山（Anthropic 总部）/ GitHub 代码托管 人物：Anthropic 工程师 Justin Leder、菲尔兹奖得主 Hugo Duminil-Copin（2022）、以色列魏茨曼科学研究所 Gady Kozma、佐治亚理工学院 Shahaf Nitzan、德国布伦瑞克工业大学数学家 Benedikt Jahnel、数学家 Gil Kalai、宾夕法尼亚大学数学家 Ahmed Bou-Rabee 事件详情：Anthropic 工程师 Justin Leder 在 GitHub 悄然提交代码仓库，宣布其依托内部超前代 Claude 模型与 Lean 形式化证明语言，完成了困扰人类近 70 年的渗流理论连续相变猜想（=0 猜想）的完整机器证明。这道概率论「圣杯」级难题此前从未被任何人类数学家攻克。代码在 Lean 证明助手严苛约束下生成了长达数千行的推理闭环，关键一跳借助了 2024 年 Kozma 与 Nitzan 在 arXiv（编号 2401.12397）所证明的代数不等式跳板。 背景：渗流理论诞生于 1957 年，数学家 Broadbent、Hammersley 试图描述液体穿过多孔海绵的物理现象，其中"在临界点那一刻，能否形成无穷大连通网络"的难题被称为 =0 猜想。1980 年 Harry Kesten 证明了二维方格网络下的临界概率恰好为 1/2 且 =0，但在三维到十维——即现实物理与相对论时空所在的维度——半个多世纪始终无法攻克。2022 年菲尔兹奖得主 Hugo Duminil-Copin 是这一领域最著名的攻坚者，他在 8 月 30 日的博客中略带忧伤地预言"猜想倒在 AI 推土机下只是时间问题"，而几乎同时 Anthropic 的代码提交就被发现。 影响：德国布伦瑞克工业大学 Benedikt Jahnel 表示"如果有人类证明了这个猜想，他大概率能拿菲尔兹奖，但现在是 AI 跨过了终点线"；数学家 Gil Kalai 称"如果得到验证，这将是一项非凡的突破"。宾夕法尼亚大学 Ahmed Bou-Rabee 仅用一天就借助 AI 辅助对 Anthropic 证明做了泛化和修改，并感慨"AI 让我做到了以前连想都不敢想的事"。原作者 Kozma 教授则保持谨慎，表示仍等待"人类能看懂的版本"。这标志着 AI 第一次完整跨越菲尔兹奖级数学猜想门槛，将彻底改变数学家的工作流——从繁复代数推导转向挑选探索航线、指挥推理智能体舰队。 总结：随着 Claude 攻破渗流猜想，AI 已不再是数学家的辅助工具，而成为跨越菲尔兹奖级猜想终点线的主体。这场静默发生在 GitHub 上的"机器证明革命"，将驱动整个数学界工作范式的重构——未来的顶尖数学家，将是那些善于挑选航线、指挥推理智能体的"AI 船长"。 参考来源： - https://eu.36kr.com/zh/p/4015346980278153 - https://www.quantamagazine.org/updates/transformation/ - https://www.scientificamerican.com/ - https://x.com/MaxForAI/status/2096109030192357874 - https://zhuanlan.zhihu.com/p/2079543514182988430 - https://finance.biggo.com.tw/news/61e70186-e8b4-4f7b-a951-a0a8c0be3a7b - https://arxiv.org/abs/2401.12397 - https://finance.sina.com.cn/tech/discovery/2026-09-21/doc-inisqvrw5730694.shtml