OpenAI News·· 26 天前AI 评分53
OpenAI 分享 Navier-Stokes 千禧年大奖问题的 AI 生成求解方案
On the Navier–Stokes Millennium Prize Problem
AI 导读
OpenAI 宣布分享了一个 Navier-Stokes 千禧年大奖问题的 AI 生成求解方案，包含一篇技术报告和一份用 Lean 编写的形式化证明。
来源：OpenAI News · openai.com
OpenAI 分享 Navier-Stokes 千禧年大奖问题的 AI 生成求解方案