OpenAI 公布内部模型三项新发现：称已证伪指数时间假设（ETH）、证明全维局部光滑化猜想，并给出 QCD 存在性证明

核心背景与行业痛点

10 月 26 日，OpenAI 发布博文《Working with academic communities to build scientific understanding》，OpenAI 总裁 Greg Brockman 和 OpenAI 科学家 Dan Roberts 在 X 上转发。这是继 10 月 6 日公开 700 多篇 AI 数学稿件之后的又一批成果，但分量完全不同：其中一项称证伪了指数时间假设（ETH）。ETH 认为 3-SAT 无法在亚指数时间内求解，是复杂度理论里被广泛相信的猜想，图论、计算生物学、数据库、计算几何等领域数百篇论文的「条件下界」都建立在它之上。如果成立，这些下界都需要重新审视。

架构亮点与底层机制

OpenAI 没有公开所用模型的名称和细节。按 openai/math 仓库的更新说明，ETH 论文给出一个确定性算法，可在亚指数时间、多项式空间内精确计数定宽 CNF 公式的满足赋值。数学结果借助一个新的辅助偏微分方程，证明 Sogge 1991 年提出的局部光滑化猜想在所有空间维度成立，并推出 Kakeya、Nikodym 极大猜想与 Stein 限制估计。物理结果沿用 Balaban 的构造性量子场论路线，给出四维 QCD 及一个大统一理论补全的严格存在性证明，其中包含 Clay 千禧年问题所涉及的纯 Yang–Mills 存在性部分。

权威 Benchmark 与实测跑分对比

这不是模型跑分，官方未公布任何基准成绩。可核对的是时间线和形式化（均为官方口径）：ETH 证明 10 月 16 日得出、10 月 17 日完成 Lean 验证；局部光滑化 10 月 18 日得出、次日形式化；Yang–Mills 与 QCD 的自然语言证明分别在 9 月 9 日和 9 月 18 日得出。Lean 能保证形式化陈述被证明，但陈述是否忠实表达了原猜想仍需专家审阅；同一仓库 10 月 7 日曾因符号错误撤回 3 篇稿件。

开发者实战落地与开箱指南

想自己看的读者可以直接打开 GitHub 上的 openai/math 仓库：preprints 目录下有 ETH 和局部光滑化两篇 PDF，lean 目录有对应形式化，history.md 记录每次新增与撤回。CS 结果由 Impagliazzo、Paturi 和 Ryan Williams 组织公开审查，物理结果由 David Gross 牵头的 5 人小组整理、暂不公开材料。对做算法和工程的开发者，短期内不会出现「更快的 SAT 求解器」，OpenAI 也说把理论推进变成实际加速还需要大量研究，建议先关注专家小组的结论。

后续进展：物理学界小组公开声明（10 月 28 日）

KITP（加州大学圣巴巴拉分校卡弗里理论物理研究所）10 月 28 日在 X 上公布 Yang-Mills 工作组声明，OpenAI 官方账号转发。委员会由 Michael R. Douglas、David J. Gross（主席）、Arthur Jaffe、Igor R. Klebanov 和 Nikita Nekrasov 组成。声明称，Gross 10 月 16 日受 OpenAI 委托保管该证明并决定如何发布，其余成员由他选定，委员会代表学术界工作、对 OpenAI 不负任何责任。声明认为这一证明"看起来是把量子场论建立在严格数学基础上的重要一步"，并说明它借助 Balaban 1980 年代的构造性重整化群工作证明了连续极限的存在，但夸克禁闭和质量间隙仍是未解难题。OpenAI 正在提供 Lean 形式化，委员会会先核对定义和问题陈述是否与物理和数学的标准一致，确认后发布 Lean 证明，最终连同评估公开全部 1147 页 LLM 证明。