OpenAI News·2026-09-08 18:00· 24 天前

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

On the Navier–Stokes Millennium Prize Problem

SI 导读

OpenAI 分享了一份针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，包含一份书面说明和一份 Lean 形式化证明。

SI 评分22

#论文/研究 #AGI #OpenAI

来源：OpenAI News · openai.com