OpenAI 9月8日表示，其一套未公开的内部模型调度约一万名AI智能体，对“纳维–斯托克斯方程”这一千禧年难题给出了 证明方案。不过，两位数学家随即提出异议，质疑这项“里程碑式突破”的独立性与可靠性。
要点概览：
- 一套尚未发布的OpenAI系统，宣称为七大千禧年难题之一生成了书面证明与Lean形式化证明。
- Tristan Buckmaster 和 Levent Alpöge 前一日刚公布相关结果，他们质疑OpenAI为何能在方法路径上高度“撞车”。
- Terence Tao 指出，大型AI实验室正将著名未解难题当作公关素材，而非真正追求数学洞见。
OpenAI“纳维–斯托克斯证明”的核心说法
OpenAI在官网发布的技术说明及Lean形式化文件中称，其内部系统 证明：一开始处于静止且光滑的流体，在有限时间内可以演化出奇点。参与项目的研究人员将该系统描述为“显著强于 GPT-6 Astra”，并称该模型仍在持续训练中，性能曲线尚未见顶。
纳维–斯托克斯方程的正则性与光滑解问题已困扰数学界近90年。早在1934年，Jean Leray 就证明了某种弱解意义下的存在性， 但对光滑解是否在有限时间内出现奇点这一问题，始终未有定论。
OpenAI披露，团队自8月28日启动模型训练，并在9月1日将这一系统“对准”全部七个千禧年难题，背景是坊间传言其中两题 已被攻克。公司高管向媒体透露， 整个算力投入金额高达数百万美元。
Buckmaster与Bubeck围绕“署名与借鉴”爆发争执
纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员（以个人名义参研）Levent Alpöge 近一年 一直在研究相关流体方程问题。他们在 Diego Cordoba 与 Luis Martinez-Zoroa 等早期工作的基础上推进， 并在OpenAI公开声明前一天，发布了针对“受迫Euler问题”的Lean验证证明。
Buckmaster其后提出质疑：自己此前存放在Codex上的私人草稿，是否在某种程度上“喂给”了竞争对手的系统训练， 从而影响了OpenAI的搜索路径？他表示，就训练数据来源与使用方式，自己没有得到明确解释。
Buckmaster还指称，OpenAI研究员 Sebastien Bubeck 曾力主在一篇论文中剔除Alpöge的署名，理由与其所在公司 背景有关，随后又警告他不要将争议公之于众。
Bubeck对此在接受媒体时予以否认， 称相关说法“失实且具有煽动性”。
OpenAI方面表示，其研究团队及内部AI智能体在项目发布前未接触Buckmaster与Alpöge的工作；同时也承认，平台上 “去标识化”的使用数据可能用于模型的整体性能优化。公司强调，不会申请该问题附带的100万美元奖金。
设立千禧年七大难题的 Clay数学研究所 目前官网仍将纳维–斯托克斯问题列为“未解决”，并未因OpenAI的声明 做出调整。
陶哲轩：AI“攻题秀”或伤害数学生态
被普遍视作当代最杰出数学家之一的 Terence Tao（陶哲轩） 在接受采访时[警告] (https://fortune.com/2026/09/08/openai-says-it-cracked-navier-stokes-math-grand-challenge-buckmaster-accusation-cheating-intimidation-tao-lament/)， 大型AI公司正把著名未解难题当成新一代模型的“营销样板工程”。
在他看来，这种做法如果只是追求“答案”而忽视产生新工具、新问题与培养年轻数学家的研究生态，长远看会破坏整个数学 共同体的土壤。他将之比喻为“把考古遗址当宝库洗劫一空”，短期内收获耀眼战利品，却破坏了可持续挖掘的价值。
从公开信息看，这次OpenAI动用的智能体规模与迭代速度都相当可观：约100名智能体先在约50小时内攻克一个更简单的 “无外力Euler方程”问题。此后，负责纳维–斯托克斯问题的智能体集群在启动约88小时后，即9月5日报告得到答案，针对 该证明的Lean形式化验证又额外耗时17小时左右。
