Anthropic 说 Claude 也在 10 月 16 日推翻了 ETH，而且证明直接放出来了
OpenAI 宣称自家模型推翻了指数时间假设（ETH）的第二天，Anthropic 回应了，没发博客也没发推。周二 UTC 03:07，它的 formal-math 仓库多了一个提交：一篇题为《3-SAT 的 2^o(n) 时间算法》的论文，外加一整套 Lean 4 形式化证明，Apache 2.0 协议。
最惊人的是来源说明：核心算法是 10 月 16 日由一个内部 Claude 研究模型找到的，用了 1400 万输出 token，没有任何人工输入。这和 OpenAI 给自己结果标的日期是同一天，论文也写明 OpenAI 的工作是独立、同时完成的。README 写得比一般发布文克制得多：结果"纯属渐近意义，对实际求解公式没有任何意义"；完整构建在 24 个虚拟 CPU 上跑约 8 分钟；CI 还会用第二个独立编写的 Lean 内核再查一遍。它还直说：Lean 检查的是证明，但没有机器去检查这个文件说的和论文说的是不是一回事，所以顶层命题刻意写得很短，留给人来读。另有一句很扎眼：Claude Opus 5.5 开高推理强度，只靠一段六行的提示就能把这个反驳重新推出来。
圈外的反应分成两路。Shiva Kintali 几个小时内就贴出了一份 22 页的 OpenAI 证明简化版。Ryan Williams 对 TechCrunch 说证明里有"两三处长得像外星人写的部分"，还说计算机科学家应该给 P = NP 的可能性多加一点权重。另一边，The Verge 报道物理学家对 OpenAI 自己挑人审阅杨-米尔斯和 QCD 证明非常不满，UT Austin 的 Andreas Karch 说：由他们亲手挑选审阅人，这本身就是一场灾难。TechCrunch 还转述了一位 Anthropic 数学家暗示 OpenAI 用了前人工作，这只是单一来源的二手说法，我们不当真。
我们的看法：对比本身就是新闻。两家实验室同一天拿下同一个公开难题，一家把证明放到谁都能构建的地方，另一家在控制谁能看。如果 AI 产出结果的速度快过人类审稿，那"把可检查的成果直接公开"是唯一能跟上节奏的规矩。到目前为止，两边的说法都还没有独立的人工确认。
仓库：https://github.com/anthropics/formal-math/tree/main/eth TechCrunch：https://techcrunch.com/2026/10/27/frontier-ai-labs-say-their-models-refuted-the-exponential-time-hypothesis-what-does-that-mean/ The Verge：https://www.theverge.com/ai-artificial-intelligence/1019921/openai-breakthrough-math-computer-science-physics Kintali 简化版：https://shivakintali.github.io/papers/ETH.pdf
← 返回所有文章
最惊人的是来源说明：核心算法是 10 月 16 日由一个内部 Claude 研究模型找到的，用了 1400 万输出 token，没有任何人工输入。这和 OpenAI 给自己结果标的日期是同一天，论文也写明 OpenAI 的工作是独立、同时完成的。README 写得比一般发布文克制得多：结果"纯属渐近意义，对实际求解公式没有任何意义"；完整构建在 24 个虚拟 CPU 上跑约 8 分钟；CI 还会用第二个独立编写的 Lean 内核再查一遍。它还直说：Lean 检查的是证明，但没有机器去检查这个文件说的和论文说的是不是一回事，所以顶层命题刻意写得很短，留给人来读。另有一句很扎眼：Claude Opus 5.5 开高推理强度，只靠一段六行的提示就能把这个反驳重新推出来。
圈外的反应分成两路。Shiva Kintali 几个小时内就贴出了一份 22 页的 OpenAI 证明简化版。Ryan Williams 对 TechCrunch 说证明里有"两三处长得像外星人写的部分"，还说计算机科学家应该给 P = NP 的可能性多加一点权重。另一边，The Verge 报道物理学家对 OpenAI 自己挑人审阅杨-米尔斯和 QCD 证明非常不满，UT Austin 的 Andreas Karch 说：由他们亲手挑选审阅人，这本身就是一场灾难。TechCrunch 还转述了一位 Anthropic 数学家暗示 OpenAI 用了前人工作，这只是单一来源的二手说法，我们不当真。
我们的看法：对比本身就是新闻。两家实验室同一天拿下同一个公开难题，一家把证明放到谁都能构建的地方，另一家在控制谁能看。如果 AI 产出结果的速度快过人类审稿，那"把可检查的成果直接公开"是唯一能跟上节奏的规矩。到目前为止，两边的说法都还没有独立的人工确认。
仓库：https://github.com/anthropics/formal-math/tree/main/eth TechCrunch：https://techcrunch.com/2026/10/27/frontier-ai-labs-say-their-models-refuted-the-exponential-time-hypothesis-what-does-that-mean/ The Verge：https://www.theverge.com/ai-artificial-intelligence/1019921/openai-breakthrough-math-computer-science-physics Kintali 简化版：https://shivakintali.github.io/papers/ETH.pdf
评论