OpenAI 提出 Navier–Stokes 千禧年难题解答：一万智能体、1300 亿 token 与数学界反弹
验证：✔ 已核（官方页 2026-09-07 一手链接经 403 拦截，9-14 以官方页搜索引擎摘要+多源交叉核；关键数字 1 万智能体/88 小时/1300 亿 token/270 万消息/Astra 17 小时 Lean 均与官方原文一致）。⚠ 结论表述校准：OpenAI 是「提出解答」，Lean 形式化与 Clay 官方评审/独立验证仍在进行，勿写「已解决」。
时间线
| 日期 | 节点 |
|---|---|
| 9-8 | 前兆（存疑线索）：英文源仅见「OpenAI 研究宣称模型提出 Navier–Stokes 解」标题级信息 |
| 9-9 | 官宣：openai.com/index/navier-stokes-solution/ ——未发布的下一代内部模型驱动约 1 万智能体协作 88 小时得出解答；证明 PDF 与 Lean 形式化公开；OpenAI 称不申领千禧年大奖 |
| 9-9 | 署名争议：数学家 Buckmaster 发声明——OpenAI 获悉其与 Alpöge 的研究进展后启动、提议由其单独撰文、Alpöge 因任职 Anthropic 被排除署名、质疑 Codex 草稿是否用于训练；OpenAI 回应称研究由相关传言触发、曾希望协调发布并认可两人优先性 |
| 9-12 | 25 位菲尔兹奖得主联署批评 AI 公司竞逐数学难题（mathandai.org）：仓促发布引发归因与验证问题；OpenAI 随后退出 Caltech 数学马拉松赞助；另有消息称其正用内部新模型挑战黎曼猜想 |
硬参数（多源交叉核过）
- 约 1 万个并发智能体协作，88 小时得出解答；约 1300 亿输出 token；单题消息 270 万条（全部尝试题目合计 490 万条）
- 智能体群由未发布的下一代内部模型驱动（报道普遍称能力高于 GPT-6 Astra）；GPT-6 Astra 再用 17 小时完成 Lean 形式化与验证
- 问题本身：Navier–Stokes 存在与光滑性，七道千禧年大奖难题之一（Clay，各悬赏 100 万美元），约 90 年悬而未决
- 成本：OpenAI 研究负责人 Mark Chen 给出了运行成本估算（二手转述，具体数字成稿前再核）
- ⚠ 第三方分析指出「Lean 4 verification is not finished」；Clay 有自己的严格评审流程，奖金未进入发放程序
为什么重要（多角度）
- 求解模式：与两周前费马证明（W36 事件 4，11 天/60 亿 token）同一配方——DAG 拆解+海量智能体并行+Lean 机器检验，但规模放大 20 倍（60 亿→1300 亿 token）、模型换成更强内部版本——「AI 数学研究所」开始流水线化；
- 科学伦理风暴眼：Buckmaster 声明暴露「AI 实验室获知人类进展后抢跑」的新伦理问题——署名权、数据来源（Codex 草稿是否入训练）、发布协调，全是无先例可循的灰色地带；
- 数学界的制度化反弹：25 位菲尔兹奖得主联署是数学共同体对「竞逐难题」的首次集体表态——OpenAI 退出赞助是直接后果；
- 不申领大奖的姿态：OpenAI 主动放弃 100 万美元奖金申领——商业公司做「纯科学贡献」的形象工程，与署名争议同框，读者自行评判。
各方反应
- Buckmaster/Alpöge：声明与被排除署名（9-9）
- 25 位菲尔兹奖得主：联署批评（9-12）
- CoinDesk 标题「now mathematicians are fighting」；知乎/数学 Twitter 激辩「形式化≠理解」
- Clay 数学研究所：按既定评审流程处理（未特批）
来源分级
- ✔ 一手：https://openai.com/index/navier-stokes-solution/ （403 拦截但搜索引擎摘要含原文关键句）＋ 证明 PDF cdn.openai.com/…/navier-stokes.pdf
- ✔ 一手（反方）：https://cims.nyu.edu/~tristanb/statement.pdf （Buckmaster 声明）
- ✔ 一手：https://mathandai.org/ （菲尔兹奖得主联署）
- ⚠ 二手：CoinDesk/Instagram 官方数字转述；「挑战黎曼猜想」为单一消息源
写作钩子（我们独有的）
- 与 W36 费马证明连读：同一配方两周两次（11 天/60 亿 → 88 小时/1300 亿），「AI 数学流水线」的规模曲线本身就是文章——正好用我们知识星图「Harness 工程」板块做技术拆解；
- 署名争议是「AI 时代科研伦理」的第一批真实案例：抢跑、排除署名、数据混用——每一个都能展开成独立科普；
- 「不申领大奖」的公关姿态 vs Clay 评审未完成的事实——教读者区分「提出解答」「通过 Lean 检验」「获 Clay 认可」三件事（呼应我们资讯页三级核实方法论）。