OpenAI 称模型拿下三项科学突破：从挂谷猜想到千禧年难题

OpenAI 宣布，自家模型在数学、计算机科学和物理学三个领域取得重大突破，称其具备独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。消息一出，学界的第一反应不是欢呼，而是要求验证——这正是这件事最有意思的地方。

一分钟速览

• 数学：证明了适用于所有维度的局部光滑猜想，并顺带解决挂谷猜想与斯坦因限制猜想。
• 计算机科学：推翻了长期被广泛接受的指数时间假设。
• 物理学：给出量子色动力学及杨-米尔斯理论的严格数学存在性证明。
• 数学与计算机成果已用 Lean 完成形式化验证，证明已公开。
• 物理成果仍在由诺贝尔奖得主等专家审查，尚待学术界独立确认。

数学：一个猜想，带出两个难题

数学成果来自调和分析领域。1991 年，数学家克里斯托弗·索格提出局部光滑猜想，试图解释波在聚焦时的行为：即使出现极强烈的聚焦，也只能持续很短时间；随机取一个代表性时刻，观察到的聚焦程度会远低于最极端情况。

这个猜想的基础性在于，挂谷猜想和斯坦因限制猜想都能由它推导出来。2019 年，古思、王虹和张睿翔证明了二维情形；2025 年，王虹与扎尔证明了三维挂谷猜想。这次模型给出的是所有维度下的证明，关键在于构造出一种新的辅助偏微分方程。按披露，模型在 10 月 18 日生成证明，第二天完成 Lean 形式化，随后公开了自然语言证明与形式化代码。

计算机：指数时间假设被推翻

计算机科学的成果更刺激。指数时间假设是计算复杂性理论里的一条老猜想，研究布尔公式可满足性问题的计算难度，与 P 和 NP 问题密切相关。长期以来，学术界普遍认为它成立，数百篇论文以它为前提，推导出图论、计算生物学、数据库和计算几何中的难度结论。

这次模型给出了它不成立的证明，并通过 Lean 验证。如果结论站得住，研究人员就得重新审视许多计算任务还能提速多少。不过从理论到算法再到工程落地，中间还有很长的路。OpenAI 请了三位算法与复杂性专家牵头验证，包括提出该假设的因帕利亚佐和帕图里，以及麻省理工学院的瑞安·威廉姆斯。

物理：给量子场论一个严格的存在性

物理学成果针对的是量子场论的存在性。研究从严格数学意义上证明，四维空间中某些包含规范场和费米子的相互作用量子场论确实存在，其中包括量子色动力学，以及粒子物理标准模型的一种统一完备化理论。它还顺带解决了纯杨-米尔斯理论的存在性问题，而后者属于克雷数学研究所千禧年大奖难题的一部分。

这项工作的审阅阵容包括 2004 年诺贝尔物理学奖得主大卫·格罗斯，以及参与设立千禧年难题的阿瑟·贾菲等人。与数学、计算机成果不同，物理部分尚未完成形式化验证，仍处于专家审查阶段。

趋势洞察

比起 AI 又赢了，更值得关注的是流程：先形式化验证，再公开证明，再请外部专家牵头审查，最后出钱办学术会议讨论影响。这套做法把 AI 放回了学术共同体的规则里，而不是让它当孤胆英雄。对行业来说，这可能比三项成果本身更重要——能力可以被质疑，流程才能被信任。接下来真正的考验是独立复现：别人能不能用同样的方法，得到同样的结论。