【AI解开数学难题引发优先权争议】（编辑：酸奶）刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。

纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。

OpenAI 表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过 GPT-6 Astra。如果这一成果最终得到数学界认可，它意味着 AI 已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。

不过，OpenAI 公布这一成果后，围绕研究优先权和过程透明度的争议也随之出现。争议源于纽约大学柯朗研究所流体力学专家 Tristan Buckmaster 的公开声明。

Buckmaster 表示，他们此前已经完成了多个相关突破，包括带光滑外力条件下的不可压缩多孔介质方程、Boussinesq 方程以及三维不可压缩 Euler 方程的有限时间爆破解答。

Buckmaster 还提出疑问，OpenAI 是否可能接触到他们此前在 Codex 中的研究资料。

OpenAI 方面则否认使用用户数据解决该问题。

除了这场学术争议，伴随着 AI 未来开始参与基础科学研究，传统学术体系中的很多规则都会面临重新审视。论文署名属于谁，研究贡献如何计算，AI 生成的证明是否算作真正的发现，这些问题都没有现成答案。OpenAI宣布攻克千禧年难题