2026年9月，一条消息让数学界突破了科技圈层：OpenAI宣称，其未公开的内部AI模型用88个小时解决了纳维-斯托克斯方程的存在性与光滑性问题。OpenAI同步公开了这份解答：一个解析证明，外加用Lean定理证明器完成的形式化核验。公司同时表态，不打算申领百万美元奖金。但争议的焦点从来不是"AI有没有解题"，而是"解出"两个字与这份结果真实状态之间的四层落差：它解决的不是公众最在意的那个问题；学界还没有人读懂它；成果出现在人类团队公布进展的次日；而即便全都没问题，25位菲尔兹奖得主依然认定，把千禧年难题当作模型基准这件事本身，就在伤害数学。中国新闻周刊微博
它解出的是"带外力反例"版本，公众最关心的问题仍无答案
纳维-斯托克斯在克雷数学研究所官方表述中并不是一道题，而是两组空间边界条件下、“证明无外力解全局光滑"与"构造光滑外力下的爆破反例"两两组合出的四条命题，完成任何一条即算达标。OpenAI完成的正是后者：证明在精心构造的光滑外力作用下，原本静止的流体会在有限时间内形成速度无穷大的奇点，而总能量保持有界——官方声明称这证明了陈述C（同时陈述D），因此构成千禧年难题的一项解答。但公众语境里通常所说的"纳维-斯托克斯难题”——无外力条件下流体是否会自己"爆"、三维流动是否永远光滑——并未被触及，这一方向至今开放。换句话说，"解决了七大难题之一"在官方表述框架下成立，"流体运动的理解被彻底改写"则言过其实。同一系统还顺带完成了无外力欧拉方程（纳维-斯托克斯去掉粘性的退化形式）的爆破证明，由近100个智能体耗时约50小时完成，热度远低于NS成果本身。微博微博微博
机器检过了，不等于人读懂了
这份证明最强的说服力来自形式化：Lean可以逐行检查证明的逻辑链条。但理解与忠实性两个环节都出了问题。陶哲轩说，OpenAI留下的积压手稿只能靠学界志愿慢慢啃，“我找不到OpenAI里任何人，帮我读懂这几百份批量产出的证明文稿”。《科学美国人》的报道说得更直接：OpenAI自己也没有读懂模型交出的证明。知乎投资界
另一头的问题在于"两张皮"：形式化命题和自然语言手稿可能并不一致。有研究者专门撰文《Navier–Stokes lost in translation》指出，Lean编译通过不能替代对原稿本身的验证，相关质疑随即被媒体转述成论文与代码"竟是两张皮"。认定层面同样留有悬念：克雷数学研究所在9月11日的公告中用了"apparently settled"（看起来已解决）这一表述，同时强调评价与认定是一个不仓促的过程；按照其授奖惯例，成果还需在权威期刊发表、经过至少两年时间并获得学界认可。所以，截至发稿，OpenAI证明支撑起的是机器核验，而不是共同体的正式接受。知乎微博
9月7日与9月8日：最敏感的24小时
时间线是争议从学术层面上升到信任层面的关键。OpenAI在声明中自述：9月1日听到"两道千禧年难题已被解决"的传闻后，随即启动对未解难题的集中攻坚。陶哲轩在《新科学家》专访中对这场竞速的描述更尖锐：OpenAI启用最大的模型、投入价值数百万美元的算力，只为抢在前面完成，“我从未见过如此残酷的竞争”。微博知乎
9月7日，纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格公开了相关问题的关键进展；9月8日，OpenAI官宣NS告破，这个前后顺序成为指控的起点。OpenAI给出的解释是：传闻涉及的正是这两人，但他们解决的是带外力版本的欧拉方程；公司曾主动联系对方提议同步发布并承认其优先权，且"在他们成果公开发表之前，我们研究团队与智能体从未以任何方式接触他们的研究内容"。中国新闻周刊微博
巴克马斯特没有接受这套说法。他抨击OpenAI是在听闻其进展后才加大投入，并透露自己曾把未发表的草稿和推导放进OpenAI的代码工具中使用，怀疑被模型"偷看"。OpenAI在声明中的回应是"我们没有调取任何用户数据用于本次难题求解"，但同时承认，“尽管可能性极低，我们无法完全排除经过去标识化处理、来自OpenAI产品用户的数据对模型产生过影响”。归属叙事随后还出现过一次反转：早期叙述曾让人以为OpenAI的证明延续了西班牙数学家Córdoba一系的路线，而《科学美国人》采访的多个研究组在分析细节后认为，最终构造外力的方法与这一计划并不相同。路径之争校正了，数据伦理的疑点却仍没有可复核的证据能彻底排除。中国新闻周刊微博知乎
25位菲尔兹奖得主反对的，不是结果而是做法
当地时间9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》声明，批评AI公司将解决数学难题作为模型能力基准的做法，与数学共同体追求概念理解的根本目标显著分歧。陶哲轩常用的比喻是灯塔：难题本身不是终点，它的价值是照亮整片研究地貌，“现在，我们直接拿下了一座座灯塔，却没能看懂这片风景”。他把9月这轮操作定性为"自动化掠夺式开采"：留下一份上百页的AI生成证明，学界几乎得不到数学洞见。中国新闻周刊知乎知乎
冲击已经外溢到学术生态。10月6日，OpenAI把"成绩单"批量摊开——372组成果家族、722份AI生成手稿，按17个数学分支分类发布。陶哲轩观察到，年轻学者的课题被整批"淘汰"，研究者开始对选题保密，因为"一旦说出自己在做什么，别人直接丢给AI"，学术优先权变质成"谁能最快把题目喂给AI，这是一场毫无意义的竞赛"。微博知乎
数学界的应对已经成形
制度化的反弹同步发生。人类数学协会（AHM）公布的名单显示其成员已达全球1008位，其中654人加入"无AI研究小组"，承诺不发表AI生成的论文、不与前沿实验室合作、不在研究中使用AI。知乎
另一条路线是把工具抢回来。10月22日，陶哲轩在《Nature》发表文章阐述Math 2.0构想：数学不能完全依赖大型AI企业，数学共同体要建立自己的开放模型和研究工具，保留对AI研究过程的监督和干预权——他早在9月就发起了SAIR开放数学模型倡议。OpenAI的发布口径也在变化：10月26日公布的数学、计算机科学、物理学三项新发现中，公司不再把它们包装成尘埃落定的成果，而称之为"有待进一步理解的原始研究材料"，邀请外部专家团队核查解释。陶哲轩在10月的一次专访中还提醒过技术层面的暗坑：Lean本身已被发现可被利用的漏洞，AI可能不老实解题，而是构造能"过检"的假证明。知乎
接下来盯什么
截至11月8日，克雷数学研究所主页上这道题的状态仍然挂在Active（未解决），独立复核与消化正在各处进行。OpenAI已透露将目光转向另一道千禧年难题霍奇猜想。奥特曼则在公开访谈中回忆攻克NS"是我见过AI历史上最不可思议的时刻之一"，并称带来这一成果的下一代GPT即将上线。微博中国新闻周刊知乎
值得留意的是，88小时从来不是这件事的全部——陶哲轩提到的背景是，学界大约十年前共识开始转变、一批"只差一点就能构造出奇点"的人类研究紧贴着OpenAI宣布的前一天；量子位的复盘也把这条人类线索拉长到十几年。机器负责给出答案，答案与理解之间剩下的落差，才是这场争议真正会写进数学史的部分：它暴露了新的瓶颈已经不在"算不算得出"，而在"读不读得懂、算谁的功、由谁说了算"——版本范围、形式化忠实性、优先权与数据伦理，每一项都要等可复核的证据落定，CMI的Active状态才会改写。
