AI brief
OpenAI shared an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Written by AI from OpenAI News's published text. Read the original for full details.
On the Navier–Stokes Millennium Prize Problem
OpenAI News··Updated just now·38 sightings