10 月 26 日，OpenAI 宣布其模型产出了三项重大科学结果：调和分析中的局部光滑化猜想（并声称解决了 Kakeya 猜想）、计算机科学中的指数时间假设（ETH）为假的证明、以及量子色动力学（QCD）与标准模型完备化的存在性证明。其中 ETH 反驳已完成 Lean 证明助手的机器校验，证明与形式化代码已开源在 GitHub。

ETH 是什么，反驳它意味着什么

指数时间假设（ETH）1999 年提出，认为 3-SAT 等组合难题无法显著快于指数时间求解，是大量复杂性理论结果的基石假设。如果被证实为假，研究者将不得不重新审视建立在它之上的多年工作。独立专家组（Russell Impagliazzo、Ramamohan Paturi、Ryan Williams 等）将负责审查——Williams 的初步评价是：部分证明看起来常规，但有两三处「长得像外星来的」部分需要仔细核查。

Anthropic 数小时后跟进

戏剧性的是，OpenAI 宣布数小时后，Anthropic 在其数学家 Levent Alpöge 质疑 OpenAI 的证明建立在已有工作之上后，也发布了自己的 ETH 反驳。两大实验室围绕同一个基础问题隔空对轰，这种竞争节奏本身就是新闻。

更值得关注的是「放牧人」机制

OpenAI 这次没有直接把未经同行评审的 AI 论文砸向学术圈，而是设计了一套新流程：邀请受尊敬的研究者担任「shepherds（放牧人）」，由他们组织专家小组理解、核查并向学界解释每个结果。配套四原则：全程透明（无 NDA）、不给模型学术署名、给参与的人类学者记功、独立自愿且无薪。OpenAI 自己把 AI 写的稿件称为「原始研究数据」。

为什么值得关注

第一，如果 ETH 反驳经审查成立，这将是 AI 第一次撼动计算复杂性理论的根基假设，而不只是奥数题。第二，「机器校验（Lean）+ 放牧人审稿」可能成为 AI 科研产出的新基础设施标准——解决「模型声称的突破无法验证」的信任问题。第三，OpenAI 与 Anthropic 在基础科学上的正面竞争，预示前沿实验室的下一战场不只是 benchmark 分数，而是可被学界承认的原创发现。当然，目前一切结果都未经同行评审，保持审慎。