OpenAI晒出千禧年难题证明，100万美元奖金却领不走

2026年9月8日，OpenAI 在官方内容网络上放出一份165页的数学论文，作者栏写着"OpenAI"，宣称给出纳维-斯托克斯方程（Navier-Stokes，简称 N-S 方程，描述水、空气等黏性流体如何运动的基础方程）存在性与光滑性问题的一个解答，并同时公开一套用数学证明语言 Lean 编写的形式化代码——Lean 是一种可以把证明拆成机器能逐条复核的形式化系统，相当于把推理过程交给计算机验算。这道题是克雷数学研究所（CMI）2000年设立的七大"千禧年大奖难题"之一，解出一题的奖金是100万美元。

OpenAI 明确表示不打算申领这笔奖金。更关键的事实是：按 CMI 官网公布的授奖规则，一项解答必须先在合格刊物上发表、发表之日起满两年、并且"获得全球数学界的普遍接受"，三个条件同时满足才会被受理。这份论文公开尚不足一天，三道门槛一道都没过。所以这不是"破解千禧年难题"，而是"提交了一份待审答卷"。

一份165页论文，究竟证明了什么

N-S 方程写于19世纪，它在工程上极其成功，飞机、管道、气象、血流模拟每天都在用；但它在数学上缺一块地基：从平滑且能量有限的初始状态出发，三维流体的运动能否永远保持平滑，还是可能在有限时间内出现奇点、让速度冲到无穷大从而"爆破"。1934年，法国数学家让·勒雷证明了在一定条件下三维 N-S 方程存在可以延续到任意时间的"弱解"——一种允许不够光滑、只在积分意义上满足方程的广义解。也就是说，"某种解一直存在"和"流体的速度始终平滑"之间，这道缺口已经悬置约90年。

OpenAI 这份论文走的是反例方向。据其披露与媒体转述，论文结论是：对任意正黏性，都可以构造一团从静止开始运动的三维不可压缩流体，在光滑外力（在时间和空间上无限次可微、且只在有限时空范围内起作用）的作用下，让局部速度在有限时间内变得无界，而总动能始终保持有界。翻译成大白话：即使起点和外力都足够漂亮，黏性也未必拦得住奇点的形成。机理是超高速运动集中在一个不断缩小的涡旋核心里，核心的半径比高度缩得更快，参与高速运动的流体体积缩得足够快，于是"速度无穷大"和"能量有限"可以同时成立。

这一步里最难的不是造出一个会爆破的速度场，而是让外力本身也保持光滑——先拼出爆破解、再把方程的不平衡项全部塞进外力，会得到同样带奇性的外力，等于什么也没证明。论文的技术核心是在涡旋外围加入振荡脉冲，让微小扰动从背景流的剪切中获取能量、增长后输送动量，逐级抵消误差。

必须看清边界。据 OpenAI 一方及媒体转述，CMI 该题的正式表述接受四种解答，其中 C、D 两项允许构造"带光滑外力的爆破反例"，分别对应三维全空间与周期空间两种设定；OpenAI 攻的是这两项。它并没有回答"不给任何外力时，三维流体会不会自己爆破"，也未回答全局正则性。把这份结果直接等同于"千禧年难题被解决"，是宣传语，不是学术结论。

数百万美元算力，对100万美元奖金

真正值得财经读者停下来看的是成本结构。OpenAI 研究员 Noam Brown 在社交平台承认，这项成果花费了"数百万美元"。而 CMI 为每道千禧年难题设置的奖金是100万美元，七个问题合计的奖池是700万美元——单是这一次投入，就已经数倍于悬赏。OpenAI 同时表态不打算申领，也等于默认了这笔账在商业上不该用奖金来衡量。

资源口径同样被公开：完成 N-S 解答的小组包含约1万个并发智能体，使用的是能力显著高于 GPT-6 Astra、仍在训练中的内部模型；智能体首次启动约88小时后得到解答，随后由 GPT-6 Astra 另花约17小时完成 Lean 形式化与验证；整个项目产生约270万条消息、消耗约1300亿个输出 token。有中文财经媒体按 token 量把成本折算成约1000万美元，需要注意这是媒体折算，不是 OpenAI 给出的口径。

一家公司为一道没有专利、没有订单、不能变现的数学题砸下超过奖金数倍的算力，图什么？三条解释路径，都指向同一件事：AI 竞争的证据标准正在升级。模型跑分、写代码、答推理题的榜单已经被应试化质疑稀释，而一份机器可查、同行可逐行核验的数学证明，是外部无法稀释的能力背书；"1万个智能体并联跑88小时长时程任务、再自我形式化校验"的工程叙事，比任何单项 benchmark 都更适合讲给企业客户和出资人听；而数学本身是 AI 进入制药、材料、气象、芯片验证等科研场景的通行证。OpenAI 买下的不是奖金，是一个别人暂时做不出的信号。

抢跑争议：另一批数学家在质疑什么

这次发布同时点燃了一场优先权纠纷。纽约大学数学家 Tristan Buckmaster 与 Anthropic 的数学家 Levent Alpöge 此前公布了包括受迫欧拉方程爆破在内的研究。据财联社报道，Buckmaster 在声明中提出三点质疑：OpenAI 这项研究的启动过程、其模型是否接触过两人的 Codex 草稿，以及双方讨论过的发布与署名安排。

OpenAI 的回应是：研究人员和智能体在两人公开成果之前没有以任何方式看到其研究，也没有为解决这一问题专门访问特定用户的数据；但公司同时承认，无法排除两人使用产品所产生的去标识化数据曾帮助改进模型；并强调双方证明存在显著差异，欧拉方程那部分结果分别涉及有外力和无外力两种情形。

这是一场尚无结论的争议，双方说法都应保留归因，任何"数据窃取"或"造假"的定性都超出了现有证据。菲尔兹奖得主 Timothy Gowers 称这项成果是"里程碑"，但也自陈尚未审阅论文细节——这大致就是当下数学界的集体姿态：愿意为方向鼓掌，结论要等逐行检查。截至发稿，CMI 的问题页面仍将这一难题列为未解决。

不看热闹的话，该盯这三个信号

第一，论文是否进入同行评审轨道。目前的公开方式不等同于发表，CMI 规则里的"两年计时"要从合格刊物发表才起算，所以任何"已经解决"的说法在时间上都不成立。

第二，数学家是否接受"有外力"这个前提落在题目要求之内。形式化代码能证明的是推理自洽，不能自动证明"这正是题目所要的那类结果"，这一步只能由人来判断。

第三，Buckmaster—Alpöge 一方的平行工作是否公开，以及是否有第三方团队用非 OpenAI 的系统独立复现或改进这一构造。可复现性是这类成果唯一能自证清白的方式。

人类花约90年等待一个答案，OpenAI 用88小时、约1万个智能体和约1300亿个输出 token 交出一份尚待判卷的答卷。数学界盖不盖这个章还是未知数；已经被证明的是，长时程智能体系统第一次跑完了一场原本要占据数学家整个职业生涯的研究马拉松——而这场马拉松的成本，已经贵过它的奖金。