OpenAI 称 AI 反驳了指数时间假设；Impagliazzo、Paturi 与 Williams 主导公开审查

2026 年 10 月 26–27 日，OpenAI 宣布内部模型产出三项所称科学成果：复杂性理论中对指数时间假设（ETH）的反驳、对 Kakeya 与 Stein 限制猜想有影响的局部光滑证明，以及包括量子色动力学在内的某些四维量子场论的存在性结果。公司发布了与学术界合作流程说明；TechCrunch 报道了 ETH 主张及外界反应。

OpenAI 对 ETH 的说法

由 Impagliazzo、Paturi 与 Zane 提出的 ETH 长期以来被用来论证许多困难问题（与 SAT 相关）大致需要指数时间。OpenAI 称其系统找到了会使 ETH 为假的确定性亚指数算法，于 10 月 16 日产出自然语言文稿、10 月 17 日完成 Lean 形式化，并在公开 GitHub 仓库发布两者。公司强调，反驳 ETH 不会解决 P vs NP。

独立审查，并非背书

由 ETH 提出者 Russell Impagliazzo、Ramamohan Paturi（加州大学圣地亚哥分校）以及 Ryan Williams（麻省理工学院）领导的小组同意协助组织公开、独立的审查。Williams 表示他们未签 NDA、不收取报酬，要求 OpenAI 公开原始数据，并邀请社区讨论 AI 生成突破的规范。他们的参与是审查过程，不是盖章认可；TechCrunch 指出 Anthropic 随后也发布了自己所称的 ETH 反证。

局限

OpenAI 称手稿为**「原始研究数据」，并请外部专家充当「引导者」。三项主张均未经过同行评审。 以往 AI 证明投放曾引发 Lean 是否核验了完整宣称命题的争论。读者应将公告视为尚在审查中的主张**，而非已确立的定理。