OpenAI News·· 2026-09-08AI 评分55
OpenAI 发布 Navier-Stokes 千禧年大奖难题的 AI 解决方案
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 官方发布 AI 生成的 Navier-Stokes 千禧年大奖难题的解决方案，包括 Lean 中的正式证明。
原文
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
来源：OpenAI News · openai.com