OpenAI称AI模型取得三项科学突破

驱动中国10月27日消息，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项重大突破，展现出AI独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。

在数学领域，OpenAI称，AI模型证明了适用于所有维度的局部光滑猜想，并由此解决局部光滑猜想、挂谷猜想和斯坦因限制猜想。局部光滑猜想由数学家克里斯托弗·索格于1991年提出，试图解释波在聚焦时的行为。按照该猜想，波即使出现极其强烈的聚焦，也只能持续很短的时间；如果随机选取一个具有代表性的时刻，观察到的聚焦程度总会远低于最极端的情况。

OpenAI称，数学中经常出现类似现象：某种现象在最坏情况下可以达到非常极端的程度，但经过平均处理后，实际观察到的情况要温和得多。局部光滑猜想描述的现象具有基础性意义，因此涉及数学分析的众多问题，其中挂谷猜想和斯坦因限制猜想都可以由局部光滑猜想推导出来。

2019年，古思、王虹和张睿翔证明了二维空间中的局部光滑猜想；2025年，王虹与扎尔又证明了三维挂谷猜想。OpenAI称，此次模型给出局部光滑猜想在所有维度下的证明，从而也解决了所有维度下的挂谷猜想和斯坦因限制猜想，证明的关键是一种新构建的辅助偏微分方程。

在计算机科学领域，OpenAI称，AI模型推翻了长期被广泛接受的指数时间假设（ETH），意味着未来可能找到速度更快的算法。ETH是计算复杂性理论中一个存在已久的猜想，研究布尔公式可满足性问题的计算难度，与P和NP问题密切相关。

OpenAI表示，长期以来，学术界普遍认为ETH成立，数百篇研究论文以该假设为前提，推导出图论、计算生物学、数据库和计算几何等领域的计算难度结论。近期，OpenAI的系统给出了ETH不成立的证明，并通过Lean完成了形式化验证。

OpenAI称，ETH被推翻后，研究人员需要重新审视许多计算任务究竟还能获得多大幅度的速度提升，新成果也有助于指导更高效算法的研究；但要找到能够实现这些提升的算法，并将理论成果转化为实际应用，仍需要大量后续研究。

OpenAI邀请三位算法设计和计算复杂性理论专家牵头，负责验证、研究和解释这项成果，分别是加利福尼亚大学圣迭戈分校的拉塞尔·因帕利亚佐和拉马莫汉·帕图里，以及麻省理工学院的瑞安·威廉姆斯。因帕利亚佐和帕图里与弗朗西斯·赞恩共同提出了ETH，并在过去30年间围绕该假设发表了多篇具有影响力的论文。威廉姆斯曾证明ETH某些强化版本不成立，也曾以ETH为基础推导计算难度结论，并在算法与计算复杂性下界之间建立联系。

OpenAI接受了合作团队提出的两项要求：首先，公开研究成果的所有原始数据，方便其他研究人员独立验证；其次，由OpenAI提供资金，举办一场学术会议，讨论新成果对计算机科学领域的整体影响。

在物理学领域，OpenAI称，AI模型提出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。OpenAI表示，数学和计算机科学成果已通过Lean数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查，相关成果仍需学术界进一步独立确认。

OpenAI于2026年10月18日获得AI生成的证明，并在第二天完成Lean形式化证明。随后，OpenAI联系外部专家，讨论如何围绕该成果建立合作机制。根据专家建议，OpenAI决定直接公开AI生成的证明，采用与10月6日发布研究成果时相同的方式。目前，模型撰写的自然语言证明和Lean形式化证明均已上传至公开的GitHub代码仓库。