行业资讯精选 85OpenAI Blog
On the Navier–Stokes Millennium Prize Problem· 关于Navier-Stokes千禧年大奖难题
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
📎 发布于 09-08 18:00🔗 阅读原文(openai.com)