OpenAI News·2026-09-08 18:00· 28 天前AI 评分15

OpenAI 分享 AI 生成的 Navier–Stokes 千禧年大奖难题解答及 Lean 形式化证明

On the Navier–Stokes Millennium Prize Problem

AI 导读

OpenAI 分享 AI 生成的 Navier–Stokes 千禧年大奖难题解答，包含书面论证与 Lean 形式化证明。

来源：OpenAI News · openai.com

#通用 AI 大事 #大模型 #OpenAI