突发!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 年未解。