2026年10月26日，OpenAI发布公告称，其内部模型在数学、计算机科学和物理学三个领域各取得一项新结果：证明了全维度的局部光滑猜想、推翻了指数时间假说，并给出了量子色动力学等量子场论的存在性证明。OpenAI自己把这些材料定性为“原始研究数据”，而不是已经盖棺定论的定理：数学和计算机的结果已用 Lean 机器验证并公开，物理结果则交由外部学者小组先行梳理，尚未公开全部证明材料。读这篇公告，关键不在惊叹，而在分清哪一步已经可查、哪一步还在等独立复核。
数学：一条证明串起三个猜想
数学部分的核心是调和分析中的局部光滑猜想。OpenAI称，该猜想由 Sogge 在 1991 年提出，描述波在聚焦时极端情形只能短暂出现；此前人类只在二维情形（2019 年）和三维 Kakeya 猜想（2025 年）上取得突破。模型在 2026 年 10 月 18 日给出全维度的证明，次日完成 Lean 形式化，证明依赖一个新引入的辅助偏微分方程。由于局部光滑猜想本身蕴含 Kakeya 猜想与 Stein 限制猜想，OpenAI称这一次便同时解决了三个猜想。自然语言讲稿与 Lean 证明已公开在 GitHub 上。
计算机：指数时间假说被推翻意味着什么
计算机部分冲击更大。指数时间假说长期被视为真命题，数百篇论文以它为前提推导各类问题的求解难度下界；它与布尔可满足性问题相关，也与 P 与 NP 问题相邻。OpenAI称，模型在 2026 年 10 月 16 日找到反例证明，次日完成 Lean 形式化，同样已公开讲稿与证明。负责梳理的是假说原始提出者 Impagliazzo、Paturi 与 Williams 领衔的小组，他们已公开声明：参与梳理不等于为结论背书，结论需要学界独立审查。OpenAI同时承诺公开全部原始数据并资助一场研讨会。
物理：杨-米尔斯存在性证明最难核验
物理部分是三项中离普通读者最远、也最难立即验证的一项。OpenAI称，模型在 2026 年 9 月 9 日给出杨-米尔斯理论的存在性证明，9 月 18 日给出量子色动力学证明，10 月 16 日完成形式化；其中纯杨-米尔斯存在性正是克莱数学研究所千禧年难题的一部分。牵头梳理的诺贝尔物理学奖得主 Gross 领衔的小组决定暂不公开 AI 产出的证明材料，而是先自己写出梳理版本。这意味着物理部分的证据链目前最不完整：读者能看到结论陈述与负责人名单，而不是可直接复算的证明。
在独立复核完成前，该怎么看这三项宣称
有三处必须分清。第一，Lean 验证的是“每一步推导是否合乎规则”，不能自动保证形式化定义与原始猜想完全一致，定义是否被悄悄简化，仍需数学家逐项核对。第二，外部梳理小组的角色是组织验证，不是背书；OpenAI也承认，先选定梳理人必然带来信息不对称。第三，物理结果尚未公开证明材料，在小组拿出自己的版本之前，它的可信度低于另外两项。OpenAI另向 Simons 基金会提供 500 万美元，支持研讨会与专项项目。下一步值得盯的是：数学与计算机的 Lean 形式化是否通过独立核查、物理小组何时拿出可审读的版本、以及学界是否从中发现新的通用方法。
