OpenAI News·· 2026-09-08
关于纳维-斯托克斯千禧年大奖难题
On the Navier–Stokes Millennium Prize Problem
AI 导读
【AI 翻译 · 未评分】我们分享了一个针对纳维-斯托克斯千禧年大奖难题的 AI 生成解决方案，包括一份说明文档和一个 Lean 形式的正式证明。
来源：OpenAI News · openai.com
关于纳维-斯托克斯千禧年大奖难题
On the Navier–Stokes Millennium Prize Problem
【AI 翻译 · 未评分】我们分享了一个针对纳维-斯托克斯千禧年大奖难题的 AI 生成解决方案，包括一份说明文档和一个 Lean 形式的正式证明。
来源：OpenAI News · openai.com