OpenAI News·2026-09-08 18:00· 2026-09-08AI 评分53

OpenAI 公开 Navier–Stokes 千禧年大奖难题的 AI 生成解答与 Lean 形式化证明

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 公开了一份由 AI 生成的 Navier–Stokes 千禧年大奖难题解答，产出包括一份论文写作与一份 Lean 形式化证明。

来源：OpenAI News · openai.com

#论文/研究 #推理 #OpenAI