推翻 27 年地基还是学术公关？OpenAI 宣称攻克理论难题，请原作者亲自核查 AI 证明

全世界几百篇计算机算法论文，可能要把自己的地基重新挖开了。 1999 年，两位学者给计算机界立了一条铁律：有些题随着条件增加，找答案的时间注定要翻倍暴涨，谁也别想走捷径。 这条铁律叫指数时间假设。 二十七年来，大家干脆把它当成默认前提，写了几百篇论文去证明别的问题“快不了”。 结果 10 月 26 日，OpenAI 突然把一份新论文甩到了网上。 它宣称：内部模型找到了一种新算法，把这条立了二十七年的假设推翻了。 更绝的是，OpenAI 转身把论文和代码直接打包，寄给了当年提出这个假设的学者本人： 请您二位牵头，帮我们核查一下，看看我们家 AI 到底有没有算错。

这个所谓的指数时间假设，到底卡住了什么？ 它盯上的是一类被称为可满足性的逻辑题。 题目其实很简单：给你一堆由“或者”连起来的条件，问能不能找出一组真假组合，让所有条件同时成立。 听着不复杂，难就难在规模一扩大，找答案就成了噩梦。 三个变量，只有八种可能，计算机一眨眼就试完了。 要是变成六十个变量呢？ 二的六十次方，可能性的数量已经超过了地球上所有沙子的总和。 哪怕动用全球最强的超级计算机，一个个试过去也得算到宇宙毁灭。 当年的假设断言：这类题目绝不可能有本质上更快的解法，耗时注定翻倍式增长。

那 OpenAI 的 AI 到底做出了什么？ 它写出了一个新算法。 这个算法依然慢得让人头皮发麻，拿去实际电脑里跑大题目，依然慢如蜗牛。 它没有证明所有难题都有快速解法，完全不等于破解了计算机终极难题 P=NP，更不会动摇现在的银行与互联网加密。 既然依然这么慢，为什么说它推翻了假设？ 因为在纯理论世界里，哪怕是万分之一毫米的松动，也能把铁律砸得粉碎。 新算法的耗时增长曲线，比指数时间假设断言的翻倍底线，慢了那么一丁点。 从严格的指数级，被硬生生压缩到了次指数级。 只要迈过了这条线，哪怕实际运行依然算不动，在数学上，那堵立了二十七年的承重墙就已经塌了。

而且 OpenAI 这一天不只扔了这一颗雷。 它一口气在三个硬核领域宣布了重大战果。 数学上，2025 年数学家王虹和 Joshua Zahl 刚艰难证明了挂谷猜想的三维情形，AI 宣称证明了一个更强猜想，顺带直接拿下了所有维度。 物理上，它碰了克雷数学研究所悬赏 100 万美元的千禧年难题：四维杨米尔斯理论。 这道题要求证明两件事：理论在数学上严格存在，以及最轻的粒子拥有质量间隙。 OpenAI 称模型把前一件事情彻底证了出来，量子色动力学在数学上能够成立。

三门学科同时告捷，甚至碰了两个困扰人类几十年的难题。 换作平时，科技圈早就开始全网狂欢了。 但这趟公开之后，学术界的第一反应没有欢呼，反倒满是戒备。 大家为什么这么谨慎？ 因为就在一个月前，全世界学者才刚被它折腾过一次。 9 月份，OpenAI 突然高调宣布解决纳维斯托克斯方程的平滑性难题，也是千禧年大奖之一。 结果很快引来轩然大波，不仅撞上了人类同行还没正式公开的研究，代码推导里还被同行翻出了一堆漏洞。 到了 10 月 6 日更离谱，OpenAI 突然在代码仓库里狂抛了 722 篇 AI 写的数学论文。 722 篇是什么概念？ 相当于一个顶尖大学数学系几十年的全部产出，被它一天倒进了学术界。 全球科学家还没把目录翻完，就发现基础引理存在连锁错误，OpenAI 次日只能灰头土脸撤回了 3 篇。 把未经核实的机器草稿当公关通稿发出来，把全球同行当成免费找茬工具，整个数学界当时直接炸了锅。

摔了这两跤之后，OpenAI 这次把发布规则全改了。 怎么挽回信誉？它换了一套彻底透明的玩法。 第一，不签任何保密协议，OpenAI 完全不要学术署名，把全部荣誉留给独立核查的学者。 第二，物理证明暂不公开，直接交给诺贝尔物理学奖得主戴维·格罗斯带队的专家组，请顶级物理学家自己消化、自己写论文，不搞半生不熟的通稿轰炸。 第三，推翻谁的假设，就请谁来主审。 1999 年提出指数时间假设的，正是计算机学者 Impagliazzo 和 Paturi。 OpenAI 索性找上这两位原作者，再拉上麻省理工学院的算法顶级学者 Ryan Williams，请他们亲自牵头核验。 两位原作者也很有风度，立刻发了公开信表态：愿意核查，但这绝不代表我们已经给 AI 的成果背书。

可上百页满是复杂符号的证明，专家们怎么看得过来？ 这就引出了这次最关键的一道防线：Lean。 过去数学家看论文，全是用自然语言写的，里面夹杂着大量的“显然”、“易得”、“同理”。 遇到极度复杂的逻辑跳跃，哪怕顶尖同行审上几个月，也可能漏掉一个隐蔽的漏洞。 而 Lean 是一种交互式证明检查程序。 它把抽象的数学推导，直接变成了编写计算机代码。 每一个命题、每一步推导，都必须拆成最严密的逻辑颗粒，一步一步喂给编译器。 推导但凡错了一点点，代码立刻报错，根本不可能通过编译。 OpenAI 这次把推翻假设的完整 Lean 代码全部放在 GitHub 上，任何人都可以下载复核。 低级的逻辑幻觉，在代码编译那一刻就已经被机器死死按住了。

那是不是说代码通过编译，就等于证明百分之百成立了？ 还真不能高兴得太早。 Lean 能够保证从前一步推到后一步没有逻辑硬伤，但它管不了起点。 如果 AI 模型在给问题写代码定义的时候，对现实中的那个数学概念理解偏了一毫米，推导再严密，证出来的也是另一道题。 这就是为什么哪怕有最先进的机器验证，依然必须把尺子交回人类学者手里。 必须由当年立下假设的人，一字一句确认它面对的是不是真正的那个难题。

从一口气砸出 722 篇机器预印本，到把代码和裁判权老老实实送回学者桌前，学术界和 AI 的磨合格局已经变了。 机器的生产力几乎没有上限，人类同行的审阅带宽却极度有限。 二十七年的大厦到底塌没塌，答案不在发布会的宣讲里。 它在公开的代码库里，在老学者们挑剔的纸笔之间。