OpenAI 公布三项科学成果：数学猜想、ETH 与杨–米尔斯相关证明

2026 年 10 月 27 日前后，OpenAI 宣布其模型在数学、计算机科学与物理学方向取得三项成果，并称重点不只是答题，而是生成可核验的证明材料。[1] 公司表示，数学与计算机科学部分已用 Lean 做形式化验证并公开；物理学部分正由外部专家审查，整体仍需学术界独立确认。[1]

三项分别是什么

1. 局部光滑猜想与挂谷猜想（数学）

局部光滑猜想由克里斯托弗·索格于 1991 年提出，描述波在聚焦时的平均行为。二维情形此前已有证明；OpenAI 称模型给出了适用于所有维度的证明，并由此覆盖更高维度下的挂谷猜想与斯坦因限制猜想，关键构造涉及新的辅助偏微分方程。[1] 官方称 2026 年 10 月 18 日获得自然语言证明，次日完成 Lean 形式化，随后按外部建议公开仓库材料。[1]

2. 指数时间假设（ETH）被给出「不成立」证明（计算机科学）

ETH 是计算复杂性里长期被广泛采用的假设，与布尔可满足性难度及大量下界结论相关。OpenAI 称系统给出了 ETH 不成立的证明，并通过 Lean 形式化；公司邀请提出 ETH 的 Impagliazzo、Paturi 以及 MIT 的 Ryan Williams 等专家牵头核验与解释。[1] 自然语言证明称生成于 10 月 16 日，Lean 证明于 10 月 17 日，材料已放到公开 GitHub。[1] 若成立，许多依赖 ETH 的难度结论需要重审，但「更快算法」仍需后续研究落到工程。

3. 量子色动力学等量子场论的存在性（物理）

OpenAI 称在严格数学意义上证明了四维空间中若干含规范场与费米子的相互作用量子场论存在，涵盖量子色动力学，以及标准模型的一种统一完备化；并称解决了纯杨–米尔斯理论存在性这一子问题，该子问题与克雷数学研究所千禧年难题中的量子杨–米尔斯理论相关。[1] 合作团队包括诺贝尔物理学奖得主大卫·格罗斯，以及贾菲、道格拉斯等数学物理学者。[1]

怎么读这条新闻

这是「AI 生成证明 + 形式化工具 + 外部专家审查」的公开披露，不是颁奖结果。Lean 能降低笔误类错误，但不能自动等于领域共识；物理学部分尤其仍处审查阶段。对普通读者，更实际的跟进点是：公开仓库里的证明能否被独立复现、专家联署意见何时出来、相关会议与公开审查如何组织。

说明：以上据 OpenAI 声明及 IT之家转述整理，成果效力以学术界后续独立确认与正式发表为准。

来源

[1] OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题，IT之家，2026年10月27日；查询日 2026-10-27。

#OpenAI #Lean #局部光滑猜想 #ETH #杨米尔斯 #人工智能科研