OpenAI宣布三大科学里程碑突破：证明「局部平滑猜想」、证伪「指数时间假设」并确立QCD存在性

近日，OpenAI宣布其内部人工智能模型在数学、计算机科学和理论物理领域取得三项具有里程碑意义的突破性进展，包括证明全维度的「局部平滑猜想」、证伪统治学界近三十年的「指数时间假设」（ETH），以及为四维量子色动力学（QCD）与纯杨 - 米尔斯理论提供严格的数学存在性证明。

在数学领域，OpenAI利用新型辅助偏微分方程方法，证明了自1991年Sogge提出以来困扰学界已久的「局部平滑猜想」在所有空间维度（n≥2）均成立。这一成就不仅终结了该猜想，同时也意味着与之紧密相关的挂谷猜想和Stein限制猜想将随之得到解决。

计算机科学方面，一份由Russell Impagliazzo、Ramamohan Paturi及Ryan Williams领衔验证的67页手稿明确指出「指数时间假设」不成立。AI仅用一天便完成了从自然语言反驳到Lean形式化验证的全过程，推翻了基于该假设建立的数百篇论文的地基，但OpenAI强调这并不等同于P等于NP，实际算法加速仍需后续研究。

理论物理学工作组由诺贝尔奖得主David Gross带领，联合Michael Douglas、Arthur Jaffe等顶尖科学家，给出了四维规范场与费米子理论的存在性证明。该成果覆盖了QCD及包含标准模型规范场和费米子的大统一补全，但尚未宣布解决千禧年大奖难题中的正质量间隙部分。

此次验证过程极具历史意义：提出「指数时间假设」的原作者及MIT复杂度理论专家亲自挂帅审查AI答卷；David Gross惊叹于ETH被证伪的深远影响；OpenAI理论计算机科学家Sebastien Bubeck称此为20年来见过的最大惊喜。

OpenAI强调，尽管AI在一天内完成了证明与形式化验证，将理论转化为实际算法提速仍需大量后续研究。这些成果标志着人类对科学前沿的认知边界在人工智能辅助下得到了前所未有的拓展。