OpenAI 宣布用新一代模型 Agent 群给出纳维-斯托克斯千年难题解答
RexDouglass · x · 2026-09-09
OpenAI 官方宣布，其 Agent 团队使用比 GPT-6 Astra 能力更强的新一代模型，给出了纳维-斯托克斯千年大奖难题的一个解答。该问题探讨三维光滑流体运动的数学描述是否会发生破裂，悬置约 90 年，克雷研究所悬赏 100 万美元。
时间线脉络：1822 年 Navier 写下方程，1845 年 Stokes 补全；1934 年 Leray 证明弱解永久存在但留下光滑性 open problem；2014 年起 Luo、Hou 等在数值上观察到 3D Euler 爆破，Tao 证明平均化方程爆破，Elgindi、Córdoba 等逐步逼近；今年 8 月 Buckmaster 与 Alpöge 借助 Claude 与 Codex 得到 Boussinesq 与 Euler 的光滑强制爆破结果，Lean 形式化验证，随后与 OpenAI 训练中的数学模型产生交集，最终由 OpenAI 宣布该 Agent 证明成果。
所属事件:OpenAI 宣称破解 Navier-Stokes 千禧难题，验证与署名争议并发(247 条相关)→
「模型」频道最新
- 开发者拆解 GPT-6 Astra 计算机使用原理,用 Stagehand 提速 2.5 倍 — TheMoonMidas · 2026-09-09
- M5 Max 跑 Qwen3.8-Flash-Next 百万上下文，MLX 引擎实测 40 tok/s — Beamsters · 2026-09-09
- OpenAI 发布 GPT-6 Astra 官方提示指南:五大要点告别 GPT-5 式写法 — goyalshaliniuk · 2026-09-09
- OpenAI 上线学术研究计划,面向科研用户提供使用渠道 — lucacarlone1 · 2026-09-09
- GLiNER 系列模型盘点:主流版本与差异一文看懂 — kalyan_kpl · 2026-09-09
- 反蒸馏分类器误伤课堂:用 GPT-5.6 给学生代码评分竟被拦截 — xuanalogue · 2026-09-09