OpenAI 官方动态·· 22 天前精选AI 评分78
OpenAI 分享纳维-斯托克斯千禧年大奖难题的 AI 解法与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享一个由 AI 生成的纳维-斯托克斯千禧年大奖难题（Navier–Stokes Millennium Prize Problem）解法。该方案包含详细技术报告以及在交互式定理证明器 Lean 中的形式化证明。
推荐理由
OpenAI 分享了利用 AI 求解纳维斯托克斯千禧年大奖难题的研究方案，并提供了 Lean 形式化证明。
来源：OpenAI 官方动态 · openai.com