OpenAI的纳维-斯托克斯声明关乎数学之外

数学界的一场竞速

OpenAI 宣布，其一款尚未发布的 AI 模型找到了纳维-斯托克斯千禧年大奖问题的解法——这是数学界七道最棘手的未解难题之一，附带百万美元奖金，并以"毁人生涯"的凶名著称。

这一声明所处的背景与流体动力学毫无关联。9 月 1 日，OpenAI 的研究员们听到传闻，称其最强劲的对手 Anthropic 已接近解决两道千禧年问题。他们随即部署了一款开发中的模型，并派出了由 10,000 个 AI 智能体组成的" swarm"。短短 88 小时内，他们得到了结果；验证又花了 17 小时。

这并非数学应有的运作方式。但也许，这正是它现在的运作方式。

这道题究竟是什么

纳维-斯托克斯方程描述的是流体如何运动——水、空气、熔融金属、大气。它们在工程和科学中不可或缺。但我们仍未完全理解它们。

核心问题的表述极为简洁，求解却异常残酷：方程是否会在有限时间内产生奇点，即流体速度趋于无穷的点？在现实世界中，这永远不会发生——你可以不断放大观察水中，直到看见分子，而非无限速度。但这些方程本身是否容许这种情况？这便是千禧年大奖问题所在。

OpenAI 称，他们已证明：在某些条件下，破裂（blow-up）是可能发生的。美国数学学会将 AI 的贡献评价为解题过程的"最后一步"。该模型在数天内耗资数百万美元算力，并在此基础上推进了多位人类数学家的前期工作。

与之难度相当的 ABC 猜想，解法超过 500 页，整个数学社区花了六年才充分消化。而这次的解答仅在五天内由机器生成。

人类工作的底色

新闻稿没有着重强调这一点：OpenAI 并非独自完成这项工作。这一结果建立在人类数学家的基础之上。公司研究员曾与纽约大学的 Tristan Buckmaster 取得联系，他的研究对本题至关重要。

Buckmaster 在 OpenAI 宣布之前数小时发布了一份声明。他表示，自己与 Anthropic 员工 Levent Alpöge 一直在其研究中使用了 OpenAI 公开可用的模型。当 Buckmaster 询问其尚未发表的工作是否被 OpenAI 的模型所使用时，他未得到任何答复。

然而据 Buckmaster 所述，OpenAI 提出与其合作署名这一成果——条件是去掉 Alpöge 的名字。Alpöge 供职于 Anthropic。OpenAI 否认曾提出此项要求。

德国数学家 Andreas Thom 提出了更广泛的担忧：OpenAI 的模型可能吞噬了人类尚未发表的研究成果，并将其作为 AI 生成内容呈现。公司坚称未访问任何特定用户数据。这一问题至今悬而未决。

数学家为何警觉

美籍澳大利亚数学家陶哲轩对某些 AI 辅助研究趋势的批评锋芒毕露，他将此问题表述得十分清晰。他警告不要"无差别地动用强大的解题提取工具"，因其将短期解题置于真正的理解之上。

担忧的不仅仅是署名权，更是激励机制本身。

如果研究人员知道，自己的研究一旦发布， rival 公司就会投入数百万美元算力和上千个 AI 智能体抢先取得突破，那么开放数学的学术文化将何去何从？研究者分享发现、彼此构建、逐步积累理解。这一体系仰赖信任。而企业的速度逻辑与它背道而驰。

正如陶哲轩所言，如果 AI 公司开始根据传闻竞速，学术社区或许干脆不再分享有前景的研究。下一波发现的基石将就此消散。

谁赢谁输

OpenAI 赢得了叙事。它将自己定位为一家人类无法完成——或者至少无法快速完成——的工作也能做到的公司。OpenAI 与 Anthropic 均朝着计划中的公开上市迈进。即便一道千禧年大奖问题的解答仍在等待正式验证，这同样是绝佳的广告素材。

Anthropic 至少在短期内输掉了叙事框架。其员工 Alpöge 距解答之近， arguably 超出公众想象。此刻该公司看上去更像是反应者而非先锋。

数学家们失去的是使他们的工作成为可能的条件。开放且可复现的科学不是一句口号——它是一个实践体系。它要求共享草稿、引用合作者、并在应得之处给予署名。如果这一体系遭到侵蚀，代价将由所有从事艰难思考的人共同承担。

Buckmaster 和 Alpöge 正处于这场风暴的中心。他们的私下协作似乎构成了 OpenAI 成果的素材来源。这究竟属于使用专有数据，还是仅仅与公共文献的正当接触，是一个尚未得到回答的法律与伦理问题。

接下来会发生什么

克莱数学研究所有一条规则：千禧年大奖的提交成果须在发表至少两年后才能授予。纳维-斯托克斯问题在官方层面仍然悬而未决。无论 OpenAI 产出了什么，都将接受 scrutiny，而任何数量的算力都无法为此捷径加速。

但先例已经树立。AI 公司现在知道，将计算资源倾注于一个传闻，便能在数天内 Producing 一条足以抢占头条的成果。人类研究者也心知肚明：自己的未发表工作可能在未经同意、未获署名、无从申诉的情况下，成为助推这一进程的材料。

数学社区的回应将决定这是一次性的尴尬，还是一场结构性转变。如果研究者开始藏私，后果将远超新闻周期；如果他们继续分享，则需要新的保护——法律、制度与文化层面的——以确保速度不再等同于所有权。

OpenAI 的声明无论数学上是否站得住脚，都是一个里程碑。更深层的问题是：当发表竞速压倒了理解的习惯，什么样的研究生态得以幸存？