No, OpenAI Did Not Solve Navier-Stokes. Yes, You Should Still Be Scared.

Description and use

<p><a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" class="article-body-image-wrapper"><img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" alt="Skeptical cat watching 10,000 AI agents shrink a Navier-Stokes vortex while Lean checks the proof" width="799" height="453">

Problem

<p><a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" class="article-body-image-wrapper"><img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" alt="Skeptical cat watching 10,000 AI agents shrink a Navier-Stokes vortex while Lean checks the proof" width="799" height="453">

Outcome

<p><a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" class="article-body-image-wrapper"><img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fuyp5zdg8mdsg72lxdmji.png" alt="Skeptical cat watching 10,000 AI agents shrink a Navier-Stokes vortex while Lean checks the proof" width="799" height="453">

Evidence

No, OpenAI Did Not Solve Navier-Stokes. Yes, You Should Still Be Scared.

Source