周末还在传Anthropic要交卷，周二OpenAI自己把卷子摊上了桌。
2026年9月8日，OpenAI发布博文《On the Navier–Stokes Millennium Prize Problem》，宣称内部系统给出了纳维-斯托克斯存在与光滑性问题的解。这道题是克莱数学研究所2000年列出的七道千禧年大奖难题之一，问的是：三维不可压缩流体如果一开始光滑，会不会在有限时间里自己「炸」出奇点——速度冲向无穷大。方程从十九世纪写到今天，1934年让·勒雷证明了广义解存在，光滑性却卡了大约90年。
哈基米云先把边界钉死：这是OpenAI自己交的卷，不是克莱研究所发的奖。公司写明不打算申领这笔百万美元奖金。证明文稿和Lean形式化都挂了出来，可数学共同体的核验才刚起头。
从静止流体，拧出一根会崩的「意大利面」
OpenAI说，系统同时交出了分析证明和Lean形式化。结论很硬：一开始静止、光滑的流体，在光滑外力作用下，可以在有限时间里长出奇点；全程能量保持有限。公司称这对应官方表述里的C款，也覆盖D款。
画面被写成一个涡旋：流体向内螺旋，同时沿轴向被越拉越长，像一根不断变细的意大利面。中心区域一边缩小一边加速，总动能却还能压在有限里。技术难点在于，崩溃必须由流体自己的运动长出来，而不是人手塞进无穷大的力。加速度、压力梯度、动量传递、黏性，这些项都要大到吓人，又要精确对消，留下光滑外力，让速度自己冲向无穷。
外媒转述，分析证明约165页，Lean 4仓库可供外部下载、构建、检查。克莱研究所页面上，这道题仍标未解决。按奖金规则，候选解要进入合格出版物、公开至少两年，并获得全球数学共同体的普遍接受，才会进入评审。88小时能写出宣称，核验按年计。
一万个Agent，88小时，1300亿token
底层不是已经上市的GPT-6 Astra。OpenAI写得很白：用的是8月28日开始训练的内部模型，能力「显著强于」GPT-6 Astra，训练还在继续，成绩还在涨。
9月1日，公司听到「两道千禧年难题已被解决」的传闻，随即把多智能体系统扔向所有未解千禧年题和若干高影响问题。Agent能读缓存过的互联网、能跑代码，分组内部可以通信。啃下Navier-Stokes的那一组，并发规模约1万。安全侧仍套着前沿评估的监控和隔离。对Navier-Stokes，公司把A、B两款（证明方向）和C、D两款（反证方向）分给不同组。
先意外掉下来的，是去掉黏性项之后的欧拉方程正则性问题。近100个Agent，大约50小时，给出无外力版本的有限时间奇点。公司于是把资源从其他千禧年题抽回来，把欧拉结果喂给后续Agent，并在过程中把Agent升级到更新一版内部模型。Codex负责把各组中间结果收拢、再分发。
Navier-Stokes的解，Agent们在9月5日周六落到，距第一批启动大约88小时。随后GPT-6 Astra又花17小时做Lean形式化和核验，到9月6日完成。单这一题：约270万条消息、约1300亿输出token。整场多题尝试：约490万条消息、约3000亿输出token。外媒转述新闻发布会口径，算力开销在数百万美元量级。这些数字都是OpenAI自己报的账，完整编排系统和成本拆分没有公开。
传闻里的另一桌人，先把优先权吵了起来
OpenAI承认，9月1日那则传闻，后来对上的是纽约大学数学教授特里斯坦·巴克马斯特，以及Anthropic研究员莱文特·阿尔珀格。公司以为对方也握着Navier-Stokes，9月6日完成Lean核验后主动联系，提出共同发布、承认对方优先权。对上之后才发现：对方做的是有外力的欧拉问题，OpenAI这边欧拉结果是无外力版本。
OpenAI写明：研究者和Agent都没有在对方公开前看到其工作，也没有为解这道题去翻具体用户数据；同时承认，无法排除对方使用其产品时产生的去标识数据，曾间接帮模型变强。证明路径和精确结论都不同，公司向对方的有外力欧拉工作表示祝贺。
Fortune等外媒随后写到更硬的争执：巴克马斯特质疑路线是否来自其Codex会话，并公开了一份声明。OpenAI方面在发布会上否认查看了对方提示或证明。哈基米云只记双方各执一词，不把未核验指控写成既成事实。
数学家陶哲轩则把刀刃对准另一处：当AI公司把千禧年题当成能力海报，答案来得很快，洞察却常常缺席。失败路径不公开，下一代技术从哪里长？他把这种做法比作用挖掘机洗劫考古现场——宝物被挖走，上下文被毁掉。
交卷了，不等于封神
哈基米云的读法很硬。OpenAI交出的是一份可检查的宣称：内部更强模型、万级Agent、88小时、Lean仓库。它证明的是公司认为自己走到了哪一步，不是克莱研究所已经改写题板。飞机设计、天气预报、血流模拟，这些工程场景本来就在用这套方程；奇点如果成立，意味着连续介质近似会在某些条件下自己崩掉，建模得回到粒子尺度。可「如果成立」这四个字，现在还握在数学共同体手里。
更刺耳的是竞赛本身。传闻一起，资源就从其他千禧年题抽走；交卷之前，优先权已经先吵一轮。陶哲轩担心的不是某家公司能不能算得动，而是开放问题被当成算力竞赛的积分板之后，数学这门手艺还剩多少给下一代。
哈基米云只把能钉死的事实摆上桌：OpenAI在9月8日公开了证明文稿和Lean形式化，自称解决了C款和D款；不申领奖金；核验未完成。接下来要看的不是下一场发布会，是仓库能不能被独立跑通，定义是否对准了克莱原题，以及两年公开期之后，数学圈认不认这张卷。
做项目需要大模型，国内的、国外的这里都能接到。价格谈得下来，调用稳得住，出了问题有人跟到落地。
平顶山市哈基米与他的朋友们科技有限公司
联系电话：17629730802
公司官网：catswing.cn