OpenAI宣称解决千禧年数学难题，却深陷学术剽窃争议

纳维-斯托克斯方程是描述流体（如水和空气）随时间流动规律的核心方程组，在流体动力学领域应用广泛。然而长期以来，数学家和物理学家并未完全理解这组方程——尤其不清楚在某些极端条件下，方程是否会「崩溃」并预测出物理上不可能的状态，例如流体速度趋于无穷大。克莱数学研究所于2000年将其列为七大千禧年大奖难题之一，每道题悬赏百万美元。

就在OpenAI发布公告的前一天，巴克马斯特在社交平台Mastodon上发布了一份证明，表明纳维-斯托克斯方程的简化版本确实存在「崩溃」情形，这已是该难题的重大进展。而OpenAI随后展示的证明则更进一步，证明完整方程同样存在崩溃情形。该证明由一个性能远超上周刚发布的Astra模型的内部模型完成，OpenAI表示不打算申领百万美元奖金。

争议的核心在于署名与数据使用问题。巴克马斯特公开了一份文件，详述了他与OpenAI员工沟通的经过：对方给出两个选项，要么他和阿尔珀格先发布成果、OpenAI次日跟进，要么与OpenAI合作发表论文，但因阿尔珀格供职于竞争对手Anthropic而将其排除在作者名单之外。巴克马斯特还询问OpenAI是否获取了他们与AI模型交互的对话记录，对方否认；但当被问及模型是否曾以这些记录为训练数据时，OpenAI员工未予回应。

从技术层面看，两组证明均采用了数学家迭戈·科尔多瓦与路易斯·马丁内斯-佐罗阿开创的研究路径。布朗大学数学教授哈维尔·戈麦斯-塞拉诺指出，这一路径是解决纳维-斯托克斯问题的几条有望突破的方向之一，因此两个团队独立选择同一路径并非不可能，但也不能排除OpenAI的工作受到了巴克马斯特和阿尔珀格研究的影响。OpenAI的Sébastien Bubeck在新闻发布会上坦承，团队正是在听到关于两人研究的传言后才决定攻克这一问题。

此次突破的代价极为高昂。据Bubeck和陈在发布会上透露，团队同时运行了约一万个AI智能体，耗资数百万美元，才在数天内完成了巴克马斯特和阿尔珀格近一年仍未能完全解决的问题。这一对比折射出一个令人不安的现实：顶级数学研究正在向拥有海量算力和内部专属模型的少数前沿AI公司集中，而这些公司往往并不遵循学术界赖以运转的协作规范。

多位研究人员近期向媒体反映，数学界正弥漫着一股悲观情绪。人机协作的潜力固然令人振奋——巴克马斯特和阿尔珀格的工作本身已是重要进展——但当最终的突破需要普通学者根本无法企及的资源时，人类数学家在这场变革中的角色便愈发模糊。如果「研究品味」这一人类独有的判断力最终也只是为AI公司的暴力计算提供起点，那么数学这门学科的未来走向，值得整个学界认真审视。

要点

• OpenAI宣称用约一万个并发AI智能体、耗资数百万美元，在数天内解决了纳维-斯托克斯千禧年难题，但拒绝申领百万美元奖金
• 纽约大学数学家巴克马斯特指控OpenAI在未给予适当署名的情况下借助了他与阿尔珀格历时近一年的研究成果，OpenAI否认但承认曾听闻两人研究的传言
• 两组证明均采用同一数学路径，OpenAI是否获取或训练于两人的对话记录仍存疑，公司对部分关键问题未予正面回应
• 此次事件揭示出前沿AI公司与学术界在协作规范、数据使用和署名伦理上的深层冲突
• 顶级数学研究所需的算力正向少数科技巨头高度集中，人类数学家在AI主导的研究范式中的定位面临根本性挑战