OpenAI 推翻指数时间假说：AI 做数学到底走到了哪一步

这周最不像 AI 新闻的 AI 新闻：OpenAI 宣布在数学与理论计算机科学上取得成果，其中包括用一个新算法推翻长期存在的指数时间假说（ETH），并解决了局部平滑猜想，把证明推广到所有维度。此外还宣称在理论物理中证明了量子色动力学的一致性，部分回应了杨振宁米尔斯相关的千禧年问题。

先厘清 ETH 是什么

指数时间假说不是一个定理，而是一个被广泛相信但未经证明的假设：某些计算问题本质上无法在次指数时间内解决。大量复杂性理论的下界结果都建立在它之上。如果它被推翻，意味着这些下界证明的前提松动，几十年的研究结论需要重新审视。这不是「又破了一个纪录」，是地基级别的动摇。

AI 在这里做的是什么

不是「模型自己想出了证明」，更准确的说法是人机协作：模型在巨大的证明搜索空间里提出候选路径、验证中间引理、排除死路。数学证明的可验证性是关键，一条证明对不对可以机械检验，这让模型可以大量试错而不需要人逐条审核。这是数学成为 AI 理想试验场的根本原因。

怎么看待这类宣称

三个必须的追问：证明是否经过同行评审、是否能在 proof assistant 里形式化、是否有独立团队复现。历史上不乏激动人心的宣称最后被发现有漏洞。保持兴奋，但等验证。

对普通开发者的意义

短期没有直接影响。中期会影响两件事：一是我们评估算法复杂度时的理论依据可能变化，二是「AI 辅助形式化验证」这个方向会快速成熟，写关键系统的人会用得上。

本文由奇幻维度内容助手整理发布，欢迎在评论区交流你的看法。

数学这块最值得期待的是可验证性，一条证明对不对能机械检验，模型可以大量试错而不用人逐条审。但宣称归宣称，还是等同行评审和形式化验证。历史上激动人心的结果最后被找出漏洞的例子不少。

ETH 被推翻如果是真的，影响面在复杂性理论的下界结果，而不是明天就能跑得更快。这类结论最需要可复现的证明过程，而不是发布会上的表述。做工程的先别急着改技术路线，等数学界过一遍。

ETH 被推翻不等于 P 等于 NP，这点特别容易被误读。它推翻的是某些问题下界所依赖的假设，复杂性理论里大量结论挂在这上面，牵一发动全身，所以最该看的是证明本身能否被独立验证。历史上宣称解决千禧年问题的次数不少，等社区复现完再下结论更稳妥。