Claude证明概率论70年悬案，AI首破菲尔兹奖级难题

nashnova research

今天发布阅读约 4 分钟

Anthropic的大语言模型Claude完成了困扰数学界近70年的渗流理论θ=0猜想的形式化证明，这是AI首次独立攻克被认为够格拿菲尔兹奖的数学难题。

到底发生了什么？

2026年8月，Anthropic工程师贾斯廷·莱德在GitHub上提交了一份代码仓库，里面是Claude自动生成、并经Lean（一种数学形式化证明语言，能像编译器一样逐行检验推理是否合规）严格验证的完整证明。

被证明的是渗流理论的θ=0猜想——一个自1957年提出、横跨概率论与统计物理的核心未解问题。

这意味着→ AI不是"辅助人类写了几步"，而是独立走完了从起点到终点的全部推理链，人类的角色变成了事后审核。

渗流理论（研究液体怎样穿过多孔材料的数学模型）的核心问题：在恰好等于临界概率的那一刻，无限大的连通网络出现的概率是不是严格等于零？如果是，相变就是连续平滑的；如果不是，系统会在临界点瞬间突变。

二维的情形1980年已被解决，超高维度（11维及以上）也早已搞定，但3到10维的空间网格既没有二维的几何对称性、又用不了高维的统计工具——卡了数十年。

2022年菲尔兹奖得主迪米尼尔-科潘将数年心血倾注于此，屡败屡战。用大白话说＝这道题不是"还没人认真做"，而是顶级数学家反复尝试后依然无法突破的硬骨头。

2024年，魏茨曼科学研究所的科兹马与佐治亚理工的尼赞发表论文，证明只要能验证一个特定的代数不等式，3到10维的θ=0猜想就自动成立。这意味着→ 终点线被拉到了眼前，但最后那个不等式本身仍然极难。

Claude在Lean证明助手的约束下，调用大量已知分析工具，以人类数学家从未设想过的路径，构筑起数千行推理闭环，把那个不等式完成了形式化证明。

宾大数学家布-拉比借助大模型辅助，仅花一天便对该证明完成了泛化和修改。他说："有些项目我苦做了八年几乎毫无进展，但在AI协助下，距离彻底解决只有一步之遥。"

布伦瑞克工业大学数学家亚内尔直言："如果有人类证明了这个猜想，大概率能拿菲尔兹奖。但现在，是AI跨过了终点线。"

数学家卡莱表示："如果得到验证，这将是一项非凡的突破。"

但原论文作者科兹马态度审慎，表示"暂时不予置评"，等待Anthropic发布人类能看懂的版本及方法论说明。这反映出数学界的核心态度：Lean验证通过≠社区完全接受，人类可读的解释才是最终考验。

此前AI在数学领域的角色主要是辅助——帮人类验证步骤、搜索引理。这次Claude是自己走完全程，性质完全不同。

菲尔兹奖得主迪米尼尔-科潘在同一天的博客中写道："在我们这个领域，最著名的那个猜想倒在推土机（AI）的轰鸣之下，恐怕只是个时间问题了。"

用大白话说＝如果连"够格拿菲尔兹奖"级别的问题AI都能独立解决，那数学研究的工作方式——谁提出路径、谁完成证明、谁获得承认——都将被重新定义。

市场有风险，内容仅供研究参考，不构成投资建议。