曝 OpenAI 万级 agent 联手 88 小时 Lean 证明 Navier-Stokes 会奇异化
johnseach · x · 2026-09-09
- 据帖内说法(注意:非 OpenAI 官方渠道直接确认),OpenAI 宣布其内部模型(称强于 GPT-6 Astra)指挥约一万个协同 agent,用约 88 小时产出证明:3D 不可压 Navier-Stokes 方程可在有限时间内发展出奇点
- 构造中光滑流体在光滑力与有限能量下,涡旋向内螺旋、如意大利面般拉伸,核心速度无界增长而能量保持有限;论证已用 Lean 形式化机器验证,覆盖 Clay 千禧年难题的「breakdown」命题(C 和 D);OpenAI 称不领取 100 万美元奖金
- 意义与限定:黏性并不能自动拯救方程,湍流与能量级联基础更清晰;气象、气候、CFD、血流、海洋混合、核聚变等模型由此知道理想化连续介质模型何时失效,需混合或正则化方法;但所构造的例子极其特殊、几乎必然不稳定,日常工程计算不变
- 这是首次有重大千禧年难题以「AI agent 群 + 形式化验证」的方式在此尺度上被解决,同样的攻击方式可推广到其他难解 PDE
所属事件:OpenAI 称万级代理攻克纳维-斯托克斯难题，署名争议发酵(418 条相关)→
「漫话AGI」频道最新
- Anthropic 安全主管称 AI 十年内灭绝人类概率超 10%，同事愤而离职 — nordicinst · 2026-09-09
- OpenAI 宣称多智能体求解 Navier-Stokes 千禧年数学难题 — JosephJacks_ · 2026-09-09
- AI 降低创业门槛:下一代创始人拼品味与分发,不再拼技术出身 — alexmacgregor__ · 2026-09-09
- Stratechery:OpenAI 数学突破影响有限,Meta 个人 Agent 潜力更大 — Stratechery · 2026-09-09
- 图像 prompt 信息量 ≈ 按快门，牛津学者重审「AI 生成不算艺术」论 — tobyordoxford · 2026-09-09
- 学编程十年不如练表达?网友称英语写作加策略游戏才是真技能 — RachelVT42 · 2026-09-09