2026 年 9 月 8 日，OpenAI 宣布用约 1 万个 AI 智能体解开了悬置 90 年的千禧年数学难题。但这并非一次皆大欢喜的技术突破。Clay 数学研究所随后回应，按规则 100 万美元奖金最早也要等到 2029 年才能进入评估环节。百年无解的命题被算力在五天内攻破，而人类社会的接受系统尚未准备好处理这种速度。
流体运动难题悬置了90年
2000 年 5 月 24 日，Clay 数学研究所公布了 7 道千禧年数学难题，并为每题悬赏 100 万美元。Navier-Stokes 方程是其中一道经典力学题。它描述流体运动的微观规律，支撑着飞机设计、天气预报及人体血流研究。1934 年，数学家 Jean Leray 证明了该方程的解在广义意义下存在。但对于三维不可压流体，其解是否会在有限时间内出现流速无限增大的奇点，90 年来始终处于无解状态。这道题目的门槛极高。数学界缺乏处理三维流体剧烈变化的有效工具，只能将其长期搁置。
图：湍流射流的伪彩图像。Navier-Stokes 方程描述的正是这种运动，待解的问题是它会不会在有限时间内失去光滑性。来源：Wikimedia Commons / C. Fukushima、J. Westerweel，代尔夫特理工大学
1500万美元算力撕开解题缺口
OpenAI 在《On the Navier–Stokes Millennium Prize Problem》中披露，他们调度了约 1 万个 AI 智能体，启用内部未公开的模型进行并发证明。整个工程在 9 月 1 日启动，用 88 小时得出结果。随后 GPT-6 Astra 花费 17 小时完成了 Lean 形式化验证。
项目全程共发出 490 万条消息，总计输出 3000 亿 token。其中 Navier-Stokes 证明部分就占据了 270 万条消息与 1300 亿 token。按公开 API 价格折算，此次运行的算力成本高达 1500 万美元。庞大的资源消耗重塑了逻辑推演，证明过程变成了一场算力密集型的工程战。
模型给出的结论非常明确：初始静止的光滑流体，能够在有限时间内发展出奇点。前提是流体始终受光滑外力且能量有限。其证明给出的解是一个向内螺旋、轴向拉长、越来越细的涡结构。OpenAI 在报告中将其形象地比作「意大利面」。
机器产出的代码在 Lean 环境中编译通过，但这仅意味着陈述形式被接受。这不保证定理陈述在数学意义上无误，也无法排除证明过程利用了 Lean 漏洞的可能。五个月前，社区就有形式化项目因底层缺陷爆出假阳性结果。机器可以快速给出答案，但证明的有效性仍然依赖人类对其逻辑基础的二次审视。
图：证明中的涡结构：向内螺旋、轴向拉伸，中心不断收缩同时加速，而总能量始终有限。来源：OpenAI
优先权争议暴露出新漏洞
这道难题的破解过程还卷入了一场粗糙的优先权争夺。NYU 教授 Tristan Buckmaster 与 Anthropic 员工 Levent Alpöge 曾耗时一年开展相关研究。他们在 8 月 15 日取得了 Boussinesq 与 Euler 方程的初步结果。9 月 3 日，Buckmaster 听闻传言后主动致信 OpenAI。三天后 OpenAI 的 Sebastien Bubeck 在通话中提出联合方案，却两次要求将 Alpöge 剔除出名单。理由仅仅是他供职于竞争对手。这种排他要求挑战了学术界自由合作的底线。
Buckmaster 断然拒绝并公开了通信记录。OpenAI 随后发文回应，声称团队在 9 月 1 日听到传闻后才紧急立项，坚称未通过直接途径获取对方的工作内容。但声明中也留有余地。OpenAI 称无法排除由用户数据派生的去标识化数据帮助改进了模型的可能。去标识化数据是否输送了灵感，目前没有任何一方能证否。
传言本身变成了一种新的系统级漏洞。正如开发者 Simon Willison 所引用的观点，只要知道某道题已被解出，就足以驱动其他团队抢先复现。数百万美元算力将被投入这场竞速。算力竞赛不仅改变了解题方式，更改变了科研竞争的基本规则。
委员会刻意保持不着急
面对如此震撼的技术展示，学术机构的反应显得格外冷峻。Clay 数学研究所在 9 月 11 日的公告中对「OpenAI」只字未提。公告仅表示该难题「似乎已经被解决」（apparently been settled）。HN 社区里的高赞评论指出：apparently 这个词承载着学术界的全部重量。
公告特意强调，评估程序是刻意不着急的。按照规则，研究成果必须在合格的数学期刊上发表。发布在自家官网或传到 arXiv 统统不算数。成果发表后还需等满两年，Clay 才会正式启动评估流程。按此推算，即使所有审稿环节一路绿灯，该成果具备评奖资格最早也要等到 2029 年。
25 位菲尔兹奖得主近期联署了一封公开信。著名数学家 Terence Tao 转发了相关文章，这场事件的影响力已脱离单一证明范畴。学术界讨论的核心不再是具体某题的对错。大家开始关注未来谁有资格定义数学问题，谁又有资格判定正确性。AI 已经把这道理工科最硬的题做出来了，可奖金的发放权还锁在人类的评议程序里。这道时间差源于学术共同体刻意保留的慢速审核机制：机器产出的真理必须等待人类社会建立起与之匹配的理解能力。
参考链接：
- OpenAI On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute Announcement
- Tristan Buckmaster Public Statement
- Hacker News Discussion
- 25 Fields Medalists Open Letter
