王的猜想，被 AI 一夜通关
内容提要
OpenAI称其模型一次性取得三项数学突破：推翻计算机科学界沿用近30年的指数时间假设（ETH）；证明所有维度的局部平滑化猜想，由此推出卡凯亚猜想与Stein限制性猜想在所有维度成立，将王虹等人的三维成果推广至任意维度；为量子色动力学和杨-米尔斯理论构造严格的数学存在性证明。相关证明已用Lean形式化并公开，OpenAI邀请ETH原提出者、诺奖得主等外部专家审查。文章认为，AI产出速度正超过人类理解速度，科研瓶颈或转向验证与消化。
延伸解读
从三维到任意维：AI 将特例推广为通解
王虹与 Joshua Zahl 在 2025 年证明三维卡凯亚猜想，但高维推广仍是难题。OpenAI 模型通过证明更强的局部平滑化猜想（Sogge 1991 年提出），直接推出卡凯亚猜想和 Stein 限制性猜想在所有维度成立。这意味着人类突破成为 AI 成果的一个特例，也显示 AI 能构造新颖辅助偏微分方程来跨越维度障碍。
ETH 被推翻：复杂性理论的基础假设面临重审
指数时间假设（ETH）自 1999 年提出后，成为数百篇论文推导计算下界的前提。OpenAI 称其模型证明 ETH 为假，并完成 Lean 形式化。若获认可，部分被认为无法次指数求解的问题可能存在更高效算法，大量条件性结论需重新审视。OpenAI 邀请 ETH 原提出者 Impagliazzo 和 Paturi 等专家审查，并同意公开数据、资助学术会议。
物理证明的谨慎处理：存在性突破但原始材料暂不公开
AI 为四维量子场论（含 QCD 和杨-米尔斯理论）构造了严格数学存在性证明，涉及千禧年难题中的存在性部分。与数学、计算机科学成果直接公开不同，物理证明因内容庞大，专家团队决定暂不公开原始材料，由诺贝尔奖得主 David Gross 领衔的团队整理审查。这反映 AI 产出需人类消化，也显示 OpenAI 对物理成果采取更保守的发布策略。
验证瓶颈：AI 产出速度超过人类理解速度
OpenAI 在 10 月 6 日公开 722 份手稿后，因部分证明有误撤回 3 篇、修订 14 篇。20 天后三项重大成果改变策略：将 AI 证明视为原始研究数据，邀请外部专家验证。文章指出，科研瓶颈正从寻找答案转向验证和消化答案。AI 虽能快速生成并形式化证明，但人类仍需大量时间理解其意义，阅卷速度可能跟不上交卷速度。
Q&A
OpenAI的AI模型这次在数学领域具体证明了什么猜想？
OpenAI的AI模型证明了数学家Christopher Sogge于1991年提出的局部平滑化猜想在所有维度成立。由此可推导出卡凯亚猜想（挂谷猜想）和Stein限制性猜想在所有维度得到解决，将王虹等人此前证明的三维卡凯亚猜想推广到了任意维度。
AI推翻指数时间假设（ETH）对计算机科学有什么影响？
ETH是计算复杂性理论的重要基础假设，过去近30年数百篇论文以其为前提推导计算复杂性下界。AI证明ETH为假，意味着部分长期被认为无法次指数时间求解的问题可能存在更高效算法，大量基于ETH的条件性复杂性结论将需要重新审视。
AI在理论物理方面为杨-米尔斯理论做出了什么贡献？
AI为四维空间中包含规范场和费米子的某些相互作用量子场论构造了严格的数学存在性证明，涉及量子色动力学、粒子物理标准模型的一种统一性完备化以及纯杨-米尔斯理论的存在性问题。这推进了千禧年大奖难题中杨-米尔斯存在性部分的研究。
OpenAI如何确保AI生成的证明被学术界接受？
OpenAI将AI生成的证明视为原始研究数据，并邀请外部专家审查：数学证明直接公开在GitHub；计算机科学成果由ETH原提出者Russell Impagliazzo、Ramamohan Paturi等专家审查；物理学成果交由诺贝尔奖得主David Gross领衔的团队研究。OpenAI不寻求学术署名，并资助500万美元支持相关研究。
AI生成的数学证明是否经过形式化验证？
是的，部分证明已用Lean完成形式化验证。例如，局部平滑化猜想的自然语言证明于10月18日生成，次日完成Lean形式化；ETH反证于10月16日生成，次日完成形式化；杨-米尔斯理论存在性证明于9月9日生成，10月16日完成Lean形式化。相关材料已公开在GitHub。
AI批量证明数学难题面临哪些挑战？
今年10月6日OpenAI曾公开722份AI生成的数学手稿，但随后部分证明被发现存在错误，不得不撤回3篇并修订14篇。此外，AI生成证明的速度已超过人类理解的速度，科学研究的瓶颈可能从寻找答案转向验证和消化答案，科学家需要大量时间理解成果意义。
