On the Navier - Stokes Millennium Prize Problem

OpenAI 声称内部多智能体系统构造了受迫三维不可压 Navier - Stokes 有限时间奇点的解析证明，并发布 Lean 形式化；文章描述的涡流向内螺旋、轴向拉伸，速度发散但能量有限。其流程动用了约 10,000 个并发 agent，88 小时产出、再用 17 小时完成 Lean 验证。公司明确不申领千年奖，这个案例真正值得观察的是形式化和外部数学审查能否跟上生成速度。