纳维-斯托克斯攻克始末:OpenAI 与数学家竞速的完整时间线
S2S2S2S2S2 · reddit · 2026-09-09
Reddit 用户整理了 OpenAI agents 求解纳维-斯托克斯方程事件的完整时间线:
- 2025.9–2026.8:Alpöge 与 Buckmaster 合作攻关,先后在 Boussinesq 与 Euler 方程取得关键结果,并完成 Lean 形式化验证
- 2026.9.1:OpenAI 听闻进展后用未发布模型尝试全部千禧年大奖难题
- 9.3:OpenAI 求解更具一般性的非受迫 Euler 方程;Buckmaster 获悉后主动联系 OpenAI 内数学家,对方索要细节并提供算力,多次邀约见面
- 9.4–9.7:网上爆出 Anthropic 抢先解出、Terence Tao 澄清传闻等插曲;OpenAI agents 于 9.5 求解 N-S、9.6 完成 Lean 验证;沟通中 Buckmaster 称对方曾建议他加入 N-S 论文并将 Alpöge 从作者名单移除
- 9.7:Buckmaster 公开三篇论文(含受迫 Euler 解)与事件声明;另一组研究者(Anandkumar 等)独立发布非受迫 Euler 另一解法
- 9.8:OpenAI 官宣求解受迫 N-S 与非受迫 Euler,并表示不打算申领奖金
时间线揭示了 AI 实验室与数学家之间从合作邀约到竞速发表、再到署名争议的全过程。
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「公司和人」频道最新
- OpenAI 基金会资助 UNC 肿瘤抗原研究，招聘资深实验科学家 — iskander · 2026-10-27
- 曝 Anthropic IPO 在即,反开源权重恐慌被指利益驱动 — mark_k · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍，不用 AI 写信反而更易突围 — AI4Code · 2026-10-27
- ROS 社区迎来新项目负责人 ahcorde，规划 2027 版本 — ___Mufasaa · 2026-10-27
- S-1 揭示 Anthropic 治理结构：Dario 可永久指定董事会多数席位 — cocktailpeanut · 2026-10-27
- Mistral 研究员：进了公司才发现选题自由的乐趣被高估 — konstmish · 2026-10-27