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

最近科技圈炸出的大新闻，直接把全网科研人都看傻了。AI这回可不是玩画画写文案的边角活，直接冲进纯数学理论计算机的硬核科研圈，把人类守了快30年的公认假设直接给掀翻了。整个学界现在人仰马翻，各路大佬熬夜扒代码验证明，就想搞清楚这次AI到底是不是真的把天捅出个窟窿。 这事是OpenAI和Anthropic两家几乎同时爆出来的，两边连时间点都没错开，齐刷刷掏出自己的重磅成果，把统治理论计算机领域整整27年的指数时间假设也就是ETH给推翻了。连Claude官方都出来表态，要是这个结果最后坐实，绝对是数学和理论计算机发展史上排得上号的最重要的日子之一。这次的数学突破，还和菲尔茨奖得主王虹之前在挂谷猜想方向的研究有很深的关联。 最让人起鸡皮疙瘩的点还不是ETH被推翻这事，是Anthropic直接在自己的论文里标得明明白白，核心算法是内部的AI模型Claude全程零人类干预，自己独立推演出来的。这篇将来很可能要写进科学史的论文，唯一的署名作者就是Claude。AI这回彻底从大家印象里的辅助工具，直接升级成了独立拿成果的第一作者。 你猜这次AI为了推演出这个结果耗了多少算力？Claude前后总共消耗了1400万输出Token，换算成文字量差不多等于推演了十几本《三体》厚度的草稿内容。相关领域的学者粗算了下，这个工作量差不给不太懂行的朋友唠唠这个ETH到底是什么分量。1999年两位学者Russell Impagliazzo和Ramamohan Paturi正式提出指数时间假设，简单说对应的就是经典的3SAT问题，像一把装了n个开关的密码锁。大半个世纪里全世界最聪明的科研人员前赴后继攻关，所有人都默认一个事实，破解这个锁的时间肯定会跟着开关数量的增加呈指数级暴涨。 多等于人类最顶尖的博士后埋头苦干一到两年的完整科研量级。放在以前想都不敢想的工作量，AI没日没夜跑几天就直接举个好懂的例子，要是每个密码位置有9种选择，全部排列组合下来总共有9的n次方种可能。纯靠穷举破解的效率低到离谱，要是n等于100，把全世界所有计算机凑一块算，等到太阳冷却都出不来结果。当年两位学者把全行业的这种集体直觉整理成了正式假设，3SAT问题不存在亚指数时间算法，你可以把运算速度优化一点，但永远翻不过那道指数级难度的高墙。 交了卷。ETH提出到现在二十多年，整个行业里光是默认它成立、顺着它做研究的论文就有数百篇，覆盖了图论、组合优化、数据库、计算生物学一大堆领域，用它当基础推导各种计算问题的复杂性下界。现在ETH要是真的被推翻，之前这些领域里一大堆基于它成立才得出来的复杂度和参数化算法的条件性结论，全部得推倒重新评估。它的分量比大家熟悉的P不等于NP猜想还要更强更具体，只是还没到千禧年七大数学难题的级别而已。 不少人刚听到消息第一反应都是，AI这不纯纯一本正经胡说八道吗，靠瞎凑逻辑蒙出来的结果能算数？结果这次两家公司根本没玩虚的，不光甩出来论文，还同步公开了完整的Lean形式化证明代码。这个Lean工具就像个铁面无私的电子审稿人，整个逻辑链哪怕有半步跳步说不通直接就报错。代码现在都能跑通，等于底层逻辑几乎已经封死了出错的可能性。 当然现在还不能百分百拍板说证明就完全正确。当年提出ETH的那两位奠基人已经被紧急请出山，联合MIT的一众科研团队正在逐行核验所有代码。光OpenAI放出来的完整证明就有60多页，满屏全是普通人看都看不懂的“外星符号”，人类科研人员读起来极其费劲。英伟达的高级AI架构师Shiva Kintali连夜加班，把厚厚的原始证明压缩成了22页的精简版。 他砍掉了所有没必要的繁琐步骤，也不纠结最优对数因子的细节，就追求干净利落把证伪ETH基本陈述的核心逻辑理清楚，还额外补充了配套算例。做这些事的唯一目标，就是让同领域的人类学者能真的把这套证明看明白。现在整个学界出现了前所未有的奇观，AI负责攻坚砸门，几天就撞开了27年来所有人类都没撞开的厚墙。人类科研人员跟在后面慢慢消化，把AI扔出来的冗长推演整理成能往下接着推进的通用知识。 不少人翻旧账翻到2023年3月，当时OpenAI发过一份AI对就业市场影响的预测报告，当时排在被AI冲击最大的职业榜单第一名的，居然就是数学家。那时候几乎所有人都嗤之以鼻，觉得做数学研究需要顶级的严密逻辑，平时连写个代码都经常出bug的AI，根本不可能搞定纯理论数学的硬核工作。谁想到才过了三年，这颗当年没人当回事的子弹，直接精准命中了理论科研领域的眉心。 不少人开始慌，是不是以后数学家这些科学家都要集体失业了？真不至于。AI根本不会简单粗暴把哪个领域的从业者直接替换掉，它只会把整个行业的规则彻底重塑。以后的科研圈，最吃香的不再是闷头死磕复杂推演的人，反而更奖励那些能连接现实需求、打通不同学科边界的人。就像当年照相机发明之后，画家再也不用