On the Navier–Stokes Millennium Prize Problem

OpenAI 官方博客，OpenAI 官方博客，发布 AI 研究、产品更新与未来展望。关注
On the Navier–Stokes Millennium Prize Problem 图片 1

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论