OpenAI 与 Anthropic 同日宣布内部模型证伪指数时间假设 ETH

OpenAI 与 Anthropic 几乎同日宣布，各自内部模型推翻了1999年提出的指数时间假设（ETH），即3SAT不存在亚指数时间算法。Anthropic 论文称，核心算法由内部 Claude 研究模型于10月16日独立找到，消耗1400万输出 Token、无人类输入，唯一署名作者是 Claude；两家均公开了 Lean 形式化证明代码。据称 ETH 原提出者 Impagliazzo 与 Paturi 正联合 MIT 等高校团队逐行审验两家代码，英伟达高级 AI 架构师 Shiva Kintali 将 OpenAI 60多页的证明压缩成22页精简版。由于过去有数百篇论文以 ETH 成立为前提，大量条件性研究结论需要重新评估。