OpenAI News·· 21 天前精选AI 评分76
OpenAI 提出纳维-斯托克斯千禧年大奖难题的 AI 解答与 Lean 形式化证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 分享了由 AI 生成的纳维-斯托克斯千禧年大奖难题解决方案。该成果包含完整的技术说明报告，以及使用交互式定理证明工具 Lean 编写的形式化数学证明。
推荐理由
文中给出了 AI 求解千禧年数学难题的研究报告及 Lean 形式化证明，读者可据此查验机器在数学定理证明中的实际表现。
来源：OpenAI News · openai.com