OpenAI 推翻 30 年 ETH 假说：AI 攻破理论底座，科学家失业？

据 Woofun AI 消息，2026 年 10 月， 发布题为《The Exponential Time Hypothesis is False》的论文，正式宣告计算机理论界威名赫赫的'指数时间假说'（ETH）为假。

这一核心事实迅速在学术界引发震动，但需首先澄清概念混淆：此处的 ETH 并非加密货币市场中的以太坊，而是指代困扰理论计算机科学近三十年的底层逻辑基石。OpenAI 此举并非针对区块链资产，而是直接挑战了关于计算复杂度的传统认知边界，标志着人工智能从辅助编程工具向基础科学理论突破者的角色跃迁。

这一事件的核心在于，一个被无数顶级研究者视为'免死金牌'的假说，正面临被系统性推翻的风险，其影响范围远超单一算法优化，直指科研范式的根本性重构。

要理解这一突破的重量，必须回溯至 3-SAT 问题这一经典难题模型。该问题可形象地比喻为一场充满约束条件的'微信群聚会'：假设群内有小王、小李、小张三人，每人面临'来'或'不来'的二元选择，同时需满足三条互斥且拧巴的条件——例如'小王来，或者小李不来，或者小张来'等。在仅有三人时，所有可能的组合仅为 2^3=8 种，通过简单的穷举即可在两分钟内找到满足所有条件的出勤方案。

然而，当参与人数 n 增加时，可能性呈指数级爆炸增长。面对这种令人绝望的计算复杂度，科学家在过去三十年里绞尽脑汁。最基础的穷举法需要计算 2^n 次，而经过数学家多年优化，最精妙的算法也将运算量压缩至 1.3^n 次。

尽管底数从 2 降至 1.3，但指数级的增长特性意味着，只要 n 稍大，即便宇宙毁灭也无法完成计算。1999 年，计算机领域权威学者 与 正式提出 ETH 假说，断言 3-SAT 问题在最坏情况下无法在亚指数时间内解决。

尽管从未被数学绝对证明，但该假说在近 30 年间被广泛接受为默认现实，成为图论、数据库查询等领域数百篇世界级论文的底层地基，仿佛一座已建至十层的高楼，无人质疑其地基的稳固性。

2026 年 10 月，OpenAI 提出的新算法彻底动摇了这一根基。该算法声称实现了 2^o(n) 的时间复杂度，即亚指数时间。这意味着，随着问题规模 n 的增大，算法指数部分相对于 n 的增长比例逐渐趋近于零，从而绕开了传统暴力搜索的指数级代价。

Woofun AI 整理数据显示，该算法的核心创新在于利用代数结构和多项式插值等数学工具，试图在看似焊死的理论铁门旁找到一条'通风管'。更关键的是，OpenAI 并未止步于理论推导，而是借助 形式化证明系统，对相关定理进行了严格的机器检查。

这一过程确保了证明的逻辑严密性，使得这份足以挑战近 30 年理论假说的研究成果具备了极高的可信度。AI 在此过程中不仅提供了答案，更通过形式化验证消除了人类审查中的潜在疏漏，展示了其在处理高维数学证明时的独特优势。

这种从'生成代码'到'验证定理'的能力跨越，标志着 AI 在基础科学研究中的介入深度达到了前所未有的水平。

尽管 ETH 假说面临被推翻的风险，但这并不意味着密码学危机或 P=NP 问题的即时解决。区块链系统主要依赖椭圆曲线密码学和哈希函数，其安全性并不直接建立在 ETH 假说之上，因此加密货币的密码系统并未因此被攻破。若将 P=NP 问题的解决比作发明'瞬移传送门'，那么此次突破更像是发现了一辆'共享单车'——速度虽有所提升，但距离彻底改变计算格局仍有巨大差距。原有的科研逻辑类似于'如果明天下雨，运动会就取消'；现在发现'不会下雨'（ETH 为假），并不意味着'运动会一定能开'（所有问题都有高效算法）。ETH 的推翻仅意味着那些基于'如果 ETH 成立'的条件性结论需要重新审视和寻找新的依据，而非直接否定所有现有理论。