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

前言

2026年10月26日，OpenAI悄然上线一篇重磅论文，标题极简却震耳欲聋——《指数时间假说是错的》；几乎同步，宿敌Anthropic亦发布同名研究，作者栏赫然仅列一词：Claude。

没错，就是那个你常用来润色简历、调试Python脚本、生成会议纪要的AI助手。它单枪匹马，未借一人之手，便颠覆了理论计算机领域奉行整整27载的基石性信条。

消息传开，学界震动。学者们的初始反应大致分两类：一类喃喃自语“我刚交的终稿可能已成废纸”，另一类则边揉太阳穴边笑出声：“论文白写了……可怎么越想越心跳加速？”

今天我们就一层层剥开这场静默风暴——它究竟爆在何处？与普通人的数字生活是否真正挂钩？又为何有人彻夜难眠，有人彻夜难眠却忍不住调高咖啡浓度？

这个“ETH”跟炒币的以太坊没半毛钱关系

一见“ETH”二字，不少朋友下意识点开交易App查K线图——请暂停操作。此处ETH全称为“指数时间假设”（Exponential Time Hypothesis），诞生于1999年，由两位计算理论先驱共同提出。它和区块链、智能合约、冷钱包热钱包，毫无交集，也无任何技术血缘。

消息扩散初期，加密社区曾短暂骚动；数小时内，多位密码学权威联名发文澄清：此ETH非彼ETH，比特币哈希难题的抗碰撞性、以太坊共识机制的安全边界，目前均未受波及。

那它到底是什么？通俗来说，计算机科学中存在一批公认的“硬骨头”，其中最具代表性的便是3-SAT问题。

你可以把它理解为一场超大规模逻辑拼图游戏：给你成千上万个开关，每条约束条件只关联其中三个，目标是找到一种拨动方式，让所有规则全部满足。

听起来像脑筋急转弯？

真正的难点藏在规模爆炸里——开关数量每增加1个，潜在组合数就翻倍。10个开关对应约1000种可能；当变量升至500个，其解空间已远超当前可观测宇宙中的基本粒子总数。若靠暴力遍历？哪怕动用全球最强超算集群，耗时也将超越恒星寿命。

1999年，学界将这种集体经验凝练为一条未经证明却广为接受的断言：对3-SAT这类问题，最坏情形下不存在比指数增长更优的求解路径——这便是ETH。

此后二十余年，数百项前沿成果以此为默认前提展开推演：从社交网络图谱建模、基因序列比对优化，到数据库查询加速策略、参数化复杂度分析框架，ETH早已不是假设，而是整座理论大厦的地基砖石。没人能证伪它，于是所有人选择相信它。

直到AI轻轻敲了敲地基，说：“这块砖，歪了。”

OpenAI披露，其内部大模型成功构造出一种全新算法，可在亚指数时间内精确统计任意3-SAT公式的可满足解数量；只要该数值大于零，即判定原问题存在可行解。而该算法的时间复杂度增长速率，明确低于传统指数函数。

ETH坚称“此类算法绝不可能存在”，AI回以“它已在此处运行。”

整篇论文长达67页，自然语言形式的完整证明于10月16日由模型自主生成，次日即通过Lean形式化验证系统完成全自动逻辑校验。

Lean是何物？它是一款专精数学推理链审计的开源工具，类似一位永不疲倦的逻辑校对员——任何一步推导若出现类型错配、前提缺失或归纳断裂，系统立即标红告警。机器级验证通过，至少意味着证明链条内部无语法性硬伤。

但Anthropic的版本更具冲击力：其论文附录清晰注明，核心算法完全由Claude模型在零人工干预状态下独立推导发现，全程消耗1400万输出Token。

有资深计算理论研究者粗略估算，这一工作量相当于一名顶尖博士后连续高强度攻关18至24个月的产出总和，而Claude仅用数日便完成闭环。

一份或将重写本科《计算理论导引》教材的里程碑式成果，唯一署名者竟是人工智能——五年前，连最激进的AI伦理研讨会上，都无人敢如此设想。

别急着喊“P=NP被攻克”，现实远比热搜标题复杂

部分读者此刻已在脑内上演“世界密码体系崩塌”的末日图景：网银失效？交易所归零？量子计算机都不用上了？请深呼吸三次。

首要厘清：否证ETH ≠ 证得P=NP。二者逻辑关系为单向蕴含——ETH成立可推出P≠NP；但ETH坍塌，并不能反向推出P=NP成立。

打个比方：你一直认定某扇合金门被焊死，如今发现焊缝存在微小气孔；但这仅说明“绝对密封”不成立，至于门是否已开启、开启角度多大、能否通行，仍是开放问题。

其次，该算法现阶段不具备工程落地价值。Anthropic在论文附录中坦诚列出性能拐点：仅当布尔变量数量突破10¹⁰⁰⁰⁰量级时，新方法才首次超越暴力穷举效率。

10¹⁰⁰⁰⁰是什么概念？它比人类已知最大物理尺度（普朗克长度倒数）还要多出数十亿个数量级，键盘敲击速度根本无法输入完整数字。而在变量规模低于千万量级的实际场景中，该算法甚至无法跑赢一台普通笔记本电脑上的朴素搜索程序。

学术圈戏称其为“宇宙尺度算法”——美得惊心动魄，却注定沉睡于理论真空之中。你的手机支付密码依然牢不可破，DeFi钱包私钥仍稳如磐石。

那到底谁的世界观正在裂开？

答案直指过去二十载深耕ETH相关方向的理论计算机学者。

瑞典林雪平大学教授Peter Jonsson原定两周后在STOC顶会上宣讲的新成果，听闻消息后苦笑坦言：“我这篇论文的核心论证，直接蒸发了一半。”

挪威科技大学学者Daniel Lokshtanov更做了量化评估：若此次结论最终获学界公认，他名下约50篇已发表论文将面临“结论失效”或“需彻底重构证明框架”的命运。

他的比喻精准得令人心颤：“仿佛一颗高精度钻地弹正中学科心脏，震撼感拉满，恐惧感同样拉满。”

试想那个画面：你耗费三年光阴啃透一个艰深命题，构建起严密推导体系，斩获教职，登上讲台；某天清晨刷新arXiv，发现一个AI用两页伪代码宣告——你所有工作的逻辑起点，从根上就是错的。推导过程或许无懈可击，但结论已然失去坐标系。

耐人寻味的是，许多学者嘴上哀叹“饭碗碎了”，眼神却亮得惊人。

丹麦哥本哈根大学教授Thore Husfeldt形容此刻心境：“如同有人突然打开一盏百万千瓦探照灯，把整个子领域照得纤毫毕现。我们这群人现在就像被强光惊扰的野兔，在崭新光照下疯狂蹦跳，到处嗅探尚未命名的矿脉。”

旧地图焚毁，恰是绘制新大陆的第一笔墨迹。

最烧脑的环节来了：谁来当最终裁判？

当前最大悖论在于：AI提交了一份67页的精密证明，机器验证确认其内部推导无误，但机器无法回答一个更本质的问题——“它证明的，真是我们当年定义的那个ETH吗？”

Lean系统能揪出每一处∀与∃的绑定错误、每个归纳步骤的边界漏洞，但它无法识别概念偷换、前提增补或定义漂移。这些元层面的审查，终究必须回归人类判断。

OpenAI为此采取一项极具示范意义的举措：正式邀请ETH原始提出者Russell Impagliazzo与Ramamohan Paturi，联合MIT计算复杂度权威Ryan Williams，组成三方独立评审团。

他们在联合声明中写下关键定性句：“我们的参与不代表对该主张的背书”——直译即：我们只是监考老师，不是阅卷组长，更不负责盖章认证。

Williams进一步透露，评审组未签署任何保密条款，未接受OpenAI资金支持；对方承诺公开全部训练痕迹、中间产物及验证日志，并专项拨款资助全球范围内的专题研讨会。

目前进展为：初步复核已启动，跨机构协作小组正逐行解析证明细节；虚拟评审会议预计于2026年12月举行，线下深度研讨则排期至2027年春季。

真正令人脊背发凉的，并非AI“证出了什么”，而是它证出的速度。

历史上，一个重大数学猜想从提出到被质疑、修正乃至推翻，往往横跨数十年光阴。而今，AI能在数日内完成博士后级科研强度，且同日之内两大巨头“双雄并峙”，一方署名Claude，一方标注OpenAI内部模型。

人类学术响应周期，已明显滞后于AI知识生产节拍。

有人忧心忡忡，有人摩拳擦掌，但无论最终结论如何，一个不可逆的事实已然落地：AI已跨越“信息检索助手”的初级阶段，开始挥动铁锤，亲自叩击人类知识圣殿最底层的承重墙。

那一锤落下，是引发结构共振，还是凿开全新地基？未来数月，全球最顶尖的数十支理论团队，将化身守夜人，替所有人紧盯这场静默地震的每一次余波。

结语

普通人只需记住一句口诀：此ETH，非彼ETH。明日若见社交媒体刷屏“ETH崩盘”，切勿慌张抛售——你钱包里的那个ETH，此刻依然坚挺如初。

信息来源：

【免责声明】文章描述过程、图片都来源于网络，此文章旨在倡导社会正能量，无低俗等不良引导。如涉及版权或者人物侵权问题，请及时联系我们，我们将第一时间删除内容！如有事件存疑部分，联系后即刻删除或作出更改。