OpenAI 官方动态·· 2026-09-08SelectedAI score78
OpenAI 分享纳维-斯托克斯千禧年大奖难题的 AI 解法与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
Not yet translated; shown in Chinese.
AI guide
OpenAI 宣布分享一个由 AI 生成的纳维-斯托克斯千禧年大奖难题（Navier–Stokes Millennium Prize Problem）解法。该方案包含详细技术报告以及在交互式定理证明器 Lean 中的形式化证明。
Why it matters
OpenAI 分享了利用 AI 求解纳维斯托克斯千禧年大奖难题的研究方案，并提供了 Lean 形式化证明。
Source:OpenAI 官方动态 · openai.com