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

OpenAI 公开 Navier–Stokes 千禧年难题的 AI 生成解答

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享了一份针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，内容包括一份说明文章和用 Lean 编写的形式化证明。当前材料仅为官方摘要，未提供完整证明细节。

来源：OpenAI News · openai.com