Claude拿下概率论圣杯猜想 菲尔兹奖得主预言应验

时间：2026年10月7日（综合 Scientific American、36氪 等媒体报道） 地点：美国旧金山 Anthropic 公司 / 法国巴黎 / 德国布伦瑞克 人物：Anthropic 工程师 Justin Leder、菲尔兹奖得主 Hugo Duminil-Copin（2022 年）、德国布伦瑞克工业大学数学家 Benedikt Jahnel、耶路撒冷希伯来大学数学家 Gil Kalai 事件详情：8 月 30 日，菲尔兹奖得主 Hugo Duminil-Copin 在新博客 Proofs and Prompts 上预言，概率论最著名的猜想将倒在 AI 推土机下；仅几天后，Anthropic 工程师 Justin Leder 在 GitHub 的 formal-math 仓库静默提交了一份由 Claude 自动生成、并经数学形式化证明语言 Lean 严格验证的完整证明代码——困扰数学界近 70 年的渗流理论连续相变死亡猜想（dying percolation conjecture）宣告破解。Anthropic 没有官方发布，没有公关活动，也没有博客通告，整件事仅以代码提交的方式浮出水面，迅速被数学界同行发现并引爆讨论。 背景：渗流理论由 1957 年数学家 Simon Broadbent 和 John Hammersley 创立，研究液体如何穿透海绵、咖啡、岩石缝隙等多孔介质的相变临界点；1980 年数学家 Harry Kesten 证明二维方格网络临界概率恰为 1/2，但 3 到 10 维空间一直悬而未决，被 Jahnel 称为大概率能拿菲尔兹奖的圣杯级难题；2024 年以色列魏茨曼科学研究所 Gady Kozma 与佐治亚理工 Shahaf Nitzan 发表论文，将问题化简为证明一个特定代数不等式，为 Claude 提供了关键跳板。 影响：德国布伦瑞克工业大学数学家 Benedikt Jahnel 坦言结果带给他极其复杂的感情——一方面为猜想终于被证明高兴，另一方面对人类数学家数十年努力后由 AI 踢出临门一脚感到失落与幻灭；数学家 Gil Kalai 表示，如果得到验证，这将是一项非凡的突破；此事引发数学界对菲尔兹奖等最高荣誉未来是否仍颁给人类数学家的激烈讨论；事件被广泛视为 AI 在数学前沿研究上的里程碑。 总结：这是 AI 首次以可机器验证的形式攻克菲尔兹奖级猜想，开创机器证明新范式；但人类数学家仍在前期提问、形式化与不等式化简中铺路，后续仍需独立专家审核 Lean 证明的正确性，AI 与人类数学家的协作分工正被重新定义。 参考来源： 1. Scientific American — https://www.scientificamerican.com/article/ai-solves-a-holy-grail-problem-from-probability-theory/ 2. 36氪（中文） — https://www.36kr.com/p/4015346980278153 3. 36氪（English） — https://eu.36kr.com/en/p/4015346980278153 4. AGI Hunt — https://agihunt.info/en/p/1a0f38254a5d791893ffa236c46 5. Traictory — https://traictory.com/news/2026-10-02-claude-percolation-conjecture 6. The Clarity Today — https://theclarity.today/story/ai-solves-a-holy-grail-problem-from-probability-theory-c38f7a85 7. Mimile.ai — https://mimile.ai/en/articles/32862-anthropic-ai-solves-long-standing-percolation-theory-conjecture 8. Unbiased Headlines — https://unbiasedheadlines.com/article/openai-and-anthropic-ai-systems-both-claim-proofs-of-long-unsolved-math-problems-within-weeks-of-each-other