OpenAI·2026-09-08 18:00· 25 天前AI 评分17OpenAI 分享 Navier–Stokes 千禧年难题的 AI 生成解决方案On the Navier–Stokes Millennium Prize ProblemAI 导读OpenAI 分享了针对 Navier–Stokes 千禧年难题的 AI 生成解决方案。该方案包含一份说明文档以及使用 Lean 编写的形式化证明。来源：OpenAI · openai.com#模型发布#推理#OpenAI