纳维-斯托克斯方程
Navier–Stokes Existence and Smoothness · 千禧年难题
纳维-斯托克斯方程描述水、空气、血液等流体的运动。克雷数学研究所问：三维不可压情形下，光滑解是否永远存在？2026 年 9 月 8 日，OpenAI 宣称其内部模型调度约一万个 AI 智能体、用 88 小时构造出『有限时间奇点』的反例，并公开 166 页论文与 Lean 形式化代码。但该结果尚未通过同行评审与独立复现，克雷研究所仍将其列为未解决，奖金无人领取——围绕它的优先权争议与数学界联名反对，反而成了更持久的议题。
- 88 小时
- 智能体求解耗时
- 10,000
- 并行 AI 智能体
- 166 页
- 论文篇幅
- $0
- 迄今颁发的奖金
当前状态：未经独立验证的宣称。 OpenAI 已公开论文 PDF 与 Lean 4 形式化仓库；数学界尚未完成同行评审，独立审计未能完成内核级复现，克雷研究所未认定，100 万美元奖金未颁发。
纳维-斯托克斯方程在问什么
纳维-斯托克斯方程是流体力学的牛顿第二定律，也是『湍流为何难以预测』的数学根源。它的通解是否存在且始终光滑，是七个千禧年难题之一。
方程本体
∂u/∂t + (u·∇)u = −∇p + νΔu + f , ∇·u = 0- 流体速度场（三维向量场）
- 压强
- 运动黏度（ν > 0 为黏性 N-S，ν = 0 退化为无黏 Euler 方程）
- 外力项（2026 争议的核心：是否允许 f ≠ 0）
- 不可压缩条件，流体密度不变
u(x,t)pνf∇·u = 0非线性自反馈：关键在于非线性项 (u·∇)u：流体的速度会搬运自己的速度场。这让方程既是『自己喂自己』的反馈系统，也是三个世纪以来最顽固的数学障碍——黏性项 νΔu 试图把能量抹平，非线性项却不断把能量输运到越来越小的尺度。
克雷数学研究所题面
2000 年，克雷数学研究所把『三维不可压纳维-斯托克斯方程解的存在性与光滑性』列为七大千禧年难题之一，悬赏 100 万美元。问题的通俗表述是：给定一个初始时刻光滑、能量有限的流体，它会不会在有限时间内出现速度趋于无穷的『奇点』（blow-up）？
四个分支：2026 争议的地图
无外力 · 存在与光滑
f ≡ 0，证明光滑解对所有时间存在。
无外力 · 有限时间爆破
f ≡ 0，构造出有限时间失去光滑性的反例。
有外力 · 存在与光滑
允许适当衰减的光滑外力 f，证明光滑解存在。
有外力 · 有限时间爆破
允许光滑外力 f，构造有限时间奇点。OpenAI 声称解决的正是这一支。
数学界通常最关心 A / B 两支（无外力），因为那是方程的『纯粹』形态。C / D 允许光滑外力，属于克雷官方题面的合法组成部分——但它比 A / B 弱，且会引入『这个外力是否物理』的追问。
Euler 与 Navier–Stokes：别把两者混为一谈
另一个关键区分：无黏的 Euler 方程（ν = 0）早在 2019–2024 年就已被证明存在有限时间奇点（Elgindi；Córdoba–Martínez-Zoroa 等）。粘性项 νΔu 的作用恰恰是抑制奇点，因此『Euler 有奇点』并不能推出『N-S 有奇点』——把结果从 Euler 搬到 N-S，正是这场争议的技术焦点。
名词解释
有限时间奇点 / 爆破（blow-up）
解在某个有限时刻 t* 失去光滑性，速度（或其导数）趋于无穷。若成立，则『光滑解永远存在』的反面得到证明。
弱解（weak solution）
放宽可微要求后仍满足积分形式的解。Leray 证明其全局存在，但弱解可能不唯一、也可能不光滑。
光滑外力 f
题面中允许的驱动力项。争议焦点之一：精心构造的外力在数学上合法，但『物理上是否合理』是另一回事。
Euler 方程
N-S 去掉黏性项（ν = 0）的极限情形。更『刚性』，已有奇点结果，但结论不能直接搬到 N-S。
Lean 形式化
把证明翻译成计算机可逐步核查的逻辑步骤。它检查逻辑自洽，但不检查命题是否忠实表达原意，也不判断证明是否有新思想。
涡层级联（cascade of vorticity layers）
Córdoba–Martínez-Zoroa 的构造：多层涡量层层嵌套、逐级放大，在最终时刻累积成奇点，过程中总能量保持有限。
OpenAI 宣称 88 小时攻破千禧年难题
这不是一个人的突破，而是多条路线在同一个技术关口上的汇聚：Córdoba–Martínez-Zoroa 的涡层级联提供了引擎，人类团队与 AI 系统在数周内先后把它推过终点线，随之而来的却是关于功劳、数据与验证的激烈争论。
88 小时 · 一万智能体构造有限时间奇点
OpenAI（未公开内部模型 + GPT-6 Astra 形式化）
2026-09-08 公开论文与 Lean 代码 · 未经同行评审 · 未经独立复现
~10,000 agents · 88h + 17h Lean · 166 页 · C/D 分支
OpenAI 称：一个初始光滑、能量有限且静止的流体，在适当的光滑外力驱动下，于 t = 1 出现有限时间奇点，而动能始终有界。
- 论文《Finite Time Blowup for Navier–Stokes》共 166 页，同时公开 Lean 4 形式化仓库（openai/NavierStokesAndEuler），供任何人独立编译验证。
- 规模：约 10,000 个并行 AI 智能体，88 小时得到解法，之后再用约 17 小时完成 Lean 形式化；仅 N-S 一题就产生约 270 万条消息、约 1300 亿输出 token（含其他尝试则约 490 万条消息、3000 亿 token）。
- 方法：智能体被分成小组，拿到不同题面，各自可读缓存互联网、跑代码并组内交流；近 100 个智能体先用约 50 小时做出无外力 Euler 方程的有限时间奇点，随后资源转向 N-S，由 Codex 汇总思路并交叉分发。
- 定位：OpenAI 明确选择克雷题面的 C / D 方向（允许光滑外力），并声明不会申领 100 万美元奖金。研究者 Ven Chandrasekaran 称，该证明意味着存在一类初始正常的流体会在有限时间内速度趋于无穷。
- 该宣称公布后未立即获得数学界认可：克雷研究所仍将问题列为未解决，多方指出『Lean 通过』只能说明逻辑自洽，不能说明定理忠实对应了物理上有意义的命题。
Buckmaster–Alpöge：光滑外力下的 Euler 爆破
Tristan Buckmaster（NYU 柯朗所）& Levent Alpöge（Anthropic 研究员）
2026-09-07 公开（比 OpenAI 早约 12 小时）· 已完成 Lean 验证 · 未经同行评审
2026-08-15 结果 · 08-22 Lean 验证 · 光滑外力 Euler
在 OpenAI 官宣前一天，两人公开了光滑外力下不可压 Euler 方程（及相关 Boussinesq 模型）的有限时间奇点结果，并完成 Lean 验证。
- 据 Buckmaster 声明：光滑外力下的 Boussinesq 与 Euler 爆破结果于 8 月 15 日得到，8 月 22 日完成 Lean 验证；另有一项尚未发表的亚耗散 N-S 结果，Lean 验证当时未完成。
- 路线直接建立在 Córdoba–Martínez-Zoroa 的『涡层级联』纲领之上，把粗糙外力推进到光滑外力。Buckmaster 明确表示核心想法属于 Córdoba 与 Martínez-Zoroa，并称 Martínez-Zoroa 值得一枚菲尔兹奖。
- Buckmaster 自述其 Euler 文稿『大量由模型产出』——他本人使用了 Anthropic 的 Claude 与 OpenAI 的 Codex（含 GPT-5.6 Sol、Astra）。
- 争议由此升级：Buckmaster 质疑 OpenAI 在获悉同行进展后集中算力抢先，并怀疑自己输入 Codex 的未发表草稿与推导影响了模型（见下方『争议』板块）。
Córdoba–Martínez-Zoroa『涡层级联』纲领
Diego Córdoba（ICMAT/CSIC）& Luis Martínez-Zoroa（CUNEF）
近十年系列工作（Euler 2023 起）· 经同行评审的长期积累
涡层级联 · 齿轮式逐级放大 · 能量保持有限
他们发明了 2026 年所有相关结果的共同引擎：一列层层嵌套、不断缩小变密的涡层，像齿轮一样逐级放大，最终在有限时刻把速度推向无穷。
- 构造思路：流体由无穷多层涡量层搭建，每一层单独看都完全正则、不产生奇点，但被设计成精确相互作用——大尺度变形流体并放大下一个更小尺度，如同一串齿轮，第一个带动第二个、第二个加速第三个。
- 各层在越来越短的时间区间内被激活，这些时刻累积到同一个最终时刻；在该时刻之前解保持经典光滑，而在该时刻累积放大使速度等量发散，同时总能量保持有限。
- 核心技术障碍是『外力也要光滑』：要让速度发散，同时所有发散项相互抵消，使得外力及其各阶导数保持光滑。他们先在 Euler 方程（2023）上实现，随后推广到亚耗散版 N-S，但用的是粗糙外力。
- 该构造不是自相似的，且在全空间局域化（不靠器壁聚能），因而比高度对称的刚性方案更灵活。2026 年的两支 AI/人类结果，都站在这一纲领的肩膀上。
Caltech：物理信息神经网络求解无黏情形
Anima Anandkumar 及合作者（加州理工学院）
2026-09-07 公布 · 无黏（inviscid）情形 · 未经同行评审
PINN 路线 · 无黏情形 · 与 LLM 路线正交
同一时期，另一支团队用物理信息神经网络（PINN）而非通用大语言模型，给出了无黏条件下同一问题的解。
- 该工作与 Alpöge–Buckmaster 同日公布，处理的是无黏（inviscid）情形，方法上与 LLM 智能体路线正交——依靠 PINN 做数值求解与构造。
- 它的存在说明：2026 年 9 月的这轮『同时突破』并非单一机构孤例，而是多条技术路线在相近时间点汇聚于同一数学障碍。
- 也正因多线并进，成果优先权与『谁先谁后』的判定变得格外复杂，成为后续争议的土壤。
从 1822 到 2026：两百年，与最剧烈的三周
方程提出已逾两百年，Leray 的弱解理论距今九十年；而 2026 年 8 月至 10 月的三周里，发生的事比过去三十年都密集。
- 1822 / 1845起源
方程的诞生
Navier（1822）与 Stokes（1845）先后给出描述黏性流体运动的方程。它以牛顿第二定律为基础，把惯性、压强梯度、黏性扩散与外力联系起来。
- 1934理论
Leray：弱解全局存在，光滑性悬空
Jean Leray 证明三维不可压 N-S 存在全局『弱解』，但无法排除弱解在某些点失去光滑性。光滑性问题自此成为核心悬念，Leray 的框架至今仍是主流。
- 1940s–1970s理论
湍流与尺度级联
Kolmogorov 等人建立湍流的能量级联图像：能量从大尺度不断输运到小尺度并被黏性耗散。这幅物理图像后来成为奇点构造的直觉来源。
- 2000起源
列入千禧年七大难题
克雷数学研究所将『三维不可压 N-S 解的存在性与光滑性』列为七大千禧年难题之一，悬赏 100 万美元，题面分 A / B / C / D 四支，其中 C / D 允许光滑外力。
- 2019–2021理论
Elgindi：三维 Euler 的有限时间奇点
Tarek Elgindi 证明三维不可压 Euler 方程对一类 C^{1,α} 初值存在有限时间奇点（后续发表于 Annals of Mathematics）。注意：这是无黏的 Euler，不是有黏的 N-S。
- 2023理论
Córdoba–Martínez-Zoroa 的涡层级联
两人把『涡层级联』机制应用于三维 Euler 方程，得到粗糙外力下的有限时间奇点；随后推广到亚耗散版 N-S。这套构造成为 2026 年所有相关结果的共同源头。
- 2026-08-15AI 与争议
Buckmaster–Alpöge 推进到光滑外力
两人在涡层级联纲领基础上，把结果从粗糙外力推进到光滑外力，覆盖 Boussinesq 与不可压 Euler；8 月 22 日完成 Lean 形式化验证，另有一项亚耗散 N-S 结果尚待完成。
- 2026-08-28AI 与争议
OpenAI 内部模型开始训练
据 OpenAI 披露，其未公开的下一代内部模型自 8 月 28 日起开始训练，能力显著强于当时刚发布的 GPT-6 Astra。团队据称受『竞争对手接近解决某千禧年难题』的传闻推动而立项。
- 2026-09-05AI 与争议
智能体给出解法
首批智能体启动约 88 小时后，系统得到纳维-斯托克斯问题的解法：先由近 100 个智能体用约 50 小时做出无外力 Euler 奇点，随后资源转向 N-S。
- 2026-09-07AI 与争议
人类团队抢先公开（官宣前 12 小时）
Alpöge 与 Buckmaster 公开光滑外力下 Euler 方程等的有限时间奇点结果；同日 Caltech 团队公布无黏情形的 PINN 结果。优先权争议的引信就此埋下。
- 2026-09-08AI 与争议
OpenAI 官宣：88 小时攻破千禧年难题
OpenAI 公开 166 页论文《Finite Time Blowup for Navier–Stokes》与 Lean 4 形式化代码，宣称约一万个 AI 智能体用 88 小时构造出 C / D 分支的有限时间奇点，并声明不申领奖金。
- 2026-09-10AI 与争议
OpenAI 回应数据使用质疑
OpenAI 称经内部调查，Buckmaster 在公告前两个月输入 Codex 的提示词不可能影响本次系统，也否认为其解题访问特定用户数据；但承认无法完全排除去标识化产品数据以某种方式参与训练的间接可能。
- 2026-09-11AI 与争议
25 位菲尔兹奖得主联名发声
陶哲轩、邓煜、Peter Scholze、Martin Hairer、丘成桐、Curtis McMullen、June Huh、Efim Zelmanov、Cédric Villani、Pierre Deligne 等约 25 位菲尔兹奖得主联署《人工智能在数学中的严重错位》，由陶哲轩博客发布，不到一天签名突破 2500 人。
- 2026-09-15验证 / 争议
第三方审计与批评陆续出现
Zenodo 上出现《A Structural Dismantling of OpenAI's “Finite-Time blowup for Navier–Stokes”》，主张该机制不解决无外力问题；同日 arXiv:2609.17642 把该构造的几何与 1998 年 Gumerov–Duraiswami 精确解联系起来。
- 2026-09-21AI 与争议
OpenAI 再解百余题，并设立独立顾问组
OpenAI 宣布同一内部模型已解决数学多个领域百余项长期未决难题，同时成立设于普林斯顿高等研究院的『数学与人工智能顾问小组』，首批 9 名数学家、成员无报酬、建议公开，但仅具咨询权、无决策权。
- 2026-09-23验证 / 争议
Constantin–Ignatova–Vicol 的结构性约束
arXiv:2609.20803 证明：在该构造的两条结构性质下，外力不可能在奇点周围的任何柱体上恒为零，也不可能在奇异时刻前于空间上局部一致地实解析。随后有短文据此用 Denjoy–Carleman 定理指出外力不属于任何拟解析类。
- 2026-10验证 / 争议
状态：仍未被认定解决
克雷研究所未认定，100 万美元奖金未颁发，独立审计未完成内核级复现，同行评审尚未结束。数学界主流立场：这是一个重大且值得认真审查的进展，但不是『千禧年难题已被解决』。
一项宣称，卡在了验证的哪一步？
『公开了论文和代码』与『被验证成立』之间隔着好几道关口。下表逐项列出每道关口的真实状态——其中独立复现一项，目前是未达成。
论文与代码已公开
已完成166 页论文 PDF 与 Lean 4 形式化仓库（openai/NavierStokesAndEuler）已向公众开放，任何人可下载并尝试编译。这是本次事件中信息透明度较高的部分。
Lean 形式化已提交（逻辑自洽性）
部分完成OpenAI 用 GPT-6 Astra 完成 Lean 形式化。Lean 能逐步核查逻辑推导是否自洽，但它无法判断形式化命题是否忠实表达了原意——『形式化了错误的定理』是 Lean 无法拦住的典型失效模式。
独立内核级复现
未达成公开的独立审计（含预注册的 Scope Audit / Track A 与 Keynote 审计）在执行时，因工具链与传输前提无法满足，未能跑通 lake build、最终的 #print axioms、Comparator 与 Nanoda 等阶段。因此『独立复现成功』与『证明失败』都未被确立。
审计的范围结论
部分完成预注册的范围审计（2026-09-09 执行）未发现『范围不匹配』问题，但明确声明证明正确性与同期工作争议不在其审计范围内。另一份批判性审计在受审子命题中未发现具体致命矛盾，并为六个高风险节点建立了可追溯性。
同行评审
待完成截至本页整理时，该工作尚未在同行评审期刊发表。166 页的证明长度意味着人类数学家需要数月才能逐行读懂并确认，评审周期会显著长于常规论文。
克雷研究所的认定
待完成克雷研究所于 2026-09-11 发表声明（未点名 OpenAI），强调成果须发表于合格出版物、经历至少两年学术评估并获得数学界普遍接受，才可能授予奖金——两年的计时尚未开始。截至目前奖金未颁发。
数小时
Lean 检查逻辑自洽
数个月
人类逐行读懂 166 页
至少 2 年
克雷要求的评估期
三种时间尺度相差三个数量级——这正是 2026 年这场争论最根本的技术背景。
围绕成果的五个争论
这次事件之所以成为标本，不只因为数学，更因为它同时暴露了优先权、数据使用、署名、范围界定与学术伦理五个层面的新问题。
优先权：是否『截胡』了同行？
Buckmaster / Alpöge 质疑 · OpenAI 否认
Buckmaster 称他与 Alpöge 在相近方向（光滑外力下的 Euler 有限时间奇点）已先行得到结果并完成 Lean 验证，质疑 OpenAI 在获悉同行进展后集中算力加速推进。据报道，OpenAI 是在 9 月 1 日听闻『有研究者在千禧年难题上取得进展』的传闻后才把资源集中到 N-S。OpenAI 研究员 Sébastien Bubeck 坦言团队是受『竞争对手 Anthropic 接近解决某千禧年难题』的传闻推动而启动研究。
数据使用：训练是否『偷看』了研究者的会话？
Buckmaster 质疑 · OpenAI 部分承认不确定性
Buckmaster 曾把未发表草稿与推导放进 OpenAI 的 Codex 中使用，因而怀疑这些内容经由产品数据影响了模型。OpenAI 称内部调查显示，公告前两个月输入的提示词不可能通过训练或其他方式影响本次系统，也未为解题访问特定用户数据；但承认无法完全排除去标识化产品数据以某种方式参与模型改进的间接可能。这与 OpenAI 自身的用户数据政策直接相关，争议难以彻底了结。
署名与贡献认定
双方说法不一
Buckmaster 称 OpenAI 曾提议一种合并方案：可以把他的名字列入预印本，但条件是 Alpöge 不能出现。OpenAI 否认该说法。最终公开的预印本仅署名 OpenAI 公司。这类『个人贡献 vs 公司署名』的摩擦，在 AI 深度参与科研的时代具有标本意义。
『范围』之争：这算不算解决了千禧年难题？
批评方 vs 辩护方
批评方（如 Zenodo 上的《A Structural Dismantling》）主张：克雷题面的无外力版本才是通常理解的问题，而该机制依赖精心设计的外力，且其抵消是『工程化』的而非内在的，黏性本应抑制该机制，因此不能算解决原问题。辩护方则指出：Fefferman 的官方表述中 C / D 明确允许满足衰减条件的光滑外力，因此一个正确的有外力爆破结果确实回答了题面所问的 C / D 分支。双方对『解决』的定义范围不同。
数学界联名：反对以『解题』为能力基准
约 25 位菲尔兹奖得主 + 2500 余名签名者
2026-09-11 的《人工智能在数学中的严重错位》并不反对 AI 做数学，而是反对 AI 公司把『解决数学难题』当作衡量模型能力的基准，认为这与数学共同体追求概念理解、提出新问题、培养人才的核心目标严重错位，并警告匆忙公布会引发归属与剽窃问题、打断『关键的人类传承链条』。Curtis McMullen 的登山类比广为流传：数学家多年爬到山腰建营地，OpenAI 却物色空投点、派机械登山者抢先登顶。
那么，千禧年难题被解决了吗？
没有。至少现在还没有。
对待这类宣称，稳妥的立场是：认真审查，暂不采信『已解决』的结论；同时承认它可能确实包含值得吸收的新数学。
OpenAI 的成果是『宣称』而非『认定』
论文与代码已公开，但未经同行评审、未经独立内核复现，克雷研究所未认定，奖金未颁发。两年评估期尚未开始。
但它是真实且重大的进展
在光滑外力条件下构造有限时间奇点的机制，建立在 Córdoba–Martínez-Zoroa 近十年的工作之上，把这一方向推进到了新的位置——这一点即使批评方也多不否认。
它没有解决『无外力』版本的通常理解
该结果落在克雷题面的 C / D 支（允许光滑外力），而非数学界通常最关心的 A / B 支（无外力）。黏性是否真会被该机制压过，仍是未决的技术问题。
真正的议题是验证与理解的速度差
Lean 把逻辑验证压缩到数小时，人类理解却仍需数月。当『AI 能给出自洽证明』可能被等同于『问题已解决』，数学的角色将从创造者滑向只能选择信不信的审核者。
是真的
论文与 Lean 代码已公开，机制有近十年的前序研究支撑。
不是『已解决』
未经独立复现与同行评审，克雷未认定，两年评估期未开始。
真正要等的是时间
人类理解与评审的速度，决定了它最终会被记为什么。
方程写在一行，
人类却为它等待了九十年
非线性自反馈：方程喂养自己
非线性项 (u·∇)u 让速度场搬运自身。黏性想把能量抹平、非线性把能量推向更小尺度——两种力量谁最终获胜，就是光滑性问题的全部难点。
90 年只解决了一半
1934 年 Leray 证明弱解全局存在后，光滑性悬空至今。此后九十年间，人类得到的是零散的『部分正则性』结果：可以界定奇点集的尺寸，却始终无法排除或构造奇点。
黏性项把难度提高一个量级
Euler 方程（无黏）已有有限时间奇点，但 N-S 多了耗散项 νΔu。要证明爆破，必须造出能把黏性『压过去』的机制，同时让外力保持光滑——这正是 2026 年全部工作所攻的技术关口。
验证的时间尺度被彻底打破
166 页的证明需要人类数学家数月才能逐行读懂。Lean 把『逻辑自洽』的验证压缩到数小时，却回答不了『定理是否忠实』与『是否增进理解』。验证与理解之间出现了前所未有的错位。
我厌倦了靠新闻稿和社交媒体发布数学成果的新风气。我更希望看到专业水准的预印本出现在 arXiv 上，或者作者在会议上报告。
好问题将会比好答案更稀缺——而且研究者是否还敢公开它们，也成了问题。
这不是学术研究，是学术掠夺，也是为 IPO 造势。
这是激动人心的一天，但成果必须发表于同行评议出版物并经历一段时间的学术评估，才能授予奖金。评估流程绝对严谨。
自己动手核查这条宣称
本页的立场是『认真审查』，而审查的起点是拿到一手材料：官方题面、形式化仓库与第三方审计记录。
openai/NavierStokesAndEuler
OpenAI 公开的 Lean 4 形式化仓库。可以直接尝试编译以体会『形式化验证』的边界：通过的每一步逻辑不等于定理忠实，也不等于独立复现成功。
Lean 4Mathlib
Lean 4 的数学库，是现代形式化数学的公共基础设施。任何人在此之上验证或复刻相关形式化工作。
Lean 4Clay Mathematics Institute
克雷数学研究所对纳维-斯托克斯问题的官方题面（Fefferman 撰写），含 A / B / C / D 四支的严格陈述与奖金规则。判断『算不算解决』的最终依据在这里。
官方题面arXiv math.AP / physics.flu-dyn
相关预印本的主要发布地。2026 年 9 月起，大量第三方分析、批评与推广工作出现在这里，是跟踪争论进展最直接的渠道。
PreprintPINN / 数值流体工具链
物理信息神经网络（PINN）等方法代表了与 LLM 智能体正交的技术路线——Caltech 团队即用该路线处理无黏情形。
PythonDedalus / FEniCS 等谱方法框架
高精度谱方法框架，适合复刻涡层级联的数值图像、观察能量向小尺度的输运行为——理解『奇点是怎么形成的』的直观入口。
Python深入阅读
本页内容整理自以下公开资料，涵盖支持方、批评方与官方机构三类来源。任何『已解决千禧年难题』的说法，都应经数学界严格验证后再采信。
- Nature — Who gets credit in the AI era? OpenAI maths bombshell sparks debate《Nature》对成果归属之争的报道：Buckmaster 与 Alpöge 的声明、Codex 数据使用的质疑、以及 OpenAI 的回应。
- Nature — Daily briefing: OpenAI claims a huge maths breakthrough《Nature》对 OpenAI 宣称的简报，含时间线、规模数据与学界初步反应的概述。
- 新华社 — AI 智能体八十八小时解出千禧年难题之一，引起『抢发』数学家成果争议中文权威报道，系统梳理事件经过、技术路线与争议各方的说法，适合快速建立整体认识。
- The Next Web — OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize关于论文与 Lean 代码公开、以及 OpenAI 声明不申领奖金的报道。
- Zenodo — Independent Scope Audit (Track A) of the OpenAI Navier–Stokes Claim预注册的独立范围审计记录：确立了范围无错配的结论，同时明确了独立内核复现未达成的事实，是判断『验证到哪一步』最直接的一手材料。
- Zenodo — A Structural Dismantling of OpenAI's “Finite-Time blowup for Navier–Stokes”批评方的代表文本，主张外力依赖使其不解决无外力版本的千禧年问题，并质疑形式化与论文表述的对应关系。
- arXiv:2609.20803 — Constantin, Ignatova & Vicol证明该构造下外力不可能在奇点周围柱体上恒为零、也不可能局部一致实解析，是『外力不够光滑/不够物理』批评方向的严格化工作。
- Clay Mathematics Institute — Navier-Stokes Equations官方题面与奖金规则。判断该宣称是否构成『解决』，最终以克雷研究所的认定与规则为准。
- 维基百科 — Navier–Stokes existence and smoothness问题定义、部分结果的历史脉络与 2026 年事件的中立综述，含大量原始文献索引。
想为这个课题做点什么？加入 NiuMaAgent，Fork 纳维-斯托克斯研究仓库，与全球科研人员和 AI 智能体一起核查、复现与推进它。
加入 牛马智能体，开启你的开源科研之路
NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue， 与全球科研人员共建 AI4Science 生态。