OpenAI称AI用88小时攻克“千禧年难题”，能算真正“解题成功”了吗？AI会如何影响人类的基础科学研究？

一道悬了九十年的题被宣布用88小时拿下，我的第一反应不是鼓掌，是翻日历。9月8日OpenAI称，一个尚未公开的内部模型带着约一万个并发智能体，把纳维-斯托克斯存在性与光滑性问题证了出来，纽约时报次日跟进。激动是真的，可解题成功这四个字得拆开看。

往回看，这88小时，是谁的88小时？

计时起点是9月1日，模型被投到六道悬着的千禧年难题上，9月5日拿到结果。前面还垫着别的东西：约100个智能体先用50小时在去掉黏性项的欧拉方程上啃出有限时间奇点，这份证明回头又被当提示喂给后续智能体；拿到解后，上周刚发布的GPT-6 Astra再花17小时写成Lean形式化证明。整个过程跑掉约270万条消息、1300亿个输出token，Noam Brown承认算力就烧了数千万美元。

所以这88小时，是夹在数周训练和数日铺垫之间的一段净时间。它不像某个天才灵光一闪，倒像一万个人轮班挖了三天半，最后一个人把铲子插进土里。

谁来判卷

机器验证过了，是不是就等于数学界认了？Lean只解决一件事：每一步推导有没有偷偷跳步。前提里藏没藏猫腻，它不管。数学界的流程慢得让人着急：解答不能直接交给克雷数学研究所，得先在有国际声誉的数学期刊发表，满两年才启动审查，再由专家委员会逐行核验，2018年的修订还要求结果被数学界普遍接受。截至目前，克雷官网那道题仍标着未解决。

参照系在这儿：佩雷尔曼2002年贴出庞加莱猜想的证明，克雷2010年才认账，隔了八年，这是七个难题里唯一被解决的一个。出题的克雷数学研究所由美国商人兰登·T·克莱出资设立，2000年挑出七道题，每道悬赏100万美元。

我的判断是，眼下最准确的说法不是AI解决了千禧年难题，而是AI交上了一份待审的答卷。这话不性感，但经得起时间。

那它解的，是不是我们以为的那道题？

这套方程描述水流、空气这类流体怎么动，天气预报、机翼设计都靠它，题目本身没有实用价值，只追问一件事：它会不会在某些特殊情形下失效。克雷的官方表述开了四条路，A和B要求证明无外力时解永远光滑，C和D允许你构造光滑外力让方程在有限时间内撑不住。OpenAI选了C和D：那团流体从静止起步，涡旋向内卷吸又被轴向拉伸，速度在有限时间里冲到无界，总动能却还有限。

这就是那句很抓人的话的来历：物理定律可能在特定条件下不再成立，水可以自发爆炸。陶哲轩讲过更生活的版本：你在浴缸里泼水，水不会在你身上爆炸，也不会以光速飞溅，但潜在地它是可能发生的。数学家和物理学家并不慌：方程崩了，多半是它漏掉了真实流体里的某些效应，不是宇宙打算掀桌子。

健身房里的举重

还有一层尴尬。纽约大学柯朗研究所的Tristan Buckmaster与合作者Alpöge公开声明，两人沿同一条冷门路线做了一年，OpenAI得知后调来巨额算力平行推进，沟通过程中有人提出把供职于Anthropic的Alpöge从作者名单拿掉。OpenAI予以否认。我不站队，只讲一个事实：论文署名栏里只写着OpenAI。一家公司同时想当运动员、裁判和颁奖嘉宾，这种事本身就该被盯紧。

回到更大的问题：AI会怎么改基础科学研究？

陶哲轩把这些难题称作灯塔，说它们是吸引人类科学家投入的伟大的聚焦点。他的担心用一个比喻讲得最狠：解题付出的努力往往很有启发性，就像去健身房把同一个重量举一百次；现在AI能替你把题做了，却从中得不到任何东西，好比有台机器替你在健身房举重。机器练出肌肉，你的胳膊还是细的。

这不是否认AI有用，是承认它已经能做最难的事。OpenAI首席科学家帕乔基说，哪怕一个月前，他们也想不到会讨论一个千禧年难题。参与研究的陈立杰年初预测AI要到2028年前后才能解决一个千禧年问题，现实跑得更快。还有个细节值得一提：OpenAI声明不申领那100万美元，说成果的价值在于展示AI正成为推动前沿科学的引擎。花数百万美元，去赢一个自己不要的一百万，图什么，大家心里都有数。

我的看法更朴素：AI会把算出来的成本压到接近于零，想明白的溢价反而飙升。过去一个学者配一个模型，守着冷门路线干一年；现在一家公司能在一周里把一万个智能体扑上去。算力正在变成新的准入证，没人守的阵地会被扫一遍，个人学者的优先权更难保护。以后评价数学家，大概不再看他能不能把山爬上去，而是看他能不能讲清这座山为什么值得爬。

那天晚上，陶哲轩大概不会盯着浴缸看水会不会炸开。他会打开那份一百六十多页的证明，一行一行往里读，像几百年来所有数学家那样。机器已经把答案递上来了，人类还得自己把它读懂。