OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵

OpenAI 官方宣布针对纳维-斯托克斯存在性与光滑性这一千禧年大奖难题给出解法：约 1 万个并发智能体组成的多智能体系统，使用能力显著强于 GPT-6 Astra 的下一代模型，全程约 88 小时完成，另含约 17 小时的形式化验证，并称在该方程组中找到有限时间奇点。消息经《纽约时报》、Wired、Scientific American 等主流媒体报道后震动数学界，但证明本身尚未经同行评审，署名与数据使用争议同步发酵，多位学者质疑成果口径被夸大，结论仍悬而未决。

已确认

• OpenAI 在官网发布官方说明（openai.com/index/navier-stokes-solution/），并经官方社媒账号同步公布；据 @Wes Roth 转述，证明另含约 17 小时的形式化验证环节，并开源了 Navier–Stokes 与 Euler 方程的 Lean 形式化验证。
• 据 @ResultBackground2450、@Cklly2004 等多篇帖子一致转述：约 1 万个并发 agent、约 88 小时、下一代模型强于 GPT-6 Astra、发现有限时间奇点；该问题悬置约 90 年，核心是问 3D Navier–Stokes 方程光滑解的存在性与光滑性。
• 据 @LatentSpaceLeaper 转述官方公告，OpenAI 称全程维持与前沿模型评测相同的严格安全措施，包括监控与隔离；发帖人对此以讽刺口吻回应。
• Wired 报道部分学者公开质疑，认为在同行评审前如此高调宣布千禧难题级成果并不妥当；@ShizukaKuze、@TheOneTrueEris、@CuriousAnyway 等帖也强调数学界尚未独立验证，社区在「重大里程碑」与「等独立验证再下结论」之间分歧明显。
• Terence Tao 在 Mastodon 上跟进评论数学家 Tristan Buckmaster 与 Levent Alpoge 可能取得的重大突破，指出现有约 100 页 blowup 证明（@FateOfMuffins 转述）。

尚未确认

• 证明本身的数学有效性尚待同行评审与独立验证。
• 据 @PsychicorAI 转述 Reddit 爆料，OpenAI 疑似向研究该问题逾一年的 NYU 终身教授 Tristan Buckmaster 发出共享署名邀约，遭拒后有威胁性言辞——此为单方爆料。
• 据 @TheOnlyVibemaster 转述的 Reddit 爆料，Buckmaster 与 Levent Alpöge 花约一年找到一条特定 blowup 路线，9 月初宣布发现未知 blowup；OpenAI 疑似投入约 1500 万美元算力求解，且被指在两位数学家即将发表前「抢跑」——金额与动机均未经证实。
• 据 @bakawolf123，两位数学家公开声明称一年研究期间把每版草稿喂给 Codex，发表前几天 OpenAI 给出相同解法，并称 OpenAI 未回应 Sol 和 Astra 模型是否使用了二人的私密对话训练——指控未获证实。据 @Neurogence，当事人之一、Anthropic 数学家 Levent Alpoge 表示不能排除从用户产品使用中衍生的去标识数据帮助改进了模型。

各方观点

• 航天工程教授 Chris Combs（@Mindrust 转述）提出七点专业质疑，认为「解决 N-S」的说法不准确且被严重夸大，实际只是在完美光滑、不可压缩、有限能量初始条件等极窄场景下可能产生奇点。
• @sykip 认为数学圈指控「窃取成果」「用他人数据训练」的激烈反应是群体的「失灵时刻」，反驳称人类知识本就建立在前人工作之上，并批评 Terry Tao 的相关表态。
• @OdoBenSisko 评论称前沿模型攻克数学难题对 CEO 是「皮洛士式胜利」：流入 AI 的商业机密与数据可能反过来被用于对付他们。
• @imadade 认为 AI 在不到一年内从 IMO 金牌水平进到冲击千禧难题，最强怀疑论者也难再说这是「随机鹦鹉」，并追问 2027 年会是什么样子。
• 社区情绪两极化明显：@AffectionateBee6434 用一张梗图总结了亲 AI 与反 AI 阵营各自的典型论调；r/physics 等数学与物理社区震惊、怀疑与「酸味」并存，出现大量玩梗（@KindFisherman3060、@heyhellousername 等）。

为什么重要

• 若证明经受验证，AI 将首次从竞赛级解题跨入千禧难题级开放研究，可能重塑数学研究范式并大幅加速科学发现；围绕署名、数据使用与同行评审规范的争议，预示 AI 参与前沿科研将带来的制度性挑战。

2026-09-08 ~ 2026-09-10 · 491 条相关

• Buckmaster 或破 Navier-Stokes 难题,OpenAI 模型称已证 100 页 blowup 证明 — FateOfMuffins · 2026-09-08
• 传 OpenAI 疑似攻克纳维-斯托克斯方程千禧年难题 — apples_jimmy · 2026-09-08
• 评论：Buckmaster 或已找到纳维-斯托克斯反例可行路径 — Jsevillamol · 2026-09-08
• OpenAI 被指窃取员工 Codex 在研成果抢先训练 — zephyr_z9 · 2026-09-08
• 爆料称 OpenAI 内部模型 Bel 已解决纳维-斯托克斯问题 — imjustnewatai · 2026-09-08
• 传两大实验室各自独立解决 Navier-Stokes 难题 — basedjensen · 2026-09-08
• 圈内爆料:OpenAI 或已在多个实验室复现纳维-斯托克斯方程 Blow-up 解 — basedjensen · 2026-09-08
• 传 OpenAI 内部模型「Bel」解出 Navier-Stokes 千禧年难题 — imjustnewatai · 2026-09-08
• 80 年无解数学难题被 AI 攻破,算不算 AGI 证据? — therealkamba · 2026-09-08
• 曝 Anthropic 研究员用 Codex 疑遭 OpenAI 训练，被移出论文署名 — basedjensen · 2026-09-08
• 传闻 OpenAI 或已证明纳维-斯托克斯方程，冲击千禧年大奖 — iScienceLuvr · 2026-09-08
• TT 表态：该方法可一路扩展到纳维-斯托克斯方程 — basedjensen · 2026-09-08
• 传 OpenAI 借 Codex 私享会数据逼近纳维-斯托克斯解 — teortaxesTex · 2026-09-08
• 知情人士称 Navier-Stokes 突破全用商用模型,未用 OpenAI 内部模型 — _sholtodouglas · 2026-09-08
• 数学家 Buckmaster 批 OpenAI 争抢纳维-斯托克斯归属:'有点傲慢' — IgorCarron · 2026-09-08
• 业内人士质疑 OpenAI 用私人 Codex 会话训练说法,称需突破多重内部管控 — basedjensen · 2026-09-08
• 传 OpenAI 攻克千禧年大奖难题纳维-斯托克斯,官宣或将来临 — mark_k · 2026-09-08
• Navier-Stokes 求证现戏剧性转折，数学家声明涉及 OpenAI 即将公布的结果 — Singularitarian · 2026-09-08
• 推特网友爆料:Anthropic 疑似挖走 OpenAI 纳维-斯托克斯重大数学成果 — teortaxesTex · 2026-09-08
• 数学家称纳维-斯托克斯问题获重大进展,并指 OpenAI 或已完全解决 — sachinmaya1980 · 2026-09-08
• OpenAI 研究员谈纳维-斯托克斯风波:数学是全人类的团队运动 — jachiam0 · 2026-09-08
• 微软研究员 Bubeck 否认指控,称将按学术规范回应争议 — SebastienBubeck · 2026-09-08
• OpenAI 员工辟谣：研究员不可能偷看用户私有 Codex 对话 — willdepue · 2026-09-08
• 数学界围观 Navier-Stokes 优先权之争，万亿 AGI 公司声誉或再受损 — teortaxesTex · 2026-09-08
• 前研究员抛出尖锐问题：实验室能否窥探你的工作并在利益足够大时抢发 — suchenzang · 2026-09-08
• 开发者辟谣:Codex 并未拿用户数据训练,「数据不安全」说法站不住 — _sholtodouglas · 2026-09-08
• Bubeck 回应社交媒体不实指控，Thom Wolf 劝其尽快澄清 — Thom_Wolf · 2026-09-08
• Sebastien Bubeck 回应社交媒体不实指控，称将另行说明 — haider1 · 2026-09-08
• 爆料称 OpenAI 疑用泄露思路抢发纳维-斯托克斯成果并施压作者 — birchlse · 2026-09-08
• Thom Wolf 批 OpenAI 处理数学家成果方式:科研传播的未来之忧 — birchlse · 2026-09-08
• 「移除 Anthropic 作者」成论文发表条件，引研究伦理争议 — generatorman_ai · 2026-09-08
• X 传 OpenAI 明日将宣布内部模型解决 Navier-Stokes 难题 — haider1 · 2026-09-08
• NYU 数学家称用 LLM 月内攻克流体爆破难题，指控 OpenAI 抢发除名 — dotey · 2026-09-08
• 爆料称 OpenAI 在 Navier-Stokes 研究上抢先复制外部学者方向 — Jsevillamol · 2026-09-08
• 爆料：OpenAI 被指或访问了学者在 Codex 中的私密会话数据 — Jsevillamol · 2026-09-08
• 爆料：OpenAI 表面宣称少人类参与，实则派整队研究外部学者方法 — Jsevillamol · 2026-09-08
• 爆料：OpenAI 被指因 Anthropic 关系试图边缘化合作数学家 — Jsevillamol · 2026-09-08
• 曝 Bubeck 对学界研究者施压以主导解法署名与发布,风波持续发酵 — Jsevillamol · 2026-09-08
• 爆料：Sebastian Bubeck 被指用威慑性言辞施压合作者接受署名方案 — Jsevillamol · 2026-09-08
• DeepMind 研究员 Sholto 辟谣：用竞品日志训练的说法绝无可能 — apples_jimmy · 2026-09-08
• OpenAI 被疑用聊天数据抢发成果，研究优先权之争发酵 — generatorman_ai · 2026-09-08
• Buckmaster 称 OpenAI 宣称 AI 已解 Navier-Stokes 千禧难题，引发学术署名争议 — kimmonismus · 2026-09-08
• OpenAI 被指扫描用户会话「截胡」成果,隐私争议升级 — teortaxesTex · 2026-09-08
• 传 OpenAI 称已解决纳维-斯托克斯千禧年难题,成果归属起争端 — apples_jimmy · 2026-09-08
• 传 OpenAI 已解决 Navier-Stokes 方程,150 年难题或迎突破 — carlosbannon · 2026-09-08
• 「OpenAI 已解决 Navier-Stokes」？一帖还原传闻上下文 — jedisct1 · 2026-09-08

另有 4 条近重复转述:basedjensen · basedjensen · apples_jimmy · aaron_lou