9月9日凌晨，Sebastien Bubeck 在 X 发布长文并附短信截图，就 Buckmaster 前日的声明作出四点澄清，部分承认措辞不当、整体否认指控。而在他发帖前数小时，OpenAI 官方刚刚宣布：内部模型生成了纳维-斯托克斯方程爆破的证明——166 页手稿与 Lean 形式化验证一同公开，官方称之为千禧年大奖难题的解决方案。数学结果与宣布伦理争端至此同时升级：一方拿出了 166 页的定理，另一方拿出了短信截图，两份陈述第一次都摆在了桌面上。
手稿说了什么：Theorem 1.1 的精确口径
OpenAI 公开的手稿标题是《Finite Time Blowup for Navier–Stokes》，166 页，十章加三个附录。主定理的表述可以完整转述：对任意正黏度，存在一个光滑、在空间和时间上紧支撑的强迫项，以及一组光滑的速度与压力场，使得解从静止——零初始速度——出发，支撐始终含于一个紧集，动能一致有界，而速度的上确界在有限时间内爆破。手稿自述，这建立了 Fefferman 官方千禧年问题陈述中的选项 (C)；由紧支撑还能推出三维环面 T³ 上的对应构造，即选项 (D)。
物理图像按公告的描述是一个涡旋：旋转的流体漩涡向内螺旋、不断被拉长，「形如意大利面」。生成方式是公告的另一个卖点：约一万个协同 AI 智能体、88 小时得出解，随后经 Lean 形式化验证。公告还写明了安全措施——监控与隔离机制贯穿全程，并称正在致力于理解这个模型，以「指导和调控我们在能力提升方面的推进节奏」。据 New Scientist 报道，此役投入的 AI 算力成本约 1500 万美元。
千禧年难题解决了吗：定理与原题的距离
这个问题的答案取决于你在读哪一段陈述。千禧年大奖难题的官方陈述由 Fefferman 撰写，其中列有多个等价选项：证明光滑初值解的整体正则性是一个方向；构造爆破解是另一个方向，选项 (C) 与 (D) 对应带光滑强迫情形下 R³ 与 T³ 上的爆破。OpenAI 手稿建立的是选项 (C) 与 (D)——按官方陈述的措辞，这确实落在千禧年问题定义之内。
但数学共同体真正关心的核心，是无强迫、无外力的情形：只靠光滑初值自身的演化，解会不会爆破。强迫项像一个可以随手注入能量的外部引擎，从静止出发靠强迫造出爆破，与证明「光滑初值自己会走向爆破」之间，隔着一道所有内行都看得见的门槛。这条门槛正是过去两天所有公告的交汇点：Buckmaster 与 Alpöge 的已验证结果在带强迫的 Euler；Anandkumar 组发布的是无强迫 Euler 的数值证据加稳定性框架；OpenAI 的定理是带强迫的 Navier-Stokes。三条线都还没有触碰无强迫 Navier-Stokes 本身。
裁定权也不在发布者手里。千禧年奖由 Clay 数学研究所裁定，规则是成果须公开发表、并经历约两年的社区接受期。截至本稿核验，Clay 研究所的官方页面仍将纳维-斯托克斯问题列为未解，没有任何被接受的获奖主张；社区讨论里最先被提出的问题，恰恰是「选项 (C) 是否够格」。OpenAI 手稿对选项 (C)/(D) 的建立是可辩护的，但「解决方案」三个字与其说是一个数学结论，不如说是一个待共同体裁定的主张。
Bubeck 的四点澄清：与声明的逐点对照
Bubeck 的长文分四点，并附上他与 Alpöge 的短信截图。第一条：那张截图是他联系 Levent 协调双方发布的记录，初衷是尽可能开放。截图内容可以逐句核对——他在周日的短信里写道，一个内部模型「以极少的人类输入」产出了纳维-斯托克斯的证明（形式化与非形式化两版），但「认可你们的优先权、这场历史性成果的全部学术荣誉属于你和 Tristan」至关重要，愿意分享包括人类提示词在内的一切。Alpöge 问「你宣称的定理是什么」，回答是「R³ 与 T³ 上强迫爆破的存在性」。
第二条针对署名争议。他说自己从未要求把 Levent 从「其本人作品」的作者名单中移除；在与 Tristan 的通话中，他惊讶地得知对方仅解决了 Euler 方程而未解决 Navier-Stokes，随后共同探讨后续路径——其中一个选项是由 Tristan 担任重写 OpenAI 纳维-斯托克斯证明论文的第一作者。「如果 Levent 不是 Anthropic 的员工会更简单」这句话的背景，按他的说法有二：由 Anthropic 员工署名 OpenAI 的工作并不妥当，且对方承认其 Euler 爆破证明使用了 Anthropic 的内部模型，因此他无法把 Levent 视为独立的学术界人士。他还想提出、但被打断的第三个选项，是向二人开放内部模型的访问权限，让他们尝试弥合从 Euler 到 Navier-Stokes 的差距；他坦言不知道该如何处理向 Anthropic 员工开放 OpenAI 内部知识产权的问题。
第三条处理最刺眼的两句引语。他确认「你无能为力，我就是不信任你」出自对话，但称这句话是 Tristan 说的；他承认「断送职业生涯」的措辞极其不当并为此道歉，同时解释那是他在试图关心对方、做最后努力争取给他们应得的全部赞誉，且当时已当场收回。第四点落在流程：尽管他多次邀请，Levent 拒绝参加任何会议；他引用 Sholto Douglas 的话称未来两家公司需要协调，而自己的感受是「在代表 Anthropic 进行谈判，Anthropic 的员工却拒绝直接参与」。
两份陈述的冲突清单
把 9 月 6 日的通话当作事件原点，两份陈述在部分事实上一致：通话发生过，双方讨论了 OpenAI 的强迫爆破证明与二人的 Euler 结果，Euler 证明中使用了 Anthropic 的模型，短信里出现过「极少人类输入」的表述与「R³ 与 T³ 上强迫爆破」的定理。
分歧集中在五处。署名提议：Buckmaster 称被两次要求把 Alpöge 移出作者名单，Bubeck 称从未要求把 Levent 移出「其本人作品」、讨论的是由 Tristan 一作重写 OpenAI 的证明——同一场对话，一侧理解为「把我们的成果让你们署名发布」，另一侧理解为「把我们的成果收编为你们的发布」，两种定性无法同时为真，却也很难在缺乏录音的情况下证伪。引语归属：「断送职业生涯」一句，Buckmaster 将其归于 Bubeck，Bubeck 承认说过并道歉、但主张指的是另一种意思；这是双方唯一一处有一方认账的冲突。「很少人类输入」：截图确认短信原文如此，但 Buckmaster 称通话中这一表述被 OpenAI 团队的更正逐层推翻，Bubeck 的长文未再坚持或撤回这一表述。「内部模型」：Buckmaster 声明写明使用的是 Anthropic 的 Claude 且费用自理，Bubeck 则升格为「Anthropic 的内部模型」并以此推出 Levent 非独立学术界人士——同一个事实，两种定性。会议邀约：Bubeck 称 Levent 拒绝所有会议，Buckmaster 一侧确认未回复 9 月 7 日的会面请求。至于 Buckmaster 提出的训练数据疑问——他们的 Codex 会话是否进入了模型训练——Bubeck 的长文没有提及。 接下来可验证什么
这场争端第一次拥有了双方证据。可检验的清单是明确的：166 页手稿已经公开，Lean 验证声明可以被数学共同体逐条核对，选项 (C)/(D) 的建立是否成立、证明是否自洽，是纯数学问题；Buckmaster 一侧的短信截图与邮件全文已经公开，Bubeck 一侧的截图也已经公开，两套聊天记录的交集与矛盾处——周日的短信、9 月 6 日的通话——现在有了两个版本；Buckmaster、Alpöge 与 Anthropic 对 Bubeck 长文的回应，特别是对「Euler 证明使用了 Anthropic 内部模型」这一新主张的确认或否认，将决定署名争议走向；Clay 数学研究所对选项 (C)/(D) 是否满足获奖条件的态度，决定「解决千禧年难题」这句话的最终效力。
在所有这些验证完成之前，有两个事实已经确定。其一，一台 AI 系统在 88 小时内生成了数学共同体追逐数十年的爆破构造，无论署名归谁，这件事本身成立了——手稿公开、可查。其二，这场争端的每一个参与者都在谈论同一件事的不同侧面：Buckmaster 谈的是信用与程序，Bubeck 谈的是优先权与庆祝，公告谈的是安全与节奏。纳维-斯托克斯方程描述的是流体如何走向失控；围绕它的这场争端，正在展示另一套系统如何处理同一个问题。
AI 速览
