OpenAI 说模型解开了纳维-斯托克斯，数学圈第一反应是问论文谁写的

纳维-斯托克斯方程的存在性与光滑性，是克雷数学研究所七个千禧年大奖难题里的一个，悬赏一百万美元，挂了二十多年没人拿走。9 月 8 日，OpenAI 说它的一个内部模型把这题做出来了。

给出的结论方向是奇点存在：初始光滑的三维流体，在有限时间内会出现奇点。论文和 Lean 形式化版本一起放了出来。

形式化这一步是关键。Lean 是证明助手，一份证明只要在 Lean 里通过检查，逻辑链条上就没有藏含糊话的余地。数学界这几年对 AI 证明最大的意见就是“看起来对但没人愿意逐行验”，扔一份机器可验的版本出来，等于把这个理由堵死了一半。

OpenAI 那边还透露，干这活的模型比 GPT-6 Astra 更强，跑的时候大约有一万个智能体并发。

然后争议就来了。同一天有报道说，这个结果里用到了他人尚未公开的成果，抢先发了出来。这类指控在数学圈其实很敏感——预印本上线之前的工作在小圈子里流通是常态，谁先说、谁引用了谁，向来靠行规而不是靠版权。

接下来该看什么，其实很清楚。克雷研究所对千禧年难题有一套自己的规矩：论文要在有声望的期刊上发表，然后等两年，等同行把它翻烂。Lean 能证明逻辑没错，但证明的是“这份论文的推导是自洽的”，不是“这份论文回答的确实是那个问题”。定义有没有偷偷放宽、边界条件设得合不合理，还得人来看。

钱大概率不会很快发出去。但如果这份东西撑得住两年，AI 在数学里的位置就得重新写了。