11月3日，在ADIPEC 2026开幕式上，OpenAI的奥特曼确认了那款用1万个Agent攻克纳维-斯托克斯（NS）方程千禧年难题的模型身份——「下一代GPT」，并称很快就会发布；他把这一突破称为「我在AI历史上见过的最不可思议的时刻之一」。 但热词条的后半句还没落地：这份去年9月公布的165页证明至今未获数学界正式认可，一些审查意见已指出其中可能有错误，它能否算真正的数学突破仍待检验。 所以「将发布」指的是模型能力即将向外部用户开放，不等于这道千禧年难题已经官方结案。新智元DeepTech深科技
攻克的是「带外力」版本，最核心的那问仍悬着
NS方程描述水、空气等流体的运动，浴缸排水口、飞机气流、天气系统背后都是它，但一个平滑初始的三维流体会不会在有限时间内突然「炸出」无穷大的速度，近百年来卡着全世界最聪明的头脑。2000年，克雷数学研究所把「存在性与光滑性」列为悬赏100万美元的千禧年难题，此前七大难题中只有庞加莱猜想被正式下榜。量子位
OpenAI这次给出的答案是：会爆——但它构造的是一种最初静止的平滑流体，并对其施加了精心设计的平滑外力：旋涡不断向中心收缩、拉长，像「一把越拧越细的意大利面」，旋转速度持续增大，在有限时间内冲向无穷大，而总能量始终保持有限。量子位
按OpenAI的说法，这份证明完成了克雷官方题面中允许存在外力的C、D两种情况，题目在字面意义上被解决了。 真正微妙的地方在于：数学家通常讨论的无外力版本——流体自己会不会爆——还没有大结局。量子位微博
过程的代价和产出同样被官方公开过：约1万个Agent并行工作88小时，仅NS一题就发出270万条消息、消耗约1300亿输出Token；证明写完后，GPT-6 Astra又跑了17小时把它形式化成Lean版本逐步查漏洞。 最终成果是一篇165页、唯一作者署名「OpenAI」的论文，OpenAI同时明确表示不领取这100万美元。量子位新智元
官宣没能压下来的三场争议
纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge过去一年一直在研究流体方程的有限时间爆破，走的就是后来被OpenAI采用的「平滑外力」路线，而这条路线最早来自西班牙数学家Diego Córdoba和Luis Martínez-Zoroa。量子位
时间线把争议推向高潮：9月1日OpenAI听到「有人可能解决了千禧年难题」的风声后启动Agent项目，9月3日Buckmaster还主动联系OpenAI说明他们尚未解决NS、成果即将发布，9月5日OpenAI的1万个Agent完成证明，9月8日正式官宣——而两人此前刚拿下的欧拉方程版本结果，正是陶哲轩眼中「一项了不起的成就」。微博量子位
Buckmaster、Alpöge研究期间把论文草稿与推导放在Codex里，OpenAI则公开否认看过两人的工作，同时留下一句微妙的表述：可能性很低，但无法排除两人使用OpenAI产品产生的去标识化数据曾帮助改进模型。量子位
事情至此已从数学问题变成AI时代的学术产权问题。Buckmaster称，OpenAI研究员Bubeck曾两次表示希望把身在Anthropic的Alpöge排除在作者名单之外。 Bubeck自己的版本是：他从未要求把Alpöge从两人的论文中除名，只是认为让Anthropic员工署名OpenAI内部模型完成的工作「不太合适」。微博
另一场争议更难以下咽：专业的人读不动这份证明。MIT教授Justin Solomon翻过前两页后承认大脑彻底宕机，说那份证明「读起来非常吓人，全是密密麻麻的技术细节、极度反直觉的不等式和极端的界限取值」。 被问是否优雅，他苦笑「大概毫无优雅可言」，被问是否正确，他沉默了一下：「大概是对的。」 陶哲轩进一步把这类未经充分整理的AI证明称为「有毒废料」，并在Nature发文呼吁数学界转向更重视人类理解的「Maths 2.0」。新智元DeepTech深科技
即便是数字本身，也值得按口径核对：OpenAI披露的口径是约1万个Agent并行88小时，奥特曼在台上说的是「连续4天4夜」，另有一处转述称幕后模型「连续干了70小时」。 而陶哲轩向《观察家报》提到的「最高优先级、投入数千万美元、暂停新用户注册」等说法，《观察家报》求证后均被OpenAI否认。新智元DeepTech深科技
「即将发布」的信号已经漏了几处
11月4日，两个从未公开的神秘模型ID——rc-ada-or-vm与rc-ada-sh-vm，突然出现在OpenAI官方API模型列表里，短短几分钟后就被火速撤下，手快发起调用的开发者全部撞上503容量受限错误。 按开发者的解读，rc前缀指候选发布版、模型已走完内部训练测试；or-vm与sh-vm双后缀分别对应负责拆解调度的「大脑虚拟机」和在隔离沙盒里执行命令的「手脚虚拟机」，意味着这代模型天生冲着复杂长链路Agent任务去。OpenAI官博同日发布工程评测BenchCAD 2.0：一个未署名的「神秘内部新模型」最低档位就拿下75.8%，比现役GPT-6 Astra的满血极限还高出16个百分点，继续加推理算力后冲到87.5%；另有观察称gpt-6.2-astra已悄悄接管Codex内部近两成流量。需要提醒的是，这些都属于开发者抓包与官方自述口径，OpenAI尚未公布发布日期，奥特曼的原话只有「很快发布」。新智元
发布之后看什么
两个月内，NS方程、与黎曼猜想直接相关的Landau-Siegel零点问题、全维度挂谷猜想、被证伪的指数时间假说，都被归到这同一个内部模型名下，而它今年8月下旬才刚诞生。当这种级别的长链路自主科研能力从算力沙盒进入API，最先有现实感知的不会是聊天框，而是它宣称正在落地的工程方向——同一套能力正被用来设计新材料、新涡轮。 但陶哲轩们的警告构成了这件事的另一半：瓶颈正从「生成答案」转向「人类能否验证和消化答案」。新智元
普通用户接下来值得盯的两件事：一是数学界对这份证明的验收结果。OpenAI已承诺投入500万美元支持数学界检验AI辅助发现，C、D情况的「字面通关」能否经受同行评议与Lean核查，决定「AI攻克NS方程」要不要写进历史，无外力版本则仍是开放问题。 二是公开版保留了几成功力：仅NS一题就烧掉数百万美元算力，奥特曼自己承认头号瓶颈只剩一个词「能源」。 因此新模型上线时以什么档位、什么价格开放，可能比发布会本身更能说明这道题离你的工作台有多远。DeepTech深科技新智元
