OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题

IT之家 10 月 27 日消息，OpenAI 宣布，其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破，展现出 AI 独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。 在数学领域，AI 证明了适用于所有维度的局部光滑猜想，并由此解决 局部光滑猜想与挂谷猜想 。 在计算机科学领域，AI 推翻了 长期被广泛接受的指数时间假设 ，意味着未来可能找到速度更快的算法。 在物理学领域，AI 提出 量子色动力学及杨–米尔斯理论的严格数学存在性证明 ，涉及世界七大千禧年数学难题之一。 OpenAI 表示，数学和计算机科学成果已通过 Lean 数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。相关成果仍需学术界进一步独立确认。 IT之家附上 OpenAI 官方的声明大意如下： 局部光滑猜想与挂谷猜想 数学方面的新成果来自调和分析领域。 1991 年，数学家克里斯托弗 · 索格提出局部光滑猜想，试图解释波在聚焦时的行为。按照该猜想，波即使出现极其强烈的聚焦，也只能持续很短的时间。如果随机选取一个具有代表性的时刻，观察到的聚焦程度总会远低于最极端的情况。 数学中经常出现类似现象：某种现象在最坏情况下可以达到非常极端的程度，但经过平均处理后，实际观察到的情况要温和得多。 局部光滑猜想描述的现象具有基础性意义，因此涉及数学分析的众多问题。其中，挂谷猜想和斯坦因限制猜想都可以由局部光滑猜想推导出来。 2019 年，古思、王虹和张睿翔证明了二维空间中的局部光滑猜想。2025 年，王虹与扎尔又证明了三维挂谷猜想。 OpenAI 的模型此次给出了局部光滑猜想在所有维度下的证明，从而也解决了所有维度下的挂谷猜想和斯坦因限制猜想。证明的关键是一种新构建的辅助偏微分方程。 OpenAI 于 2026 年 10 月 18 日获得 AI 生成的证明，并在第二天完成 Lean 形式化证明。随后，OpenAI 联系外部专家，讨论如何围绕该成果建立合作机制。 根据专家建议，OpenAI 决定直接公开 AI 生成的证明，采用与 10 月 6 日发布研究成果时相同的方式。目前，模型撰写的自然语言证明和 Lean 形式化证明均已上传至公开的 GitHub 代码仓库。 指数时间假设被推翻 计算机科学方面的发现涉及指数时间假设（ETH）。 ETH 是计算复杂性理论中一个存在已久的猜想，研究布尔公式可满足性问题的计算难度，与著名的 P 和 NP 问题密切相关。 长期以来，学术界 普遍认为 ETH 成立 。数百篇研究论文以该假设为前提，推导出图论、计算生物学、数据库和计算几何等领域的计算难度结论。 近期，OpenAI 的系统却 给出了 ETH 不成立的证明 ，并通过 Lean 完成了形式化验证。 ETH 被推翻后，研究人员需要重新审视许多计算任务 究竟还