OpenAI 宣布三项科学发现、宣称「指数时间假设为假」：学界审查进行中

10 月 26 日，OpenAI 发布《Building scientific understanding with academic communities》，宣布其内部前沿模型在数学、计算机科学、物理三个领域产出了「重大」研究结果，并公布了与学术界合作的新框架。Hacker News 上官方博客与预印本两个帖子分别冲上 365 分与 223 分，The Verge、Unite.ai 等媒体跟进。

三项声明是什么

• 数学（调和分析）：关于局部光滑性（local smoothing）的结果，构成对 Kakeya 猜想的进展——这是调和分析领域最著名的开放问题之一；
• 计算机科学（复杂性理论）：宣称证明「指数时间假设（ETH）为假」。ETH 是 P≠NP 之外复杂性理论中最重要的假设之一（断言 3-SAT 不存在亚指数时间算法），大量算法下界结果建立在它之上。若此声明成立，将是几十年来复杂性理论最大的震动；
• 物理（量子理论）：一项量子理论的新结果。

预印本已放在 GitHub 的 openai/math 仓库，部分结果附 Lean 形式化验证。

为什么必须慎重对待

这是本月 OpenAI 第三次大规模科学成果发布：8 月「十项数学与理论 CS 进展」、10 月 6 日 700 余篇 AI 生成论文（涉及 370 多个未解问题，我们当时报道了其 Lean 形式化开源的意义），到今天的三项「重大」发现。节奏越来越快，但审查记录并不干净：10 月初那批论文中，有 3 篇因一处符号错误连锁失效而被撤回；有评论指出部分论文的自然语言论证与 Lean 代码之间存在不一致。

ETH 这种量级的声明尤其需要时间：Lean 形式化只能保证「证明在其形式化定义下无逻辑错误」，不能保证形式化的命题就是学界所说的那个 ETH——定义的任何细微偏差都可能让「证伪」变成「证伪了一个相似但更弱的命题」。复杂性理论学界会逐字核对，这个过程以月计。

OpenAI 自己也意识到这一点：同日公布的学术合作新框架，正是要把「模型产出结果」与「学界独立验证」制度化——这与我们上周报道的 Anthropic 向 METR 开放评估属同一方向：头部实验室在主动把外部审查变成产品发布流程的一部分。

对企业的启示

离企业最远的科学新闻，给出的却是最近的教训：AI 的「成果」与「经核验的成果」之间有一道必须跨过的门。无论是 OpenAI 的数学证明，还是贵司某个 agent 产出的财务分析、代码重构方案——「它给出了答案」不等于「答案是对的」。可信任的流程设计（形式化校验、独立复核、可追溯的论证链）才是把 AI 能力转化为业务价值的闸门。ProMen 在为企业设计 AI+ 方案时，始终把验证环节与生成环节同等对待——这条新闻是最好的注脚。

（本文为对 OpenAI 声明的报道，三项结果均处于学界审查阶段，正确性以后续同行评议为准。）