OpenAI 公布纳维–斯托克斯千禧年难题解答及 Lean 形式化证明

OpenAI 宣布其内部系统已给出纳维–斯托克斯存在性与光滑性问题的解答，证明了三维不可压缩流体在有限时间内可形成奇点。该项目由约 1 万个并行智能体在 88 小时内完成，并公开了论文及 Lean 形式化证明。OpenAI 表示无意申领千禧年大奖，目前该成果仍待学界独立审查。