OpenAI News·2026-09-08 18:00· 22 天前AI 评分35

OpenAI 分享 Navier–Stokes 千禧年大奖问题的 AI 生成解答

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 正在分享一份针对 Navier–Stokes 千禧年大奖问题的 AI 生成解答。这份材料包含一份书面说明。其中还附有一份用 Lean 写成的形式化证明。

来源：OpenAI News · openai.com