OpenAI 称 AI 取得三项科学突破：证明局部光滑猜想、推翻指数时间假设

10月27日，据报道，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破，展现出 AI 独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。OpenAI 表示，数学和计算机科学成果已通过 Lean 数学验证工具完成形式化验证并公开证明材料，物理学成果正由诺奖得主等专家审查，仍需学术界独立确认。

数学方面的新成果来自调和分析领域。1991年数学家克里斯托弗·索格提出的局部光滑猜想，试图解释波在聚焦时的行为：波即使极其强烈地聚焦，也只能持续很短时间。OpenAI 的模型此次给出了该猜想在所有维度下的证明，关键在于新构建了一种辅助偏微分方程，由此也解决了所有维度下的挂谷猜想和斯坦因限制猜想。

计算机科学方面涉及指数时间假设，这是计算复杂性理论中存在已久的猜想，研究布尔公式可满足性问题的计算难度，与 P 和 NP 问题密切相关。长期以来学术界普遍认为该假设成立，数百篇论文以它为前提推导出各领域的难度结论，OpenAI 的系统却给出了它不成立的证明并通过 Lean 完成验证，这意味着许多计算任务的速度上限需要重新审视。OpenAI 还邀请三位算法专家牵头验证，并同意公开原始数据、出资举办学术会议。

物理学方面，OpenAI 从严格数学意义上证明了四维空间中某些包含规范场和费米子的量子场论确实存在，其中包括量子色动力学以及粒子物理学标准模型的一种统一完备化理论；研究还证明了纯杨-米尔斯理论的存在性，属于克雷数学研究所设立的千禧年大奖难题的一部分。这项研究由2004年诺贝尔物理学奖得主大卫·格罗斯牵头。