计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪
就在昨天，AI把统治27年的计算机“铁律”掀翻了
理论计算机界被一颗核弹炸醒。OpenAI与Anthropic几乎在同一时间对外宣布：统治理论计算机科学长达27年的“指数时间假设”（ETH）被证伪。所谓ETH，是1999年由加州大学圣地亚哥分校的Russell Impagliazzo和Ramamohan Paturi提出的核心猜想，直接关系到计算机到底能在多快时间内解决最难的一类问题。
消息一出，中文互联网瞬间炸锅。由于“ETH”恰好也是加密货币“以太坊”的缩写，大量币圈用户误以为AI在唱空以太坊价格，闹出了“OpenAI宣布证伪ETH，币圈人以为在喊空以太坊”的乌龙。实际这里的ETH全称是Exponential Time Hypothesis，是计算复杂性理论中的基石性猜想，与加密货币没有半毛钱关系。
更让人震撼的是，OpenAI公开的论文标题就毫不含糊——《指数时间假设是错的》。论文主张：3-SAT这类经典难题，完全可以在“亚指数时间”内被解决。这直接动摇了数百篇建立在ETH之上的学术论文的理论地基。
AI只用一天时间，完成了人类27年没做到的事
为什么ETH被证伪如此惊天动地？先把问题简化成一把密码锁。
上世纪90年代末，两位学者提出ETH时，用3-SAT问题作代表。3-SAT可以想象成一大堆相互牵制的逻辑开关：每个规则涉及三个取值为真或假的变量，任务找到一种赋值让所有规则同时成立。变量一多，可能的组合数量呈现爆炸式增长。ETH的核心断言是：在最坏情况下，破解这类问题的时间永远绕不开指数级暴涨，不可能降到“亚指数时间”。
过去近30年里，图论、数据库、计算几何、计算生物学中，有数百篇论文把研究建立在ETH成立的基础上。它就像一堵承重墙，没人证明过它一定成立，但所有人都默认它不会塌。结果昨天，这堵墙被AI一夜撞开了。
更离谱的是速度。OpenAI披露，10月16日AI拿到自然语言反证，10月17日就完成了Lean形式化验证。从拿到证明到机器逐行验证完毕，AI只用了一天。人类花了27年没撞开的门，AI用几天时间就撞开了。OpenAI研究员、原微软AI副总裁Sebastien Bubeck评价：这是自己关注理论计算机科学20年来见过的最大惊喜。
论文唯一作者只有Claude，零人类干预独立推演
比ETH被证伪本身更细思极恐的，是Anthropic这边的操作。
Anthropic甩出的论文里明确标注：核心算法由内部模型Claude在零人类干预的情况下独立推演发现。这篇可能载入科学史册的论文，署名的唯一作者只有Claude。
也就是说，AI不仅推翻了人类奉若铁律的猜想，还以第一作者身份、独立完成了从发现到写作的全过程。这已经不只是“工具辅助科研”，而是AI正式以独立研究者的姿态登上学术舞台。
面对AI产出的这份长达60多页的证明，人类大脑读起来极其吃力。英伟达高级AI架构师Shiva Kintali连夜爆肝，把OpenAI原版60多页的ETH证伪证明硬生生压缩成22页精简版。他砍掉AI繁琐的步骤，不追求最优的对数因子，只求干净利落地证伪基本陈述，并补充了算例。他的目标只有一个：“让人类同行能真正看懂。”
出题人亲自下场验算，诺奖得主带队审卷
现在最戏剧性的一幕出现了：当年亲手提出ETH猜想的两位奠基人——Russell Impagliazzo与Ramamohan Paturi，据传已被紧急请出山。
27年前，两位学者写下一个猜想；27年后，他们被叫醒，去检查一个AI是怎么把它推翻的。这大概是学术史上最复杂的一种心情。
目前，两位泰斗正联合MIT等高校的顶级团队，对OpenAI和Anthropic两家的代码展开逐行审验。MIT著名复杂度理论大神Ryan Williams已经公开给出论文链接和其中的时间复杂度主张。诺奖得主David Gross也惊叹：“对于不了解的人来说，ETH这一假设被证伪非常令人惊讶，影响太深远了。”
现在出现了一个前所未有的学术奇观：AI负责攻坚，在几天里撞开一道27年没人撞开的门；人类负责消化，把AI冗长的推演提炼成人类能理解、能继续往下推的知识。轮到人类给AI的作业打分、做精简了。
别急着庆祝，ETH被证伪不等于P=NP
也要给兴奋情绪泼一盆冷水。论文主张把3-SAT的增长速度降到次指数级，但距离多项式时间仍有差距。所以反驳ETH不等于证明P=NP，也不能直接翻译成所有难题明天就能秒算。OpenAI同样明确：要把理论变成实际提速，还需要大量后续研究。
但即便如此，这个突破的含金量依然难以估量。按照Anthropic的说法，如果这些结果成立，这将是数学和理论计算机领域历史上最重要的一天。有网友评论：这个贡献妥妥值半个图灵奖。也有人在社交媒体上调侃：“行吧，那现在P与NP问题的胜率赔率是多少？”
无论如何，AI已经在人类最引以为傲的理论科学腹地撕开一道口子。计算机领域的天有没有“塌”，或许还要等专家审验结束才能定论；但有一点已经确定：AI不再是人类的解题工具，它开始成为出题人、证明人，甚至审题人。
