ETH被AI攻破：科学家要失业了？
前几年 AI 刚学会写代码、修 Bug 的时候，大家都在围观：程序员会不会失业？
程序员擦着汗说：“没事，AI 只是个无情的搬砖工具，顶层架构和前沿理论还得靠我们人类大脑。”
结果这才过去没多久，AI 已经开始挑战科学家信了近 30 年的理论底座。
这篇让学术圈集体揉眼睛的论文，标题很粗暴，就差把嘲讽拉满了：
《指数时间假说是错的》（The Exponential Time Hypothesis is False）。
被它盯上的这根“承重柱”，简称 ETH。
不过先别急着去抛售你的虚拟货币——这里的 ETH 不是以太坊，而是计算机理论界威名赫赫的“指数时间假说”（Exponential Time Hypothesis）。
那人类科学家真要卷铺盖走人了吗？我们先从一场让人想绝交的“微信群聚会”说起。
01 一道让全宇宙电脑原地爆炸的“聚会难题”
假设你要拉个三人小群办聚会，群里有：
A：小王
B：小李
C：小张
每个人要么来，要么不来。但他们全是一身毛病的“甲方型朋友”，提出了三条拧巴的条件：
条件一：小王来，或者小李不来，或者小张来。
条件二：小王不来，或者小李来，或者小张来。
条件三：小王来，或者小李来，或者小张不来。
你的任务是：能不能给出一套出勤方案，让这三条要求同时被满足？
这很容易，比如让三个人都来。
大家一核对，三条要求各有一条命中，皆大欢喜。
这就是计算机史上最著名的难题模型之一：3-SAT 问题。
3 个人太容易了，因为所有可能的情况就 23=8 种，就算你脑子转得慢，拿张草稿纸全列出来盲猜一遍也就两分钟。
但如果聚会群扩大了呢？
每多拉一个人进群，可能性就翻一倍。这种令人绝望的增长，就是“指数爆炸”。
02 科学家相信了 30 年的“摆烂公理”
面对指数爆炸，科学家过去三十年里绞尽脑汁。
最笨的办法是穷举，算 2n 次；聪明一点的数学家折腾出精妙算法，把运算量压到 1.3n 次。
但不管底数是 2 还是 1.3，它们都有一个致命弱点：只要 n 稍微大一点，宇宙毁灭前都算不完。
于是 1999 年，两位计算机大佬 Russell Impagliazzo 和 Ramamohan Paturi 提出了一个假说：
这个假说就是 ETH。
虽然从没人从数学上绝对证明它成立，但这三十年来无数顶级脑袋撞得头破血流也没找到破局方案。久而久之，大家默认它就是现实：
研究图论的写道：“如果 ETH 成立，这个问题绝不可能有更快算法……”
搞数据库的写道：“基于 ETH，某类查询至少需要耗费……”
数百篇世界级论文直接把它当成了免死金牌和底层地基——房子已经盖到十层楼高了，谁也没想过地基有天会让人给刨了。
03 AI 没掀翻大门，但它顺着通风管钻了进去
2026 年 10 月，OpenAI 给计算机理论界扔下一颗重磅炸弹。
一篇名为《The Exponential Time Hypothesis is False》的论文，提出了一种新的 3-SAT 算法，声称实现了此前难以想象的时间复杂度：
2^o(n)，也就是亚指数时间。
什么意思？
原本 ETH 认为，解决 3-SAT 问题，在最坏情况下逃不开指数级时间代价。
但新算法试图打破这一限制：
随着问题规模 n 增大，算法指数部分相对于 n 的增长比例逐渐趋近于零。
打个比方：
以前： 面对一本比银河系还厚的密码本，只能一页页翻，最多翻得快一点。
现在： AI 参与提出的方法利用代数结构和多项式插值等工具，试图绕开传统的暴力搜索。
虽然不是“一秒破解”，但如果证明成立，就意味着：
人类以为焊死的理论铁门，旁边居然藏着一条通风管。
更关键的是，这次 AI 不只是随口给答案。OpenAI 还借助 Lean 形式化证明系统，对相关定理进行了机器检查。一份足以挑战近 30 年理论假说的研究成果，已经摆到了科学家面前。
04 三个人人都在问的“灵魂误解”
1. 以太坊和比特币要归零了？想多了
这里的 ETH 是指数时间假说，跟以太坊只是撞了名字。
区块链主要依赖椭圆曲线密码学和哈希函数，这篇论文并不意味着加密货币的密码系统被攻破。
2. 这算证明了 P = NP？早着呢！
如果 P=NP 相当于发明了“瞬移传送门”，这次突破更像是发现了一辆“共享单车”。
速度可能快了不少，但距离瞬移还有十万八千里。
3. 以前基于 ETH 的论文全成废纸了？
不至于，但部分结论可能需要重新审视。
原来的逻辑是：“如果明天下雨，运动会就取消。”
现在发现不会下雨，不代表运动会一定能开。
同样，ETH 如果被推翻，并不意味着那些问题突然都有了高效算法，只是原有的条件性结论需要重新寻找依据。
05 所以，科学家真的要失业了吗？
这场突破最魔幻的，还是它的诞生过程。
根据 OpenAI 公开的研究过程：
10 月 16 日： AI 生成核心算法及自然语言证明。
10 月 17 日： 团队进一步形式化关键证明，并用 Lean 进行机器检查。
随后： 研究成果公开，理论计算机科学界开始参与审查与讨论。
有意思的是，OpenAI 还邀请了当年提出 ETH 的科学家参与后续审查。
想象一下：1999 年，你提出了一个理论假说，此后近 30 年，无数研究者围绕它建立理论体系。
结果到了 2026 年，AI 突然递来一份反证。
而你还得亲自检查，它到底有没有推翻自己当年的判断。
那科学家以后干嘛？
答案可能是：从亲自寻找每一条证明路径，转向与 AI 一起探索未知、验证结果，以及判断研究的真正价值。
毕竟，AI 可以帮忙寻找证明，但什么问题值得研究？一个突破究竟意味着什么？下一步又该往哪里走？
这些问题，依然需要人类科学家来回答。
当然，话说回来。
前几年，程序员还在担心 AI 抢饭碗，科学家多少还能淡定地看热闹。
谁能想到，短短几年后，AI 不仅开始写代码，连数学证明都要插上一脚。
程序员回头一看：哟，科学家也上车了？
看来 AI 时代这辆过山车，谁也别想提前下车。
参考资料
OpenAI：《Building scientific understanding with academic communities》（2026 年 10 月 26 日）
论文：《The Exponential Time Hypothesis is False》（2026 年 10 月修订版）
