随手先关注，不错过每日AI热讯速递

9 月 8 日，OpenAI 在官网发布博客《On the Navier–Stokes Millennium Prize Problem》，宣布其内部一个尚未公开的模型指挥约 1 万个并发智能体，在约 88 小时内给出了纳维–斯托克斯存在性与光滑性问题的一个解答[1]。

随公告一并发布的，还有证明文本与 Lean 形式化验证。

①

千禧年大奖难题（由 Clay 数学研究所于 2000 年提出的七个悬赏 100 万美元的顶级数学未解之题）是这次被解答的对象。

它问的是：描述水、空气等流体运动的纳维–斯托克斯方程，在给定光滑初始条件时，解是否永远保持光滑？

OpenAI 的答案是否定的——它构造出一个向内旋转并不断加速的涡流，也就是数学家所说的有限时间爆破（finite-time blowup，指解在有限时间内突然变得无穷大、方程失效），而流体能量始终保持有界[1]。

这是七个千禧年难题之一，每题悬赏 100 万美元[2]。

OpenAI 在官博中写道，

「this is not a culmination, but rather a snapshot in time, of progress on AI development」[1]

——这不是终点，只是 AI 发展进程中的一个时间切片。

并明确表示不打算申领奖金

打开网易新闻 查看精彩图片

图：OpenAI 官方纳维-斯托克斯博客一文中的局部不可压缩运动示意图，标注「axial stretching」（轴向拉伸）与「inward spiral」（向内螺旋）（来源：[1]）

②

纳维–斯托克斯一题消耗了约 1300 亿输出 token270 万条消息；全部尝试的问题合计约3000 亿输出 token490 万条消息[1]。

TechCrunch 按当前GPT-6 Astra公开费率折算，这一周工作量约合2250 万美元[3]。

研究负责人Mark Chen则表示算力成本「in the millions of dollars」，也就是以百万美元计[4]。

Lean形式化验证额外花了17 小时，由GPT-6 Astra完成[1]。

③

Sébastien Bubeck在与 WIRED 等媒体的沟通会上否认看过两人的工作——无论是研究人员还是智能体，在成果公开前都没看过任何内容[4]。

OpenAI 数学家Ven Chandrasekaran强调，公司解法

「differs fundamentally from the approach Buckmaster and Alpöge took」[4]——与 Buckmaster 和 Alpöge 所走的路子根本不同。

④

争议焦点在发现顺序与学术伦理。Buckmaster在公开声明中写道，他于9 月 3 日主动联系 OpenAI 说明情况[4]。

OpenAI 则在9 月 6 日完成 Lean 验证后才联系他与 Alpöge；Buckmaster 称，通话时 OpenAI 已握有完整证明。

Buckmaster 转述，OpenAI 提出两套方案：要么他与 Alpöge 先发欧拉结果、OpenAI 隔日再发；要么他单独发布纳维–斯托克斯结果，并致谢 OpenAI 的内部模型[4]。

两套方案中，Bubeck 两次主张把 Alpöge 从作者名单中移除——此为 Buckmaster 的单方陈述，OpenAI 未逐条确认。

理由据他转述，是 Alpöge 在 Anthropic 任职「so annoying」，说白了就是嫌他碍事[4]。

遭拒后，Bubeck 的两句话被原样记在 TechCrunch 报道里：

「Why would you ruin your career?」与「If you don't want me to be nice, then I don't have to be nice.」[3]

——你何苦毁掉自己的前程，以及你若不想我客气，那我也不必客气。

更敏感的是数据：Buckmaster 与Alpöge全程把草稿写进了 OpenAI Codex 会话。

OpenAI 在官博中承认，

「we cannot rule out that de-identified data derived from their usage of our products helped improve our models」[1]

——无法排除两人使用其产品所产生的去标识化数据帮助改进了模型

所以大家认为 OpenAI 这次算合理竞争，还是越过了数据伦理的线？欢迎在评论区分享你的看法。

参考来源：

[1] On the Navier–Stokes Millennium Prize Problemhttps://openai.com/index/navier-stokes-solution

[2] Drama swirls around OpenAI's legendary mathematical milestonehttps://theverge.com/ai-artificial-intelligence/991710/openai-navier-stokes-solution

[3] OpenAI fought dirty on career-making math problem, says NYU mathematicianhttps://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician

[4] OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paperhttps://the-decoder.com/openai-researcher-allegedly-pressured-mathematician-to-drop-anthropic-co-author-from-math-breakthrough-paper

欢迎分享、点赞、推荐

一起拥抱AI