AI用88小时写166页证明，人类数学家7周才读懂思路

9月8日，OpenAI宣称攻克千禧难题纳维－斯托克斯方程。约一万个AI智能体，88小时，166页。论文公布近7周后，人类开始读懂其思路。10月26日，数学家Scott Armstrong在X上表示，几组偏微分方程专家已基本读懂证明思路，评价称“它也许超出了人类原本能想到的范围，但没有超出人类的理解”。Armstrong是法国国家科学研究中心研究主任、纽约大学库朗研究所数学教授，本人研究流体湍流。

OpenAI用尚未发布的新模型调动约1万个智能体同时攻关，88小时内互发约270万条消息，生成约1300亿个token；又过17小时，GPT-6 Astra将证明翻译成Lean语言交机器逐行检查，算力账单以百万美元计。10月14日，《通讯-物理》刊发社论称，专家相信它是对的，但还没人真正理解它。

质疑随之而来。有网友认为模型学过海量文献，结果“合情合理”，并估算OpenAI花了约1500万美元算力。Armstrong回击称，谁说这个结果不意外谁就是在胡说。双方真正在争的是AI到底有没有新想法。

论文核心是构造流体“爆炸”：一杯静止的水被平滑外力推动，中心漩涡越缩越小、速度越来越快，最终冲向无穷大，而整杯水总动能始终有限。难点在于外力必须始终温和。单纯画收缩漩涡，所需外力也会冲向无穷大；论文加入有节奏的小波动抵消失控的力，再修补偏差。此前数学家试过凸积分等路线，外界起初以为AI沿用旧路，但多组专家细看后认为方法不同。Armstrong指出，AI证明与凸积分最像，区别在于凸积分的振荡靠人手工造，AI则设计流体不稳定性，让水自己造出小波动，再反过来推动漩涡收缩。他认为用流体自身不稳定性“造力”此前没有先例，其中一些想法1983年文献出现过，但这样组合“绝对疯狂”，文献中从未有过。AI没有发明新工具，而是用旧工具走出人类没走过的路。

9月下旬，复旦大学数学家雷震与合作者Xiao Ren发布解读预印本，重写原稿中构造流动轮廓的部分，称OpenAI工作是纳维－斯托克斯千禧难题的重大进展。10月6日，Bastounis、Circelli和Hansen发表预印本，指出原稿与Lean版本中部分陈述和推导存在差异，但未判断文字证明是否正确，因此不能简化为“证明被推翻”。截至目前，克雷研究所仍将这道题列为“进行中”，OpenAI也表示不打算领取100万美元奖金。

OpenAI声称完成的是允许平滑外力的两种命题；无外力情形是下一个新目标，按Constantin等人新论文分析，这套构造不能直接推广。人类眼下还有三份作业：完整好读的讲解、逐条核查对照说明、提炼方法用于其他问题。AI这一棒是88小时、1万个智能体、数百万美元；人类接棒后的读懂、核查、讲清楚，每一步都需要专家投入时间。千禧难题的下半场，主要考的是人类。