最近科技圈炸开一条重磅消息，OpenAI和Anthropic几乎在同一天放出成果，宣称依靠AI模型，推翻了理论计算机领域坚守将近30年的指数时间假设，简称ETH。消息刚传出来的时候，很多人第一反应还搞错了，以为是加密货币以太坊出了重大变故，币圈还虚惊一场。很快大家才反应过来，这个ETH是1999年提出的计算机科学猜想，和数字货币没有半点关系，但它一旦被证实是错的，对于计算机科学界带来的冲击，丝毫不亚于一场大地震。

很多普通人看到这条新闻，会觉得这些理论距离自己很远，看不懂专业名词，下意识划走。但实际上，我们现在使用的各类软件、数据库、人工智能模型、密码加密方案，背后都建立在计算难度的判断之上。ETH就像是理论计算机里面一条默认的规则，用来判断哪些问题天生就很难快速算出答案。


我先用大白话解释清楚ETH到底在说什么。计算机里面有一个经典难题叫做3‑SAT问题，简单理解就是，给你一堆逻辑条件，让计算机快速判断能不能找到一组答案，满足全部条件。指数时间假设ETH的核心观点是：像3‑SAT这类难题，不存在真正意义上的快速解法，最坏情况下的计算时间会随着变量数量呈指数级暴涨。哪怕程序员不断优化算法，也永远跨不过这道指数增长的高墙。

这个猜想被提出之后的二十多年时间里面，全球大量计算机学者默认ETH是成立的。数百篇学术论文，都是以ETH正确作为前提，推导其他各类问题的计算难度边界，图论、组合优化、数据库查询、生物基因计算，大量细分方向的研究成果，都是搭建在ETH这个地基之上。如果地基本身是错的，那么一大批过去的研究结论都需要重新审视、重新验算。


这次最让人震撼的地方，并不是单纯的猜想被挑战这件事，而是产出这个证明的主角是AI。OpenAI放出证明文件，并且使用Lean工具对证明做了形式化校验。没过几个小时，Anthropic紧跟着发布了自己版本的证明，并且说明整套核心推演是Claude模型在很少人工干预的情况下独立完成的。两份来自不同AI巨头的成果，几乎同时指向同一个结论：ETH不成立，存在亚指数时间的算法解决3‑SAT问题。

消息传到学术圈之后，反应是复杂的，并不是所有人直接选择相信这个结果。很多资深计算机科学家保持谨慎态度，他们表示，AI给出的证明还需要全世界顶尖学者长时间、反复地独立核验。AI给出推导，不等于结论已经板上钉钉。历史上，有很多轰动一时的数学证明，在后续同行仔细审查之后，发现里面藏着漏洞。现在学术界专门组建工作组，慢慢核对整套证明里面每一步逻辑是否严谨，这是科学研究必不可少的流程。

很多人会产生一个疑问：如果ETH真的被证伪，是不是意味着以后所有复杂难题都能飞快算出答案，密码会轻易被破解？这里我们需要理性区分理论突破和现实工程之间巨大的差距。就算理论层面证明存在更快的算法，并不代表当下立刻就能写出可以直接跑在电脑上、高效运行的程序。理论上可行，和工程上能够落地、成本可控，是完全不同的两件事，不用立刻担心日常使用的加密系统瞬间失效。

但是长远来看，它带来的改变是深远的。过去大家默认某些问题的难度上限很高，所以设计算法、搭建系统的时候，都是按照这个难度预期去做取舍。一旦ETH被确认是错的，工程师和科研人员看待难题的思路就会彻底改变，很多过去被认为几乎无解的优化方向，会重新迎来探索的机会，未来有可能催生一批效率更高的算法，给数据库、调度规划、人工智能训练等领域带来全新思路。

这件事带给我们的启发，远远不止计算机理论本身。长久以来，大家认为复杂数学、理论猜想的证明，是顶尖人类数学家专属的战场。而这一次，AI直接冲到基础科学最前沿，尝试完成过去只有人类顶尖学者才能挑战的工作。这也引出很多新的讨论：AI产出的科学证明，审核标准是什么？AI发现的成果，署名权、成果归属该怎么界定？未来人类科学家和AI之间，会形成什么样的协作模式？这些问题现在还没有统一答案。

当然我们也要客观看待，不能盲目神化AI。AI擅长在巨大的搜索空间里面寻找可能性，但它依然离不开人类科学家的审视与校验。AI可以快速给出一个推导结果，但是判断这个结果是否真的成立，依然需要人类学者依靠深厚的专业功底仔细甄别。AI是非常强大的科研辅助工具，但还不能完全替代科学家独立完成全部科研闭环。

基础科学的每一次重大突破，往往都会经历质疑、验证、反复讨论的漫长过程。ETH猜想是否真正被推翻，最终的判定权不在AI公司的宣传文稿里面，而在全世界理论计算机科学家持续严谨的验算之中。无论最终这份证明是否能够经受住全部考验，这次事件本身已经标志着一个新的阶段到来：人工智能正式深度介入最硬核的基础数学与理论计算机研究，人类探索科学的方式正在悄悄发生改变。

科技的边界一直在不断被刷新，曾经被认定牢不可破的假设，在新工具面前，也有可能迎来重新审视。对于普通人来说，不用纠结复杂的公式，我们可以看到一个清晰趋势：AI的能力不再局限于写文案、生成图片，正在向着最前沿基础科学探索持续延伸。

你觉得未来AI会不会越来越多地攻克各类重大数学猜想？欢迎在评论区说说你的看法。

关注：四嫂分享更多