OpenAI 官宣万智能体破解纳维-斯托克斯难题,陷成果归属争议
09-08 起,OpenAI 从传闻到官宣破解纳维-斯托克斯千禧年大奖难题,同时围绕成果归属的争议持续发酵:多位研究者指 OpenAI 疑利用数学家的 Codex 私有会话抢先复现并发布相同解法,争点延伸到署名伦理、机构施压与科学传播方式。OpenAI 尚未正面回应对话数据使用等核心指控,数学界对证明有效性与「解决」口径也在审视中。
已确认
- OpenAI 于 09-09 官宣给出纳维-斯托克斯存在性与光滑性问题的解法,官方说明发布于 openai.com/index/navier-stokes-solution/,称「捕获」了这一悬置约 90 年、悬赏 100 万美元的千禧年难题(m10、m8、m1)。据官方口径与多家转述,证明由约 1 万个智能体并行运行 88 小时产出,使用比 GPT-6 Astra「能力显著更强」的下一代模型;Polymarket 转述称过程消耗约 1300 亿输出 token,开发者 Will Depue 转述的规模则为 490 万条消息、3000 亿 token,两处数字口径不一(m14、m9、m20)。
- 据 Axios 与 Wired 报道及 scaling01 转述,项目于 9 月 1 日启动,起因是 OpenAI 研究员听到「两个千禧年难题已被解决」的传闻(m17)。Will Depue 分析称,OpenAI 解法的正当性取决于其是否预置了对方线索,团队则完全否认借鉴任何已有工作(m19、m20)。
- 普林斯顿数学教授 Tristan Buckmaster 与 Levent Alpöge 发公开声明称,二人花约一年借助 Codex 攻克该难题、每版草稿均喂给 Codex,就在发表前几天 OpenAI 突然给出相同解法;被问及 Sol 和 Astra 模型是否用二人私密对话训练时,OpenAI 未作回应(m2、m12)。
- 数学家 Tristan Buckmaster 公开批评 OpenAI 争抢成果归属,称做法「有点傲慢」、残酷不留情面,希望攻克难题能激发更多协作而非内斗;Terence Tao 也在 Mastodon 上跟进评论现有证明进展(m6 相关转述)。TurnTrout 声援指控者,称 OpenAI 研究高层(包括 Sebastian Bubeck)被指以近乎恐吓的手段抢功,其以前实习生身份表示指控可信。
- AI2 联合创始人 Thom Wolf 转述指 OpenAI 得知数学家进展后用最新模型沿其方向推进、试图控制成果传播并施压将 Levent 从署名中剔除,称这是对待数学家工作和科学传播的糟糕方式(m16)。另有转发称 OpenAI 曾向一位知名数学家施压要求配合「学术造假」但被拒绝。
- 研究者 jachiam0 梳理指控原文指出外界误读:争议实为 Seb 是否该把未参与贡献的 Levent 列入 OpenAI 内部成果署名;arohan 则指出 Tristan 一面如此主张、一面以第一作者身份占据该内部成果功劳,叙述存在不清晰之处。jachiam0 另呼吁行业放下抢发焦虑,强调数学是全人类的团队运动。
- a16z 合伙人 Lisha Li 与 OpenAI 数学家 Mehtaab Sawhney、Mark Sellke 对谈,指出近期多项 AI 数学成果的推理轨迹「像极了人类专家」。《纽约时报》《科学美国人》均报道此事件,后者认为这一进展将改变数学领域的研究方式(m11、m3、m4、m7)。
尚未确认
- 公开信中对 OpenAI 利用 Codex 私有会话训练、监控提示、施压剔除署名乃至要求配合「学术造假」等指控均来自当事人陈述与转述,OpenAI 未正面回应,私密对话是否被用于训练尚无定论。
- 证明本身能否经受数学界严格验证仍在审视中,社区对其有效性与「解决」口径存在质疑;Token 消耗等具体数字在不同转述间存在 1300 亿与 3000 亿的差异。
- 外界对争点解读仍有分歧:jachiam0 认为核心是「OpenAI 内部成果该署谁的名」而非「抢发外部成果」,arohan 则指出 Tristan 自身署名说法也缺乏清晰解释。
为什么重要
- 若 OpenAI 在公告中夸大 AI 自主能力(如宣称极少人类参与)而同时被指依赖他人私有会话线索,将系统性影响公众与学界对 AI 实验室成果的信任。
- 事件触及 AI 时代科研成果署名、机构宣传边界与用户对话数据使用伦理,多位署名数学家联名发声,已从个人纠纷升级为对 OpenAI 研究管理文化的公开质疑。
- 千禧年大奖难题背景叠加万级智能体 88 小时产出证明的规模叙事,使事件成为 AI for Mathematics 的标志性案例,多方呼吁以协作取代公司间内斗,对前沿 AI 与数学界合作模式具有示范意义。
2026-09-08 ~ 2026-09-09 · 136 条相关
- 第 1 集:陶哲轩提议将部分数学开放问题划为 AI 禁区(2026-09-03,2 条)
- 第 2 集:传Claude攻克纳维-斯托克斯难题,陶哲轩发文回应(2026-09-05,9 条)
- 第 3 集:传 Anthropic 已用 Claude 攻克纳维-斯托克斯千年难题(2026-09-06,2 条)
- 第 4 集:陶哲轩批闭源实验室证定理是病毒式营销(2026-09-06,2 条)
- 第 5 集:陶哲轩澄清纳维-斯托克斯传闻:Claude解题系误读(2026-09-06,2 条)
- 第 6 集:AI 证明 ζ(5)(3) 无理性引发数学圈专业与业余之争(2026-09-07,16 条)
- 第 7 集:数学家指 OpenAI Astra 数学成果涉研究不端(2026-09-07,2 条)
- 第 8 集:陶哲轩再谈 AI 引热议,Gary Marcus 称「火热」(2026-09-08,2 条)
- 第 9 集:传 Anthropic 的 Claude 解开纳维-斯托克斯千禧年难题(2026-09-08,3 条)
- 第 10 集:OpenAI 官宣万智能体破解纳维-斯托克斯难题,陷成果归属争议(2026-09-08,136 条)
- 第 11 集:陶哲轩评流体方程爆破新突破,AI 辅助证明已 Lean 形式化(2026-09-08,8 条)
- 第 12 集:数学界感慨:前沿 AI 实验室本可联手形式化解决 Navier-Stokes(2026-09-08,2 条)
一手来源
- OpenAI 宣布用下一代模型解出悬置 90 年的纳维-斯托克斯千禧难题 — OpenAI ·
- 两位数学家指 OpenAI 疑窃取其成果,拒答是否用私聊训练 — bakawolf123 ·
- OpenAI 称万级 Agent 并行 88 小时产出纳维-斯托克斯千禧奖证明 — scaling01 ·
- 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
- 曝 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 攻克千禧年大奖难题纳维-斯托克斯,官宣或将来临 — 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
- 数学界围观 Navier-Stokes 优先权之争,万亿 AGI 公司声誉或再受损 — teortaxesTex · 2026-09-08
- 爆料称 OpenAI 疑用泄露思路抢发纳维-斯托克斯成果并施压作者 — birchlse · 2026-09-08
- Thom Wolf 批 OpenAI 处理数学家成果方式:科研传播的未来之忧 — birchlse · 2026-09-08
- X 传 OpenAI 明日将宣布内部模型解决 Navier-Stokes 难题 — haider1 · 2026-09-08
- NYU 数学家称用 LLM 月内攻克流体爆破难题,指控 OpenAI 抢发除名 — dotey · 2026-09-08
- Buckmaster 称 OpenAI 宣称 AI 已解 Navier-Stokes 千禧难题,引发学术署名争议 — kimmonismus · 2026-09-08
- 传 OpenAI 称已解决纳维-斯托克斯千禧年难题,成果归属起争端 — apples_jimmy · 2026-09-08
- 传 OpenAI 已解决 Navier-Stokes 方程,150 年难题或迎突破 — carlosbannon · 2026-09-08
- 「OpenAI 已解决 Navier-Stokes」?一帖还原传闻上下文 — jedisct1 · 2026-09-08
- OpenAI 署名风波再起:争的其实是内部成果给谁 — jachiam0 · 2026-09-08
- 纳维-斯托克了两百年,最后功劳被 OpenAI「接管」 — imjustnewatai · 2026-09-08
- 独立研究者称在 Claude 协助下逼近 Navier-Stokes,指控 OpenAI 窃用其方法 — scaling01 · 2026-09-08
- 数学家控诉 OpenAI:得知两人即将抢先证明后阻止成果发布 — IgorCarron · 2026-09-08
- OpenAI 神秘模型攻破 N-S 方程关键难题,数学界迎 AlphaGo 时刻 — 新智元 · 2026-09-08
- Navier-Stokes 千禧难题若被 AI 攻克,将意味着什么 — kimmonismus · 2026-09-08
- OpenAI 被指抢发纳维-斯托克斯成果,还施压数学家甩掉 Anthropic 合作者 — burny_tech · 2026-09-08
- 研究者谈 N-S 证明风波:AI 时代传闻已足以破题,保密将成常态 — Afinetheorem · 2026-09-08
- 传闻 OpenAI 内部模型 Astra 求解纳维-斯托克斯方程,圈内热议 — haider1 · 2026-09-08
- Yacine 调侃 OpenAI「解决」了纳维-斯托克斯方程 — yacineMTB · 2026-09-08
- AI 连破数学猜想引爆学界争论:数学家被迫「全体上车」 — yacineMTB · 2026-09-08
- Navier-Stokes 证明争议升级:Buckmaster 指控 OpenAI 抄近路并拒答质疑 — eyishazyer · 2026-09-08
- OpenAI 或已攻克流体力学数学难题,过程靠 Claude 与 Codex 生成证明候选 — eyishazyer · 2026-09-08
- Navier-Stokes 风波:OpenAI 与 Anthropic 被指各自独立破解百年难题 — inductionheads · 2026-09-08
- 被指窃取 Codex 记录成果?OpenAI 陷百万美元 Clay 奖争议风暴 — OwariDa · 2026-09-08
- 曝 OpenAI 索要数学证明,条件是抛弃供职 Anthropic 的合著者 — rickasaurus · 2026-09-08
- 流体力学学者吐槽:Navier-Stokes 的 AI 辅助进展爆出戏剧性风波 — MikePFrank · 2026-09-08
- 曝 Navier-Stokes 人类+AI 证明将公布,OpenAI 内部亦有证明 — matthew_d_green · 2026-09-08
- 数学家控诉 OpenAI 疑用其 Codex 私有会话记录复现纳维-斯托克斯解法 — jm_alexia · 2026-09-08
另有 3 条近重复转述:imjustnewatai · AI寒武纪 · eyishazyer