一文看懂OpenAI刚刚捅出的计算机界大篓子

这两天，计算机科学界和币圈同时经历了「核爆」。

起因是，OpenAI公布了自家模型的最新成果，标题短短一句话：

《The Exponential Time Hypothesis is False》（ETH 是错误的）。

评论区前排当场裂成了两个次元。

搞理论计算机的博士生们颤抖着问，那我们过去25年写的几百篇顶会论文，莫非全要作废了？

而另一拨刚网友直接从床上弹了起来，手忙脚乱点开行情软件，还以为以太坊（ETH）被掀了。

先给炒币的朋友吃颗定心丸。

此ETH非彼ETH。被掀翻的这个叫指数时间假说（Exponential Time Hypothesis），跟以太坊半毛钱关系都没有。

但如果你去问一个搞计算机理论的学者，这件事到底有多大？

他会告诉你，这相当于AI刚刚徒手拔掉了现代计算机科学大厦底下的一根承重柱。

大厦将倾啊。

更离谱的是，拔柱子的还不止一家。

10月26日，OpenAI和Anthropic两家死对头，几乎前后脚甩出了各自的论文和Lean 4机器验证代码。

OpenAI 交出了整整67页论文、3977个Lean 源码文件、超过71万行形式化证明代码；几小时后，Anthropic紧跟着放出了Claude独立证出的同款结论。

甚至连当年亲手提出ETH假说的两位开山祖师爷 Russell Impagliazzo 和 Ramamohan Paturi，此刻都已经连夜组建了独立评审团，亲自下场审查。

用最不绕弯子的人话讲明白，这个ETH到底是个什么东西？

打个比方你就懂了。

咱们平时家里装的超 B 级防盗门锁，全世界的锁匠和物理学家研究了上百年，虽然没人能从理论上彻底证明它绝对拧不开，但地球上几代小偷拿铁丝捅了几十年，从来没人捅开过。

于是全世界的安防学界干脆立了一条公理：

这把锁凭人力绝对拧不开。

过去25年里，无数学者围绕这条铁律做研究，写出了几百篇重量级论文。

比如《既然这把锁拧不开，那么金库大门用同款结构也一定撬不开》《基于该锁不可破解假说的十种保险箱设计规范》。

整套现代安防理论的大厦，全都严丝合缝地盖在这块地基上。

结果就在昨天，OpenAI和Anthropic的内部AI模型突然冲出来，啪地往桌上拍了一摞71万行的数学证明，宣布：

《这把锁拧不开，是错误的！AI 找到了必开大法！》

全场哗然，住户们的第一反应都是，卧槽，那我家大门今晚还能锁得住吗？！

等专家们擦干冷汗，仔细看AI写出来的推演过程，也发现力学公式严丝合缝，毫无破绽。

但AI找到的那个必开大法长什么样呢？

AI极其严密地证明了：

只要小偷站在你家门口，连续拧满100亿年，锁芯里的弹簧就会发生量子金属疲劳，咔哒一声自动弹开！

铁证如山，真把「绝对拧不开」的铁律给推翻了。

但这对你今晚锁门睡觉有影响吗？其实一点影响都没有。

正常小偷作案也就几分钟，等他真拧满100亿年，太阳系可能都炸没了。。

真正天塌了的，是那群写论文的学者。

因为他们过去25年发表的几百篇论文，几乎都建立在「假设这把锁在任何时间长度下都拧不开，由此可证……」的前提下。

现在，这句假设被AI一脚踹穿，所有靠这句话撑起来的定理，地基在一夜之间全空了。

计算机科学里的「指数时间假说（ETH）」，就是这把防盗门锁。

在计算机里，这把锁真名叫3-SAT。

想象你面前有一排开关，一共n个，每个只能往上拨或往下拨。我给你定几百条通电规矩，每条规矩只要求其中三个开关的组合满足条件就行，让你找出一组能让所有规矩同时通电的拨法。

这个问题难就难在，每多加1个开关，可能性就翻一倍。

3个开关只有2³=8种试法；到了300个开关，可能性直接超过全宇宙的原子总数（约 10⁸⁰ 个），全世界电脑绑一块儿算到宇宙毁灭也算不完。

几十年来，最顶尖的科学家想尽办法提速，把耗时从2ⁿ压到了1.618ⁿ，再一路内卷压到1.307ⁿ（PPSZ 算法）。

但不管怎么压，未知数n始终在指数位上，规模总是会起飞。

撞了无数次南墙后，25年前，Impagliazzo和Paturi两位老爷子干脆下了指数时间假说（ETH）。

他们断定这种指数爆炸是自然规律，永远不可能有算法把指数上的n消成亚指数。

没人能证明它，但所有人都信它。

搞芯片布线的、做物流排班的、研究图论的，只要证明「要是我的算法还能更快，就等于能破掉 3-SAT」，就能理直气壮地在论文里宣布自己的算法已经撞上宇宙极限、不可能再快了。

几百篇顶会论文就这么盖在了ETH的地基上。

直到这周，OpenAI 和 Anthropic 的 AI 把锤子抡了过来。

AI 它走了一条纯代数的邪道。它给每个开关套上多项式面具，利用一套精巧的「交换矩阵」把乱成一锅粥的开关切成互不干扰的小组，只靠极少量共享整数传递信息，最后用埃尔米特插值一把算出精确解的数量。

最终，AI 把运行时间上限干到了

2^{O(n · loglog n / √(log n))}

你只需要看一眼分母上那个 √(log n)。

人类卡了半个世纪都没能给指数上的n除掉一个变量，AI 第一次在底下垫上了一个随着n增大会慢慢变大的 √(log n)。在数学定义里，这就跨过了指数时间和亚指数时间的生死线。

ETH连同它的加强版SETH等五个假说，像多米诺骨牌一样被一脚踹翻。

那为什么说它等于「小偷连拧 100 亿年」呢？

有研究者专门拿AI的新公式跟人类现有的PPSZ老算法（1.307ⁿ）算了一笔账。

就算把AI公式里所有隐藏的大常数全按1来算，AI 的新算法要到什么时候才能跑赢人类的老算法？

答案是，当开关数量n超过10⁷⁹到10¹⁶⁸的时候。

整个可观测宇宙的基本粒子加起来也就10⁸⁰个。。

也就是说，除非你把全宇宙每一颗质子、电子都拿来解题，否则在人类能碰到的任何现实场景里，门锁还是安全的。

不过，门锁虽然暂时安全，数学家们却已经忙起来了。

MIT计算机科学教授Ryan Williams，就是最先被拉来审查这份证明的人之一。

10月27日，他接受采访时透露，OpenAI这份证明里，有些步骤还算常规，但另外两三处的思路，简直像「外星人写出来的」。

正是这些地方，让他觉得这件事需要整个理论计算机科学界一起研究。

有意思的是，就在本月初，OpenAI一口气公开700多篇AI生成的数学手稿时，Williams还曾公开吐槽，这简直是对数学家发动了一场「DDoS攻击」。

结果这回，他自己也加入了审查队伍。

放眼整个数学界，这场争论远比ETH本身还要激烈。

就在10月22日，菲尔兹奖得主陶哲轩在《Nature》发表长文，提出数学界需要进入一个全新的「Maths 2.0」时代。

他指出，AI已经能够在短时间内批量产出数学证明，但人类数学家理解这些结果的速度，正在被远远甩在后面。

以前一个数学问题可能要研究几十年，才能等到有人给出答案。

现在，AI一次甩出几百份证明，人类到底要花多久才能读懂啊？

更激烈的一批数学家，干脆选择和商业AI公司划清界限。

一个叫「人类数学协会」（Association for Human Mathematics，简称AHM）的组织，目前已经聚集了1008名成员。

他们承诺，不为商业AI公司提供数学研究方面的劳动或咨询，也不发表AI生成的数学文章。

其中654人还进一步加入了「无AI派」，承诺在自己的数学研究中完全不用AI。

在人类头顶那片延续了几百年的数学星空里，有些规则，可能彻底变了。

参考文献

[1] 指数时间假说是错误的: https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf

[2] 一种求解 3-SAT 的亚指数时间算法：https://github.com/anthropics/formalmath/blob/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth/paper.pdf