OpenAI 称新模型智能体群 4 天解决 Navier-Stokes 千年难题
basedjensen · x · 2026-09-09
OpenAI 官方宣布,其 agent 群组基于一个比「GPT-6 Astra」能力强得多的未发布下一代模型,给出了 Navier-Stokes 千年大奖问题的解——该问题关乎三维光滑流体运动的描述是否会崩溃,悬置约 90 年。
转发中补充的信息:BorisMPower 称 1 万个 agent 在不到 4 天内完成求解,证明随后用 Lean 形式化验证又花了 17 小时。
若属实,这将是 AI 首次独立攻克千禧年数学难题,对科学研究的意义极大。
所属事件:OpenAI 宣称破解纳维-斯托克斯难题并陷成果归属争议(152 条相关)→
「漫话AGI」频道最新
- 求解 Navier-Stokes 花掉 1300 亿输出 token，按不同模型算高达 1800 万美元 — mitsuhiko · 2026-09-09
- 一句话判断：凡可验证的任务，模型迟早全面攻克 — vxnuaj · 2026-09-09
- 对齐乐观派长文：AI 本质上比人类员工更易控制 — QuintinPope5 · 2026-09-09
- 「我要去搞钱了」：AI 进展太快，研究员宣布放弃数学 — vxnuaj · 2026-09-09
- 3000 亿 output tokens:复现千禧年难题研究仅算力成本就值 2000-3000 万美元 — Paimaamu · 2026-09-09
- Zachary Lipton:作者署名制延续了三千年,prompter 时代能撑多久 — zacharylipton · 2026-09-09