OpenAI宣称攻克纳维-斯托克斯千禧难题，数学界爆发署名与抢发争议
· 来源：Gizmodo
OpenAI称用未发布模型、约1万个智能体跑了近90小时给出证明，并放弃百万美元奖金；两位数学家指其抢发并施压删除合作者署名，陶哲轩等担忧科研开放协作被军备竞赛侵蚀。
2026年9月9日，OpenAI宣布其内部一款"显著强于GPT-6 Astra"的未发布模型解决了纳维-斯托克斯方程解的存在性与光滑性问题——克雷数学研究所七大千禧难题之一，单项奖金100万美元。OpenAI表示放弃领取奖金。据其披露，此次证明动用了约10000个AI智能体、连续运行近90小时。
纳维-斯托克斯问题描述流体运动，长期困扰学界。它没有直接的工程应用出口，却被视为偏微分方程理论的标尺性难题；若证明成立，将是AI首次在千禧难题级别的数学问题上给出被接受的完整论证。
争议几乎与公告同时爆发。纽约大学数学家Tristan Buckmaster与Levent Alpöge指出，他们此前正借助Codex与Claude等工具独立推进相关的"受迫欧拉方程"问题；OpenAI在获知其进展后，仓促发布了自己的结果。Buckmaster进一步称，OpenAI研究员Sébastien Bubeck曾就合作署名向他施压，要求把Alpöge的名字从成果中移除，并给出两条"替代路径"；在他拒绝后，Bubeck反问"你为什么要毁掉自己的职业生涯"。Buckmaster还担心，OpenAI的模型可能接触到了他们使用工具时留下的数据。
OpenAI方面尚未公开回应上述署名与数据指控，也未同步发布可供第三方复核的完整证明流程说明，因此证明本身能否通过同行评议、是否满足克雷研究所的授奖程序，目前仍属未决。
菲尔兹奖得主陶哲轩等研究者的忧虑指向更远处：当模型能力成为竞赛筹码，研究者可能不再愿意公开分享尚未成熟的思路，开放协作这一现代数学的基本运作方式将被压缩。这场争论的实质，已经不只是"AI能不能做数学"，而是AI公司介入学术生产后，优先权、署名与数据边界该由谁来裁定。