OpenAI News·2026-09-08 18:00· 2026-09-08AI 评分8OpenAI 分享 Navier–Stokes 千禧年大奖难题的 AI 生成解答On the Navier–Stokes Millennium Prize ProblemAI 导读OpenAI 分享了一份针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，包含一份书面说明和一份 Lean 形式化证明。来源：OpenAI News · openai.com#研究/论文#教育大模型#OpenAI