OpenAI 2026年10月26日的公告一次抛出三项成果：数学的局部光滑猜想、计算机科学的指数时间假设推翻、物理学的量子色动力学与标准模型完备化存在性证明。它们都来自内部模型输出，但公开程度不同，离学界接受也还有距离。
三项成果各自说了什么
数学上是 1991 年 Sogge 提出的局部光滑猜想：波聚焦时，最极端的聚焦只能短暂出现，典型时刻的聚焦远弱于最坏情况。它可推出挂谷猜想和斯坦因限制猜想。OpenAI 称模型以一种新型辅助偏微分方程给出了所有维度下的证明，AI 输出于 10 月 18 日得到，次日完成 Lean 形式化，手稿与证明均已公开。
计算机科学上是推翻指数时间假设（ETH）：布尔公式可满足性问题到底需要多长时间。数百篇论文以它为前提推导条件性难度结论。OpenAI 称系统在 10 月 16 日给出自然语言反证，次日完成 Lean 形式化。这只说明更快的算法理论上可能存在，不等于明天就有实用加速算法。
物理学上是四维相互作用量子场论的严格存在性证明，包括量子色动力学与最简单的标准模型大统一完备化。纯 Yang-Mills 存在性只是其中一个子问题，并非整个千禧年难题的完整解决，质量间隙不在本次宣称内。Yang-Mills 证明 9 月 9 日、量子色动力学证明 9 月 18 日、Lean 形式化 10 月 16 日完成。
三种不同的公开方式
三项成果的公开方式刻意分开：数学直接公开 AI 输出；计算机交给外部小组梳理，同时立刻公开自然语言证明与 Lean 形式化；物理由外部小组先行撰写，暂不公开 AI 原始材料。计算机小组由加州大学圣迭戈分校的 Impagliazzo、Paturi 和麻省理工学院的 Williams 牵头，前两人正是 ETH 最初提出者；物理小组由诺贝尔奖得主 Gross 领衔，成员有 Douglas、Jaffe、Klebanov 和 Nekrasov。原则是透明无保密协议、不求署名、承认梳理者贡献、参与自愿无报酬且结论独立。OpenAI 还承诺资助 ETH 影响讨论会议。
为什么现在还不能下定论
Lean 通过只说明形式系统内自洽，不等于学界已接受。ETH 牵头小组提醒，参与梳理不等于背书，如此重大的结果需要开放独立审查；物理部分外界连 AI 原始材料都还没看到，只能等撰写小组的版本。对普通读者而言，三项即使成立，影响也先落在理论研究与算法探索，而非立刻可用的产品。新意或许在产出方式本身：模型出证明，工具验算，专家质疑，最终由学界审查说了算。
