OpenAI·· 25 天前精选AI 评分68
OpenAI 分享纳维-斯托克斯千禧年大奖难题的 AI 生成解法与 Lean 证明
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 分享了针对纳维-斯托克斯千禧年大奖难题的 AI 生成解答。该成果包含完整的技术说明报告，以及基于 Lean 交互式定理证明器给出的形式化证明。
推荐理由
OpenAI 公开了借助 AI 尝试解决千禧年数学难题的研究，展示了形式化验证在复杂前沿科学探索中的具体落地方式。
来源：OpenAI · openai.com