OpenAI 宣称多智能体求解纳维-斯托克斯难题，90 年悬案告破
tianyin_xu · x · 2026-09-09
OpenAI 官方宣布，其智能体团队使用一款「显著强于 GPT-6 Astra」的下一代模型，给出了纳维-斯托克斯千禧年大奖难题的一个解。该问题关注三维流体的光滑运动描述是否会崩塌，已悬置约 90 年。
不过数学界反应谨慎：TaliaRinger 表示，考虑到数学家此前受到的待遇，很难为此庆祝；她更担心这类证明中 Lean 内核存在 bug 的可能性——这与费马大定理（FLT）的验证情况不同，问题正出在这种「恰好需要担心形式化验证可靠性」的场景。
所属事件:OpenAI 宣称破解 Navier-Stokes 难题陷署名争议(246 条相关)→
「模型」频道最新
- OpenAI 宣布用新一代模型 Agent 群给出纳维-斯托克斯千年难题解答 — RexDouglass · 2026-09-09
- NSA/FBI/CISA 建议对疑似蒸馏模型静默降级,误伤引担忧 — xuanalogue · 2026-09-09
- Gaperon 论文警示：数据污染可虚增跑分，开放式评测遭围观点名 — burny_tech · 2026-09-09
- OpenAI 求解 Navier-Stokes 背后：边训边部署、万级智能体分工协作 — DataLearnerAI · 2026-09-09
- 曝 GPT-6 Astra p80 任务时长约 11.6 小时，逼近 AI-2027 预测曲线 — haider1 · 2026-09-09
- Astra 在仪表盘上出怪错：仅用 44% 上下文就翻车 — eigenron · 2026-09-09