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

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

Sam Altman 在 Fortune Magazine 主编 Alyson Shontell 的访谈中称，AI 数学能力三年间指数级跃升：3 年前小学数学都不算好，2 年前在 AIME 取得高分，1 年前勉强拿到 IMO 金牌，而今年夏天解决了千禧年大奖难题。他表示把这一曲线再外推 4 次，就是人们所担忧的情形。

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

25位菲尔兹奖得主签署公开信，警告AI实验室竞争威胁数学家的智力工作与开放研究文化。NYU教授Tristan Buckmaster指控OpenAI施压其不为一位Anthropic员工署名，OpenAI随后退出CalTech数学活动赞助，其证明仍未经验证。

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

一位研究人员称，OpenAI 使用对话数据进行训练，随后宣称取得突破性进展。该说法由 Hacker News 用户转发，原帖来自 Bluesky，HN 热度为 114 分。

继 NYU 教授 Tristan Buckmaster 公开质疑后，数学家 Andreas Thom 在 Mastodon 指控 OpenAI 不透明且不诚实，担心他与同事和 ChatGPT 的互动可能进入了训练数据，并促成 OpenAI 上月宣布的 10 项结果之一，该非 sofia 群结果大量依赖 Thom 和 Gábor Kun 的先前工作。

阿里云开发者详述“架构师 Agent”如何用领域知识结构解决存量系统“局部正确、整体错误”问题。Anthropic 经济情景探索器假设到 2030 年 AI 可完成约半数知识工作，极端情景下年 GDP 增速达 15%。AI Engineer 介绍递归语言模型（RLM），将长上下文放入 Python REPL 执行环境，使长链推理准确率从 2.6% 提升至 45.4%。

BestBlogs 09-10 早报精选 10 篇 AI 内容：阿里云开发者详解架构师 Agent 在存量分布式系统中的落地；Anthropic 情景探索器推演 AI 对就业的多路径影响；RLM 将长上下文保留为 REPL 可操作对象。

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万美元。

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 年。

NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。

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