The Verge 深度报道：OpenAI 以 88 小时解决 Navier-Stokes 引发数学界信任危机

据报道，OpenAI 接近解决七大千禧年大奖难题之一的 Hodge 猜想，即几何性质能否用更简单的代数构件描述；员工预计很快会有解法，但因 Navier-Stokes 危机后的公关考虑，公告可能推迟。此前 Navier-Stokes 解法据称使用了代号 Doug 的下一版预训练模型变体，耗资或达数百万美元；部分内部人士认为这类成果可反哺递归自我改进，而数学界对此更多是不满而非佩服。

据 The Information 援引知情人士消息，OpenAI 员工预计千禧年大奖难题之一的霍奇猜想有望在不久后得到解决，但即使找到解法也可能不会立即公布，公司正考虑如何与数学界合作发布消息。

克雷数学研究所（CMI）表示 2000 年设立的七大千禧年大奖难题之一 Navier-Stokes 问题“显然已被解决”，该题悬赏 100 万美元，询问三维流体运动方程是否总有光滑完整解，解法正在审阅中。

两位哲学家在 Terence Tao 博客发文，回应 OpenAI 于 2026 年 9 月 8 日宣布用 AI 产出 Navier–Stokes 存在与光滑性问题的答案一事。

The Verge 采访十余位数学家，梳理 OpenAI 用约 10,000 个 agent、数千万美元算力和 88 小时解决 Navier-Stokes 千禧年大奖难题后引发的争议。

据《商业内幕》报道，在加州理工现任和前任数学家发布公开信抗议后，OpenAI 研究负责人 Dan Roberts 周四表示不再赞助该校数学黑客马拉松。此前 OpenAI 宣布其智能体解决了纳维-斯托克斯方程，纽约大学数学家 Tristan Buckmaster 质疑其可能使用了他的对话数据；OpenAI 称无法排除去标识化数据帮助改进模型的可能性。

OpenAI 宣布解决了纳维-斯托克斯方程的一个长期悬而未决的问题，并在人类可读证明之外同时发布了 Lean 4 形式化证明。作者 ibobev 引用估算称按旧标准形式化其 166 页论文需约 132,800 人时，而 OpenAI 用 17 小时完成 Lean 验证，成本下降约四个数量级；作者认为形式化验证还可用于安全策略、智能合约和关键算法校验。

数学家 Andreas Thom 指责 OpenAI 在非 sofic 群结果上行为不诚实，质疑他与 ChatGPT 的互动可能进入了训练数据。此前 NYU 教授 Tristan Buckmaster 也质疑 OpenAI 是否受益于其 unpublished 工作；OpenAI 否认访问过特定用户数据，但不排除去标识化数据的间接影响。多位研究者担心此类事件会促使数学界走向更保密。

OpenAI 周二发布博客称，其一个未发布模型用约 88 小时、调度约 10000 个 AI 智能体解出 Navier-Stokes 流体力学问题，该问题此前已困扰人类研究者近 90 年，悬赏 100 万美元，OpenAI 表示不申领奖金。

数学家 Tristan Buckmaster 指控 OpenAI 施压、拒绝其合作者 Levent Alpöge（任职于 Anthropic）署名，且可能用两人上传到 Codex 的草稿训练模型，称其为绝对学术不端。

纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。

Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。

Muse 在美国上线，支持 iOS、Android、网页及 WhatsApp，提供免费版及每月 20/100 美元方案。OpenAI 推出 ChatGPT Images 2.5，速度提升最高 50%，并新增 Sketch 工具。Anthropic 对齐负责人称个人认为 AI 十年内杀死所有人的概率超 10%。

Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。

OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。

OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。

NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作，借助 Codex 和 Claude 模型对 Navier–Stokes 光滑性问题取得阶段性证明。

OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。

OpenAI 宣布用一组 Agent 基于比 GPT-6 Astra 能力更强的下一代模型给出纳维–斯托克斯千禧年大奖难题的证明，该问题关于三维光滑流体运动是否会失稳，已悬置约 90 年。

OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。

OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。

OpenAI 发布文章，探讨纳维-斯托克斯千禧年奖问题。该问题属于 Clay 数学研究所提出的七个千禧年大奖难题之一，核心涉及偏微分方程解的存在性与光滑性。文章在 Hacker News 引发关注，获得 127 个 HN 点赞。

OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会失稳，约 90 年未解。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 新一代模型产出。OpenAI 首席研究官 Mark Chen 转发此消息，称许多同事因相信 AI 是解决其领域重大挑战的最快路径而转行。

OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解答，该问题关乎 Navier-Stokes 方程描述的光滑三维流体运动是否会被破坏，约 90 年未解。证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 下一代模型完成。

OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解，该问题关注三维光滑流体运动的描述是否会失效，已悬置约 90 年。

OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解法，证明由一组智能体使用一个 OpenAI 下一代模型完成，官方称该模型能力显著强于 GPT-6 Astra。该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失解，约 90 年未决。Elvis Saravia 转发并评论称，若 GPT-6 Astra 已有此水平，下一代模型值得期待。

OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失效，约 90 年未解决。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。Greg Brockman 称这是 AI 与数学的里程碑，希望相关知识帮助社区更好理解用于建模物理世界的非线性 PDE。

TestingCatalog 转述 OpenAI 官方宣布：一组由其下一代模型驱动的智能体给出了 Navier-Stokes 千禧年大奖难题的解。OpenAI 称该模型能力显著强于 GPT-6 Astra；该问题关乎 Navier-Stokes 方程描述的三维光滑流体运动是否会崩溃，约 90 年未获解决。作者附加评语 Level 4 - Innovators。

数学家 Tristan Buckmaster 公开发声，称 OpenAI 在其与 Levent Alpöge 借助 Claude 和 Codex 运行 GPT-5.6 Sol 在 Navier-Stokes 方程上取得进展后对其施压。