OpenAI宣布AI证明千禧年难题等三大突破

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

在数学领域，AI 证明了适用于所有维度的局部光滑猜想，并由此解决挂谷猜想与斯坦因限制猜想。这一成果来自调和分析领域：1991 年数学家克里斯托弗·索格提出局部光滑猜想，试图解释波在聚焦时的行为；2019 年古思、王虹和张睿翔证明了二维空间中的局部光滑猜想，2025 年王虹与扎尔又证明了三维挂谷猜想。此次 AI 给出了该猜想在所有维度下的证明，证明的关键是一种新构建的辅助偏微分方程。

在计算机科学领域，AI 推翻了长期被广泛接受的指数时间假设。该假设研究布尔公式可满足性问题的计算难度，与著名的 P 和 NP 问题密切相关，数百篇研究论文以该假设为前提推导出各领域的计算难度结论。ETH 被推翻后，研究人员需要重新审视许多计算任务究竟能获得多大幅度的速度提升。OpenAI 邀请指数时间假设提出者因帕利亚佐、帕图里以及麻省理工学院的威廉姆斯三位专家牵头验证、研究和解释这项成果。

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

注：本文配图由AI生成。本文综合自IT之家等，文中包含AI辅助创作的内容。

编辑：林一舟