纽约时报:OpenAI 未发布模型仅用 88 小时破解纳维-斯托克斯难题
geoffwolfe · x · 2026-09-09
《纽约时报》报道，OpenAI 宣称其最新 AI 技术解决了「千禧年大奖难题」之一的纳维-斯托克斯存在性与光滑性问题——该问题关乎流体力学方程，长期位列数学界最重要的未解难题。报道由 Cade Metz 撰写，称这是「AI 正在从根本上改变高等数学的最戏剧性信号」。
- OpenAI 研究员 Sébastien Bubeck 称这是「过去十二个月我们所见弧线的壮观顶点」，该模型尚未向公众发布，仅用 88 小时完成求解。
- 报道附带 Lean 形式化证明，代码已开源于 GitHub（tristanbuckmaster/fluidlean）。
- 过去一年 AI 系统已解决多个困扰数学家数十年的问题，但千禧年难题的研究密度和关注度远超此前成果；数学界部分人兴奋，部分人担忧。
注：OpenAI 官方宣称与学界最终认定仍有待验证，Buckmaster 相关的争议亦在发酵中。
所属事件:OpenAI 官宣破解纳维-斯托克斯难题，归属争议发酵(160 条相关)→
「漫话AGI」频道最新
- 88 小时破解 90 年科学难题:前沿内部模型无外部监督引发担忧 — S_OhEigeartaigh · 2026-09-09
- Navier-Stokes 证明风波预示经济正变成一场量化知识竞赛 — IgorCarron · 2026-09-09
- 突破常源于工程约束，令纯理论派科学家沮丧 — generativist · 2026-09-09
- Vercel CEO 断言：Chat 已赢，未来一切是聊天加计算机 — edgarpavlovsky · 2026-09-09
- 木头姐：1800年代两百家铁路破产，AI 基建潮不会重演 — CathieDWood · 2026-09-09
- 相信 AGI 也依然看好新公司：难的事情还是难 — espricewright · 2026-09-09