2026 年 10 月 26 日，OpenAI 在代码仓库提交了一份 67 页的手稿。手稿首页印着直接的标题：《The Exponential Time Hypothesis is False》。作者署名只有「OpenAI」。同时随手稿附带的，还有一整套完整的 Lean 形式化证明脚本。
支撑理论计算数百篇下界论文长达 27 年的核心假设，被确定性算法正面瓦解。OpenAI 这次并未独自宣布技术胜利。实验室选择邀请原假设提出者出面，牵头组建独立的专家审查网络。前沿理论研究的链条，正在把人类推回理解与审定关口。
确定性算法把3-SAT复杂度压进亚指数
指数时间假设由 Russell Impagliazzo 与 Ramamohan Paturi 于 1999 年提出。该假设断言求解 3-SAT 问题在最坏情况下需要 $2^{\Omega(n)}$ 时间。数十年来，学界基于这一假设建立了庞大的条件计算下界体系。许多 NP 完备问题缺乏亚指数算法的判断，根基全部系于这道假想防线。
OpenAI 论文给出的 Theorem 1.1 主定理改变了局面。该定理证明任意固定 $k \ge 2$ 的 $k$-CNF 公式，其满足解计数存在确定性算法。算法运行时间界定为 $(n+m)^{O_k(1)} \cdot 2^{O_k(\sqrt{n \log \log n / \log n})}$。在公式密度满足 $m \le Dn$ 的条件下，时间界进一步收敛到 $2^{O_{k,D}(\sqrt{n/\log n})}$。
图：论文首页呈现确定的作者署名与摘要，重点标出亚指数运行时间界并宣称推翻指数时间假设。来源：GitHub（openai/math 仓库）
算法给出的时间复杂度在上界中呈现为严格的 $2^{o(n)}$。这直接在数学定义上瓦解了 ETH 预设的严格指数壁垒。**确定性算法在给出判定结果的同时，在多项式空间内完成了满足解的精确计数。**利用代数结构求解布尔约束，成功绕过了传统排列组合搜索的耗时瓶颈。
新算法的技术路线融合了精确计数、稀疏奇偶性检验与多项式插值。整个构造的核心构件被命名为「共享线性摘要」与低次替换形式。这一技术路径带来了密集的理论推论。Max-k-SAT 可以在亚指数时间内逼近到 $OPT(F) - \varepsilon m$。
更多图论难题的下界假说随之出现位移。独立集计数与固定颜色数的图着色问题，均被压进 $2^{o(v)}$ 时间求解。图的完美匹配计数也在确定性条件下缩短至 $2^{o(v+e)}$ 复杂度。一系列依托 ETH 维持的条件硬度理论界线同时失效，迫使学界重新测定细粒度复杂度的真实边界。
划清理论边界：新算法无法跨越多项式归约
复杂度假说的震荡极易引发概念漂移。手稿发布后，社区随即出现关于该算法是否暗示 P=NP 的猜测。这种误解源于对亚指数界限传递性质的认知偏差。面对外界关注，论文作者在第 2 页给出了克制的理论澄清。
图：论文第 2 页给出主定理与算法时间界，并主动声明该亚指数界无法通过多项式归约向全类 NP 传递。来源：GitHub（openai/math 仓库）
手稿明确指出，算法获得的 $2^{o(n)}$ 时间界并不通过多项式归约传递。推广至全类 NP 问题需要更严苛的 $2^{n^{o(1)}}$ 形式。该算法成果与 P 对决 NP 的猜想没有任何关联。OpenAI 从未在手稿中作出任何关于 P=NP 的声称。
团队将手稿定位为「原始研究数据」（raw research data）。虽然 Lean 仓库包含了完整的形式化证明脚本。但符号系统的机械可读性并不等同于人类能够轻易领会其数学机理。手稿需要同行将其转化为能够被共同体消化的直觉模型。
形式化工具确保了推导步骤在逻辑底层没有跳步漏洞。但它无法解释模型为何会选择特定的多项式插值组合。**机器证明能够排除计算推理的逻辑硬伤，却无法自发生成对算法机制的深层洞察。**人类数学家的认知劳动在此刻变得不可或缺。
请回假说提出者接管审查流程
与常规商业发布会截然不同，OpenAI 放弃了单方宣称突破的公关路线。团队在公告成果的同时，公布了一份规格极高的外部审查召集人名单。这批学者受邀出面主持针对手稿真实性的全面审定工作。审查核心成员包括 Russell Impagliazzo、Ramamohan Paturi 以及 Ryan Williams。
这个名单的选择展现出特殊的学术针对性。Impagliazzo 与 Paturi 正是在 1999 年联合 Francis Zane 提出 ETH 的理论先驱。Ryan Williams 则在多年前凭借电路下界技术，推翻了指数时间假设的更强版本。让猜想创立者与顶级破解者共同担任守门人，让严谨审查取代了商业机构的单向宣告。
为了保证专家团队独立运作，OpenAI 拿出了实质性资源保障。实验室向西蒙斯基金会（Simons Foundation）注入 500 万美元专项资助。该理论科学协作网络总盘子约为 1500 万美元。资金将用于组织研讨闭门会，支持学者核验算法的每一个数学细节。
这种审慎姿态源于两周前的教训。10 月 6 日，OpenAI 曾一次性向网络投放 722 篇未经甄别的 AI 手稿。此举引来陶哲轩等领军学者的强烈批评。学界指责海量低信度手稿淹没了正常学术交流，造成同行资源的沉重消耗。
同批三项成果试水三种验证机制
在 10 月 26 日的集中公告中，OpenAI 同步披露了三项重磅理论突破。面对不同学科的认知特点，团队设计了三套不同的分发路径。在计算机科学领域，ETH 反证采取了「外部专家指导加开源公开」的审查架构。自然语言论文与 Lean 形式化代码同时公开，确保推导能够立刻接受全球检验。
调和分析领域的局部光滑猜想则被推向自主的开放消化模式。该成果于 10 月 18 日生成，并在 10 月 19 日完成了 Lean 代码验证。手稿证明了 Sogge 在 1991 年提出的欧式波动方程猜想在所有维数均成立。该结论顺势涵盖了困扰分析学界多年的 Kakeya 猜想与 Stein 限制猜想。
图：同日公开的调和分析论文首页，给出欧氏波动方程局部光滑猜想的全维数证明文本。来源：GitHub（openai/math 仓库）
调和分析成果未设特定委员会，直接交由数学共同体自主评析。在涉及高能物理的研究中，OpenAI 采取了严谨的封控策略。四维相互作用量子场论存在性证明，被移交给外部独立团队。该命题直接触及千禧年大奖难题中的纯杨-米尔斯存在性问题。
物理学审查小组由 2004 年诺贝尔奖得主 David Gross 挂帅。成员包括 Michael Douglas、Arthur Jaffe 等学者。何时公开研究材料与模型细节，全权由该外部小组独立裁量。企业放弃了成果发布的时间控制权，将其置于学术建制的主导之下。
三轨并行的验证安排对应着四项协作准则。OpenAI 坚持全流程透明，不为基础模型争夺学术署名荣誉。同时充分承认外部学者的劳动；审查小组的学术结论不受企业意图干预。针对不同理论体系的认知门槛匹配相适应的验证机制，是一次关于前沿知识治理的公开试验。
人类角色退守理解与审定关口
从 10 月 16 日模型生成文本反证，到 10 月 17 日完成 Lean 机器验证，全程仅耗时数日。算法模型仅用数十小时，便跨越了人类数十年构筑的壁垒。高密度的产出速率，击穿了传统学术出版的漫长周期。庞大的生成体量让传统的同行评审通道面临空前的承载压力。
代码通过 Lean 编译器仅仅表明符号系统内部逻辑自洽。它并不能自动消除人类理解算法精髓时的认知阻力。学术共同体需要花费数月时间重写概念体系，提炼其背后的组合几何直觉。机器能够高效构建严丝合缝的逻辑证明，却无法替人类理解它。
正因如此，前沿研究的权力链条悄然发生了位置置换。在符号搜索与逻辑验证被算法工具深度接管后，科学探索的核心瓶颈发生了位移。人类不再需要耗费全部心力去拼凑推导碎片。学术共同体最核心的使命，正在转变为直觉抽象、价值判断与最终裁决。
无论这篇 67 页的 ETH 论文能否通过最终审查，知识生产的旧格局已经松动。OpenAI 把假说创立者请入评审席表明，算法的突破不能单方面确立真理。在探索复杂系统的征途上，机器或许能率先抵达推导终点。但判定这步探索是否成立的裁量权，始终掌握在人类理解的共同体手中。
参考链接：
- OpenAI Research: The Exponential Time Hypothesis is False 论文手稿与 Lean 形式化代码库
- OpenAI Research: Local smoothing for the Euclidean wave equation 论文手稿
- Simons Foundation 理论计算机科学与数学前沿协作公告
