Claude 证明概率论「圣杯」渗流猜想，AI 跨菲尔兹奖级难题终点线

2022 年菲尔兹奖得主 Hugo Duminil-Copin 曾预言困扰学界半个多世纪的概率论圣杯级难题 —— 渗流理论中的连续相变猜想早晚会被 AI 攻克，几乎在他发文的同时，Anthropic 工程师在 GitHub 上传了由其内部超前代 Claude 大模型生成、经 Lean 严格验证的完整证明代码，宣告这道 70 年未决的 3 至 10 维空间渗流连续相变猜想被 AI 攻破。该猜想聚焦临界点处无限大连通网络是否存在，此前人类仅证明了二维及 11 维以上维度的情况，3 到 10 维因缺乏适配工具成为研究瓶颈。2024 年两位数学家已将该猜想的证明简化为求证一个特定代数不等式，但始终未能突破，AI 依托人类前期研究基础，以人类未想到的精巧路径完成了推导闭环。消息引发数学界复杂反响，有人认为这是非凡突破，也有人因 AI 抢先临门一脚心生失落，部分学者仍等待 AI 给出人类可理解的证明过程。相关事件也引发对数学研究未来的思考，证明定理并非数学的全部，过往攻克难题的过程往往催生大量新数学工具与思路，未来数学家或将从繁复推导中解放，转向更具创造性的探索方向。