OpenAI News·· 23 天前精选AI 评分72
OpenAI 发布 Navier–Stokes 千禧年大奖难题的 AI 生成解法
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享一个针对 Navier–Stokes 千禧年大奖难题的 AI 生成解法，内容包括论文式 writeup 和一份 Lean 形式化证明。
推荐理由
官方宣布 AI 生成纳维-斯托克斯问题解法并附 Lean 形式化证明，形式化验证为这类重大数学结论提供了可查证路径。
来源：OpenAI News · openai.com