OpenAI News·· 23 天前精选AI 评分90
OpenAI 分享纳维-斯托克斯千禧年难题的 AI 求解方案与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享一份由 AI 生成的纳维-斯托克斯（Navier–Stokes）千禧年大奖难题解决方案。该成果包含了详细的研究说明报告以及在 Lean 语言中构建的形式化证明。
推荐理由
原文给出了 AI 求解数学难题的说明与形式化证明形式，读者可据此了解形式化验证在复杂前沿研究中的结合方式。
来源：OpenAI News · openai.com