OpenAI News·· 2026-09-08SelectedAI score81
On the Navier–Stokes Millennium Prize Problem
On the Navier–Stokes Millennium Prize Problem
AI introduction
OpenAI shared an AI-generated solution approach to the Navier–Stokes Millennium Prize Problem, including a solution write-up and a Lean formalized proof. The material comes from an official OpenAI announcement; the feed does not include the full text, so specifics of the proof and methods should be checked via the original link.
Why it matters
OpenAI has publicly released an AI-generated approach to the Navier–Stokes Millennium Prize Problem with a Lean formalized proof, letting readers track AI's actual output in mathematical proof work.
Source: OpenAI News · openai.com