AI 一夜通关数学与物理难题：推翻 ETH 假设，破解卡凯亚猜想

事件概述

OpenAI 近日宣布，其 AI 模型在短时间内完成了多项困扰人类数十年的世界级科学与数学难题的证明工作。这一进展不仅涵盖了纯数学领域的核心猜想，还触及了计算复杂性理论和理论物理的基础假设。目前，相关证明已通过 Lean 定理证明器进行形式化验证，并公开供全球研究者审查。

核心信息

1. 数学领域：从三维到全维度的突破

• 背景：2025年初，中国数学家王虹与 Joshua Zahl 合作证明了三维卡凯亚猜想（Kakeya Conjecture），震惊学界。但该成果无法直接推广至高维。
• AI 突破：OpenAI 的 AI 模型通过引入新颖的辅助偏微分方程，证明了 Christopher Sogge 于 1991 年提出的“局部平滑化猜想”（Local Smoothing Conjecture）在所有维度成立。
• 意义：由于局部平滑化猜想的成立可推导出卡凯亚猜想和 Stein 限制性猜想，这意味着上述两个著名猜想在所有维度均被解决。AI 将此前仅适用于三维的突破扩展到了任意维度。
• 进度：10月18日生成自然语言证明，次日完成 Lean 形式化，材料已上传至 GitHub。

2. 计算机科学：推翻基石假设 ETH

• 背景：指数时间假设（Exponential Time Hypothesis, ETH）由 Impagliazzo、Paturi 和 Zane 等人于1999年前后提出，认为布尔可满足性问题（SAT）等复杂问题不存在次指数时间的算法。该假设支撑了数百篇关于计算复杂性下界的论文。
• AI 突破：OpenAI 宣布 AI 系统成功证明 ETH 为假，即存在更高效的算法可以解决部分被认为难以处理的计算问题。
• 影响：若获证实，建立在 ETH 基础上的大量条件性复杂性结论需重新审视，可能揭示计算难度极限的新空间。
• 审查机制：OpenAI 邀请了 ETH 原始提出者 Russell Impagliazzo 和 Ramamohan Paturi，以及麻省理工学院的 Ryan Williams 组成外部团队进行审查。研究团队要求公开原始数据并资助学术会议讨论后续影响，OpenAI 已接受。

3. 理论物理：触及千禧年大奖难题

• 背景：杨-米尔斯理论的存在性与质量间隙问题是克雷数学研究所列出的七大千禧年大奖难题之一。尽管实验验证充分，但其严格数学基础仍存疑。
• AI 突破：AI 模型为四维空间中包含规范场和费米子的相互作用量子场论构造了严格的数学存在性证明，涉及量子色动力学（QCD）和杨-米尔斯理论。
• 进度：9月9日生成杨-米尔斯存在性证明，9月18日生成 QCD 证明，10月16日完成 Lean 形式化。
• 专家介入：诺贝尔物理学奖得主 David Gross（因发现渐近自由获奖）领衔五位理论物理学家组成的团队负责消化和审查该成果。鉴于内容庞大，原始材料暂不公开，由专家团队整理撰写正式研究成果。

值得关注

• 发布策略转变：与此前一次性公开722份手稿（部分存在错误）不同，此次 OpenAI 将 AI 生成的证明视为原始研究数据，主动邀请外部顶尖科学家参与验证、解释和整理，且不寻求学术署名，并通过西蒙斯基金会资助相关研究。
• 科研范式挑战：AI 生成答案的速度已远超人类理解与消化的速度。科学研究的瓶颈正从“寻找答案”转向“验证答案”。当 AI 能够批量生产高质量证明时，人类科学家面临的角色转换——从解题者变为阅卷者和理论构建者——已成为现实挑战。