计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪

ETH不是以太坊。这两个字母在2026年10月26日让币圈白慌了一场。 OpenAI和Anthropic说的是“指数时间假说”，1999年提出的计算复杂性猜想，跟区块链没有半毛钱关系。

假说的内容很朴素：3-SAT这类逻辑题，不存在比指数级更快的通用解法。 给一堆“甲或非乙或丙”的条件，变量一多，组合爆炸，聪明算法也省不下决定性的步骤。

OpenAI的模型在10月16日找到了反证，次日用Lean完成了机器验证。 67页论文挂在GitHub上，Anthropic的Claude几小时后跟进了另一套方案，1400万token，无人类介入。

“证伪”的数学结论如果成立，动摇的是地基。 超过800篇论文的下界结论建在ETH或它的强化版上，图论、计算生物学、数据库，一大片“某问题不可能更快”的断言，前提松了。

但“天塌了”这三个字，被算法自己的参数拆得干干净净。 Anthropic测出来的条件是：变量数n得大于10的10000次方，新算法才比暴力穷举快。n小于一千万时，毫无优势。

可观测宇宙的原子总数，大约是10的80次方。 这个算法需要的问题规模，比宇宙里所有原子的数量还多出一大截。科技专家给它的定性很准确：Galactic Algorithm，宇宙级算法，理论上漂亮，工程上不存在。

换句话说，ETH在“最坏情况”的数学定义上被推翻了。 但在任何人能写出来的代码、能跑起来的机器、能等得起的时间里，3-SAT该怎么难还是怎么难。地基松了一块，房子没塌。

P vs NP纹丝没动。 新算法把时间从“纯指数”压到了“亚指数”，离多项式时间还隔着一条银河。John D. Cook说得直白：3-SAT不花指数时间了，但据所有人所知，它仍然比多项式时间慢。

Ryan Williams的表态值得逐字读。 他说如果结论为真，每位计算机科学家都该对P=NP的可能性“多押一点权重”。但他同时强调，这不代表P vs NP被解决，而且“这很可能并非最终答案”。

“多押一点权重”，是一个学者能给出的最克制的兴奋。 不是“天塌了”，不是“世纪难题告破”，是一个研究复杂度理论几十年的人，把骰子往某个方向轻轻推了一毫米。

提出ETH的三个人——Impagliazzo、Paturi、Williams——正在带队做独立审查。 公开信写得很清楚：参与审查不等于背书。OpenAI同意了公开全部原始数据，也同意了出资办研讨会。

Anthropic数学家Levent Alpöge同时指出，OpenAI的解答“基于已有研究成果”。 两家同日宣布，时间差只有几个小时，Anthropic的论文署名是“Claude”。竞争的硝烟味，混在学术声明的措辞里。

真正值得盯住的，不是ETH死没死。 是两个前沿AI实验室在同一天，用内部模型产出了形式化验证的数学证明，然后请提出猜想的本人来审。AI从“辅助计算”挪到了“提出猜想级反证”的位置上。

这个位置挪动本身，比任何单条结论都重。 ETH的真假最终由数学共同体裁定，可能需要几个月甚至几年。但AI已经坐在了那张桌子旁边，递上去一份67页的东西，等着人类说“对”或者“不对”。

天没塌。 塌的是“某些逻辑题在一切尺度上都必然慢得可怕”这个直觉。宇宙级算法在宇宙尺度上成立，在人类尺度上沉默。ETH倒在一道数学定义上，没倒在任何一台真实的计算机面前。

信息来源：计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪
2026-10-28 12:38·36氪