OpenAI 称，其尚未对外发布的一款模型在 88 小时内攻克了七大“千禧难题”之一，并给出纳维–斯托克斯方程在有限时间出现“爆破解”的证明。多位数学家随即指责，这一成果疑似抢先发布了他人尚未公开的研究。
要点概览：
- OpenAI 表示，大约 1 万个 AI 智能体协同，给出了流体方程在有限时间内失效的证明。
- 一名纽约大学教授称，OpenAI 直到得知他未发表结果的风声后才启动该项目。
- 克雷数学研究所尚未承认该证明，仍将该问题列为“未解”。
OpenAI 纳维–斯托克斯证明细节
OpenAI 于 9 月 8 日发布博文，称其内部系统证明了描述流体运动的纳维–斯托克斯方程在有限时间内可能“崩溃”。这一系统目前尚未对外开放。
据介绍，大约 1 万个自主智能体并行攻克这一问题，连续运行 88 小时后拼出了一套完整论证，形成的论文手稿超过 160 页。
这次冲刺启动于 9 月 1 日——当时业内传出，有两道“千禧难题”已被其他研究团队攻克。此后，GPT-6 Astra 又花了 17 小时，将相关证明形式化为 Lean 语言，以便对每一步逻辑进行机器验证。公司高管在接受采访时估算称，这次运算成本高达数百万美元。
延伸阅读：笔记本崩溃率 99%，亨特·拜登否认诈骗指控并指责“机器人水军”
Tristan Buckmaster 质疑署名与归功
纽约大学数学系教授 Tristan Buckmaster 在接受采访时指控，OpenAI 之所以突然大规模投入该问题，是在获悉他尚未发表的研究结果之后。他近一年时间一直与对手公司 Anthropic 的数学家 Levent Alpöge 合作攻关。
两人在推演自己证明的过程中，都大量借助了 OpenAI 的 Codex 助手。而按照 OpenAI 的默认条款，除非用户主动“选择退出”，公司有权使用这些交互数据训练模型。
Buckmaster 和 Alpöge 选择了一条极其狭窄、此前几乎无人涉足的技术路径，这使得 OpenAI 项目启动的时间点在他看来“颇为可疑”。Buckmaster 称，OpenAI 数学家 Sébastien Bubeck 曾提出一个折中方案：削弱甚至剥离 Alpöge 的署名权，并反问他“为何要毁掉自己的职业生涯”。
OpenAI 在声明中否认其研究人员或智能体在论文发表前接触过这对学者的具体工作，坚称并未使用任何“特定用户数据”来完成此次攻关。公司承认，去标识化的产品使用数据可能整体提升了模型能力，但强调双方证明在技术路径和结构上“存在显著差异”。
克雷研究所暂缓裁决
加州大学洛杉矶分校著名数学家 陶哲轩（Terence Tao） 在评论中肯定了 Buckmaster 与 Alpöge 的成果，但同时警告称，以算力“刷题”的竞赛式 AI 研究，可能会把数学变成“指标游戏”，而非真正的知识突破。
伦敦玛丽女王大学数学系教授 Abhishek Saha 则指出，这一事件正是传统数学界长期试图避免的局面：学术信用与巨额声望被科技公司拉入高压博弈。
领导 克雷数学研究所（Clay Mathematics Institute） 的 Martin Bridson 在接受媒体采访时表示，OpenAI 的声明“令人振奋”，但正式评审需要时间。目前，该研究所官网仍将纳维–斯托克斯方程列为“未解决问题”。
克雷研究所于 2000 年提出七大“千禧难题”，每题悬赏 100 万美元。迄今仅有庞加莱猜想在 2003 年被俄罗斯数学家 Grigori Perelman 证明，而他最终拒绝接受奖金。
