据报道，OpenAI 宣布三项基础科学成果，涉及数学猜想、ETH 与杨–米尔斯理论

据 IT之家 2026 年 10 月 27 日报道，OpenAI 宣布，其 AI 模型在数学、计算机科学和物理学领域取得三项研究进展，分别涉及局部光滑猜想、指数时间假设（ETH），以及量子色动力学和杨–米尔斯理论的数学存在性证明。来源称，前两项成果已完成 Lean 形式化验证并公开证明材料，物理学成果仍在专家审查中。这些重大主张尚需学术界进一步独立确认，不宜直接视为已经定论的科学突破。

三项成果分别指向哪些基础问题？

数学方面，OpenAI 据称给出了所有维度下局部光滑猜想的证明。这一猜想属于调和分析，关注波传播中的强烈聚焦现象及其平均表现。按照来源描述，该证明还可推导出所有维度下的挂谷猜想和斯坦因限制猜想，关键在于构建了一种新的辅助偏微分方程。

计算机科学方面，OpenAI 宣称模型证明了 ETH 不成立。ETH 与布尔公式可满足性问题的计算难度有关，也是许多算法复杂性结论的前提。如果这项结果成立，研究者需要重新检查部分依赖 ETH 的条件性结论，但这不等于已经解决 P 与 NP 问题，也不意味着现有软件马上就能提速。

• 数学成果：来源称自然语言证明于 10 月 18 日生成，次日完成 Lean 形式化证明。
• 计算机科学成果：来源称推翻 ETH 的证明于 10 月 16 日生成，次日完成形式化证明。
• 物理学成果：涉及量子色动力学及杨–米尔斯理论的严格数学存在性，关联千禧年数学难题，目前仍处于专家审查阶段。

形式化验证重要，但不能替代独立审查

据报道，数学与计算机科学成果的自然语言证明及 Lean 证明已放入公开 GitHub 仓库。Lean 可以检查形式化表述中的逻辑推导，为复杂证明提供机器可检查的验证路径。不过，仍需核查形式化命题是否准确对应原始问题、所用定义和假设是否恰当。“通过形式化验证”与“获得学界完整确认”是两个不同层面的判断。

针对 ETH 成果，来源称 OpenAI 邀请因帕利亚佐、帕图里和威廉姆斯参与验证、研究与解释，并接受公开原始研究数据、资助相关学术会议的要求。这意味着后续关注点不仅是证明本身，还包括可复核性、贡献认定以及 AI 科研成果的审查机制。

产业解读：AI 科研价值取决于可复现证据

如果这些结果得到独立确认，其意义将超出模型解题能力的提升：AI 可能进一步参与提出新方法、组织长链条推理并生成可验证证明。对中文读者和科技从业者而言，更值得关注的是“模型生成—工具验证—专家复核”的科研流程能否稳定复现，而非仅看成果标题。

尤其是 ETH 相关主张，即使最终成立，从理论可能性走向实用算法，仍需解决具体构造、运行开销和适用范围等问题。现阶段，应将其视为等待公开检验的重大研究声明；实际价值还要由独立审查和后续研究来界定。