纳维-斯托克斯攻克始末: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 条相关)→
「公司和人」频道最新
- 估值 72 亿美元的 Glean,护城河到底是什么? — yogthinks · 2026-09-11
- Replit CEO 暗讽 AI 末日论者:把科幻叙事当病,安全讨论被带偏 — amasad · 2026-09-11
- Replit CEO:AI 灭绝论是干扰,真正该关注的是网络安全 — amasad · 2026-09-11
- SF 招聘湿实验室生物学家做 RL 环境,Beffeos 担心生物安全演示 — beffjezos · 2026-09-11
- Schmidhuber 做客「Europe on Edge」播客，全平台上线 — SchmidhuberAI · 2026-09-11
- 投资人都不想听你去 SF 待几个月，回客户所在的地方去 — vaibhavbetter · 2026-09-11