10月27日消息，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项重大突破，展现出AI独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究。相关成果仍需学术界进一步独立确认。

在数学领域，AI证明了适用于所有维度的局部光滑猜想，并由此解决局部光滑猜想与挂谷猜想。该成果来自调和分析领域，1991年数学家克里斯托弗·索格提出局部光滑猜想，试图解释波在聚焦时的行为。OpenAI的模型给出了该猜想在所有维度下的证明，从而也解决了所有维度下的挂谷猜想和斯坦因限制猜想。证明的关键是一种新构建的辅助偏微分方程。OpenAI于2026年10月18日获得AI生成的证明，并在第二天完成Lean形式化证明，随后决定直接公开AI生成的证明，模型撰写的自然语言证明和Lean形式化证明均已上传至公开的GitHub代码仓库。

在计算机科学领域，AI推翻了长期被广泛接受的指数时间假设（ETH），意味着未来可能找到速度更快的算法。ETH是计算复杂性理论中一个存在已久的猜想，研究布尔公式可满足性问题的计算难度，与著名的P和NP问题密切相关。数百篇研究论文以该假设为前提，推导出图论、计算生物学、数据库和计算几何等领域的计算难度结论。OpenAI于10月16日生成了推翻ETH的自然语言证明，10月17日完成Lean形式化证明，并邀请三位算法设计和计算复杂性理论专家牵头负责验证、研究和解释该成果。OpenAI还接受了合作团队提出的两项要求：公开研究成果的所有原始数据，以及由OpenAI提供资金举办一场学术会议讨论新成果对计算机科学领域的整体影响。

在物理学领域，AI提出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。该成果从严格的数学意义上证明了四维空间中某些包含规范场和费米子的相互作用量子场论确实存在，其中包括量子色动力学（QCD），以及粒子物理学标准模型的一种统一完备化理论。研究还解决了一个子问题，即证明纯杨-米尔斯理论的存在性，该问题属于克雷数学研究所设立的量子杨-米尔斯理论千禧年大奖难题的一部分。OpenAI邀请诺贝尔物理学奖得主大卫·格罗斯牵头研究，团队其他成员包括迈克尔·道格拉斯、阿瑟·贾菲、伊戈尔·克莱巴诺夫和尼基塔·涅克拉索夫。目前物理学成果正由诺贝尔物理学奖得主等专家参与审查。