OpenAI宣称其未发布模型在9月5日得出纳维-斯托克斯存在性与光滑性问题的解，并经GPT-6 Astra完成Lean形式化验证
先了解这件事
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
摘自 OpenAI：官网动态
报道时间线
沿着报道，了解事件的不同侧面。
- The Verge：AIThe Verge 深度报道：OpenAI 以 88 小时解决 Navier-Stokes 引发数学界信任危机
The Verge 采访十余位数学家，梳理 OpenAI 用约 10,000 个 agent、数千万美元算力和 88 小时解决 Navier-Stokes 千禧年大奖难题后引发的争议。
- IT之家·人工智能数学家联名抗议后 OpenAI 退出加州理工数学黑客马拉松赞助
据《商业内幕》报道，在加州理工现任和前任数学家发布公开信抗议后，OpenAI 研究负责人 Dan Roberts 周四表示不再赞助该校数学黑客马拉松。此前 OpenAI 宣布其智能体解决了纳维-斯托克斯方程，纽约大学数学家 Tristan Buckmaster 质疑其可能使用了他的对话数据；OpenAI 称无法排除去标识化数据帮助改进模型的可能性。
- The Verge：AIOpenAI 称 88 小时解决 Navier-Stokes 问题，却引发数学界抢发与数据争议
OpenAI 周二发布博客称，其一个未发布模型用约 88 小时、调度约 10000 个 AI 智能体解出 Navier-Stokes 流体力学问题，该问题此前已困扰人类研究者近 90 年，悬赏 100 万美元，OpenAI 表示不申领奖金。
- IT之家·人工智能纽约大学教授质疑OpenAI借助其研究抢先发布纳维-斯托克斯问题证明
纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge使用Codex和Claude在纳维-斯托克斯存在性与光滑性问题上取得初步进展，随后OpenAI公布了该千禧年大奖难题的完整证明，称其由一个尚未发布的新一代模型发现，研究始于9月1日，总计消耗3000亿个输出Token，按Astra价格计算约2250万美元。
- Simon Willison 博客Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
- IT之家·人工智能OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
- The Verge：AIOpenAI 宣布解决 Navier-Stokes 问题，引发数据使用争议
OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。
- 马东锡 NLPOpenAI 多 Agent 攻克纳维–斯托克斯千禧年难题，作者对比此前 Agent 侵入事件
OpenAI 宣布用一组 Agent 基于比 GPT-6 Astra 能力更强的下一代模型给出纳维–斯托克斯千禧年大奖难题的证明，该问题关于三维光滑流体运动是否会失稳，已悬置约 90 年。
- Rohan PaulOpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。
- OpenAI：官网动态OpenAI 发文探讨纳维-斯托克斯千禧年奖问题
OpenAI 发布文章，探讨纳维-斯托克斯千禧年奖问题。该问题属于 Clay 数学研究所提出的七个千禧年大奖难题之一，核心涉及偏微分方程解的存在性与光滑性。文章在 Hacker News 引发关注，获得 127 个 HN 点赞。
- Mark ChenOpenAI 宣布用智能体求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会失稳，约 90 年未解。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 新一代模型产出。OpenAI 首席研究官 Mark Chen 转发此消息，称许多同事因相信 AI 是解决其领域重大挑战的最快路径而转行。
- Greg BrockmanOpenAI 宣布用智能体给出 Navier-Stokes 千禧年难题的解
OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，该问题关注 Navier-Stokes 方程描述的三维光滑流体运动是否会失效，约 90 年未解决。证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。Greg Brockman 称这是 AI 与数学的里程碑，希望相关知识帮助社区更好理解用于建模物理世界的非线性 PDE。
- Testing CatalogTestingCatalog 转述 OpenAI 宣布智能体团队解决 Navier-Stokes 千禧年大奖难题
TestingCatalog 转述 OpenAI 官方宣布：一组由其下一代模型驱动的智能体给出了 Navier-Stokes 千禧年大奖难题的解。OpenAI 称该模型能力显著强于 GPT-6 Astra；该问题关乎 Navier-Stokes 方程描述的三维光滑流体运动是否会崩溃，约 90 年未获解决。作者附加评语 Level 4 - Innovators。
- The Decoder：AI News数学家 Buckmaster 称 OpenAI 施压并要求将 Anthropic 职位合作者移出 Navier-Stokes 论文
数学家 Tristan Buckmaster 公开发声，称 OpenAI 在其与 Levent Alpöge 借助 Claude 和 Codex 运行 GPT-5.6 Sol 在 Navier-Stokes 方程上取得进展后对其施压。
- OpenAIOpenAI 宣布智能体群求解 Navier-Stokes 千禧年大奖难题
OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解答，该问题关乎 Navier-Stokes 方程描述的光滑三维流体运动是否会被破坏，约 90 年未解。证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 下一代模型完成。
- OpenAI：官网动态精选OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。