OpenAI's 10,000-agent sprint on Navier-Stokes sparks academic dispute
A long post recounts how OpenAI used its next-generation model to drive 10,000 agents to produce a 165-page proof in 88 hours, and the ensuing allegations of jumping the gun, pressure and authorship disputes.
这里有一个瓜，中文区只有很少讨论。 --------------------------------------- 🚨 刚刚，数学史与 AI 史迎来了真正的 “深蓝时刻”—— 但伴随它的，却是一场极其丑陋的学术霸凌与大厂偷家风暴。 🍿 OpenAI 刚刚突击官宣：其内部下一代模型驱动的上万名 Agent 军团，攻克了百年千禧年数学难题之一的 Navier-Stokes（纳维 - 斯托克斯）方程！ 然而就在官宣前几小时，纽约大学数学家发文揭露：OpenAI 涉嫌利用学术情报抢跑、动用海量算力降维打击、在通话中施压要求剔除在 Anthropic 工作的合作者，甚至出言威胁 “别毁了你的职业生涯”！ 165 页论文、10,000 个并发 Agent、周日密室谈判、数据偷家疑云…… 为你完整复盘这 88 小时的惊天反转： 1️⃣ 两位学者的 “冷门苦修” 与黎明时刻 📐 流体力学皇冠上的明珠 Navier-Stokes，近百年来无人能证明其在三维光滑流动下是否会在有限时间内产生 “奇点（爆破）”。 纽大副教授 Tristan Buckmaster 与年轻数学学者 Levent Alpöge（虽在 Anthropic 全职工作，但以个人学术身份合作），选择了一条极其冷僻的技术路线：带外力的奇异点构造。两人自费订阅了 Claude 和 OpenAI Codex，把长达一年的推导草稿保存在 Codex 私人会话里。 📅 8 月 15 日：两人借助 AI 辅助，成功证明了 3D 欧拉方程的爆破！ 📅 8 月 22 日：通过 Lean 4 机器形式化验证。菲尔兹奖得主陶哲轩（Terence Tao）盛赞这是 “了不起的成就”。 2️⃣ 一封澄清邮件，引爆 OpenAI 的 88 小时闪电战 ⚡ 9 月初，硅谷突然疯传流言：“Anthropic 独立搞定了两个千禧年数学难题！” 处于极度焦虑与防守状态的 OpenAI 内部大震动。 Buckmaster 担心引起机构误会，在 9 月 3 日（周四）私下给 OpenAI 一位顶尖学者发了封邮件，明确澄清：“纯属个人学术合作，与 Anthropic 机构无关。” 看到邮件的 OpenAI 恍然大悟：对方真的逼近了 Navier-Stokes，而且方案完全可行！OpenAI 没有任何迟疑，立即组建冲刺团队，调集尚未对外发布的下一代前沿大模型（性能远超刚发布的 GPT-6 Astra）全速抢跑！ 3️⃣ 10,000 个 Agent 的暴力美学：算力平替人类灵感 🤖 随后，OpenAI 展现了工业级 AI 军 团令人不寒而栗的统治力： 部署了 约 10,000 个并发 Agent，分组全方位突破； 累计通信 270 万条消息，吞吐 1300 亿输出 Token； 仅用 50 小时顺手解了无外力欧拉方程作为 “热身题”； 短短 88 小时内，生成了长达 165 页的受迫 Navier-Stokes 完整解析证明！ 紧接着，GPT-6 Astra 耗时 17 小时把 165 页证明全部转化成了 Lean 4 形式化代码。 这就是纯粹的算力海啸，把人类学者数年乃至毕生的推演压缩到了 88 小时之内。 4️⃣ 周日密室绝密谈判：利益、背叛与职业威胁 💣 9 月 6 日（周日），OpenAI 研究高管 Sébastien Bubeck 紧急接入与 Buckmaster 的通话。但这场闭门协商迅速变成了彻底决裂的战场： 冷门撞车：Buckmaster 震惊地发现，OpenAI 的证明路线与他和 Alpöge 秘密研究的冷门方案完全重叠； 踢人要求：OpenAI 提出 Buckmaster 可以独家牵头署名 OpenAI 模型的这篇 N-S 论文，但前提是必须把 Alpöge 彻底剔除出作者名单—— 理由是 “他在对手公司 Anthropic 工作太让人烦了”； 致命拷问：Buckmaster 追问 OpenAI 是否用了他保存在 Codex 里的私有草稿去训练模型？OpenAI 支吾不答； 出言威胁：面对坚决拒绝，Bubeck 当场质问：“你为什么要毁掉自己的职业生涯？”，并留下狠话：“如果你不想让我友善，那我也可以不友善。” 5️⃣ 拒绝城下之盟：学者抢先引爆丑闻 💥 9 月 8 日早晨，他直接在纽约大学官网挂出了 4 页长文谴责声明（statement.pdf），将 OpenAI 闻风抢跑、要求排挤合作者、出言威胁等丑闻内幕全盘公之于众！面对科技巨头的霸道施压，Buckmaster 展现了纯粹学者的硬骨头。 声明一出，全球科技圈与数学圈瞬间炸锅，面对汹涌的道德声讨，Bubeck 仓促发帖称指控 “虚假且具煽动性”。 6️⃣ 危机公关：OpenAI 的 “王炸转移法” 与深夜致歉 🔥 北京时间 9 月 9 日凌晨，陷入舆论危机的 OpenAI 祭出了终极招式 ——直接公布技术底牌，用世纪级成果碾碎一切争议！ 官方推文高调宣布解决 Navier-Stokes 千禧难题，开源全部 Lean 验证代码； 19 分钟后，Bubeck 发布长文与短信截图，公开致歉承认自己确实说了 “毁掉职业生涯” 这类极度糟糕的措辞，但辩解称踢出 Alpöge 是因为内部核心资产不能署名竞对员工。 更耐人寻味的是，OpenAI 在追问帖里公开承认：“我们无法排除基于他们使用我们产品所产生的去标识化数据，曾帮助改进了我们的模型。” 这一条，几乎坐实了学界对数据隐私的噩梦。 7️⃣ 终局反思：人类科研的 “深蓝时刻” 与警钟 🧠 关于这项里程碑成果，菲尔兹奖得主陶哲轩（Terence Tao）给出了一句意味深长的评价： “对于有人依靠堆砌巨额算力和 AI 军团暴力突破最后一步，我并不感到意外；但我个人对这种做法并不特别感兴趣 —— 数学的终极意义在于人类的理解和从中汲取新的洞见。” 在商业巨头的超级算力与模型面前，你放在云端商业 AI 里的前沿灵感与私人草稿，是否早已不再属于你？OpenAI 官方已表示放弃领取 100 万美元的千禧年奖金。但这件事给全人类科研人员敲响了最刺耳的警钟： 🔗 一手参考资料： 论文全文 PDF：http://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf Lean 4 验证仓库：http://github.com/openai/NavierStokesAndEuler Tristan Buckmaster 4 页揭黑声明：http://cims.nyu.edu/~tristanb/statement.pdf 你站哪一边？是为万名 Agent 攻克世纪难题欢呼，还是对顶尖学者被算力大厂抢跑背刺感到不寒而栗？欢迎讨论！👇 #OpenAI #Anthropic #AI #NavierStokes #Mathematics #AGI #TechDrama
This post quotes another post: “OpenAI says it solved the Navier-Stokes Millennium Prize problem”