OpenAI’s Navier-Stokes proof faces criticism from mathematicians
In brief
- OpenAI submitted a 166-page proof for the Navier-Stokes equations.
- Experts question the methodology and its alignment with OpenAI’s claims.
- The opacity of language models prevents understanding how ideas were generated.
Mathematicians are challenging OpenAI’s submitted proof for solving the Navier-Stokes equations, arguing the methodology lacks rigor. The opacity of large language models makes it impossible to verify the underlying reasoning.
This summary gives you the essentials. The full article, its figures and quotes are on The Decoder.
Read the original articleAI-generated summary of the source, checked by rules. Report an error