Claude完成概率论「圣杯」证明，AI攻克渗流理论连续相变猜想

2026年8月30日，概率论领域权威Hugo Duminil-Copin在博客中透露，渗流理论中的连续相变猜想已被AI模型Claude证明。该猜想被数学界视为概率论领域的「圣杯」，其证明过程引发全球数学界震动。

Anthropic工程师Justin Leder在GitHub上提交的代码仓库中，包含由Claude自动生成并经Lean形式化验证的完整证明。这份代码未伴随官方宣传，却直接解决了困扰学界70年的核心难题，使数学家Benedikt Jahnel感叹「AI已跨过终点线」。

渗流理论研究液体在多孔介质中的渗透机制，核心问题在于临界概率处是否形成无限连通网络。1980年Harry Kesten已证明二维网格中临界概率为1/2且等于0，但3至10维空间的连续相变猜想始终未解。

数学家Gady Kozma与Shahaf Nitzan于2024年发表论文，提出关键代数不等式可推导3-10维猜想。Anthropic模型基于该成果，通过形式化证明构建数千行推理闭环，最终完成不等式验证。

Duminil-Copin曾多次尝试攻克该猜想，其失败过程孕育出后续多项突破性工作。数学家Gil Kalai评价此证明「将是一项非凡突破」，而Jahnel则坦言「人类守候半世纪的殿堂大门被AI随手打开」。

此次突破展现AI在高维逻辑收敛与跨领域推理上的能力，而非单纯算力暴力穷举。数学界对AI介入基础研究的未来影响仍存复杂情绪，既惊叹于技术突破，亦感慨于传统学术范式的变革。