AI brief
OpenAI Research says it is sharing 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 Research's published text. Read the original for full details.
From the publisher
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Research SourcesResearchOpenAI Research
More on Research
- ChatGPT’s expanding world of workOpenAI Research · 26 Oct 2026
- Did the Model Use That? Counterfactual Training Boosts Self-Attribution in Language ModelsHugging Face Papers · 26 Oct 2026
- Instruction Capacity: Behavior and Degradation of Language Models under Controlled LoadHugging Face Papers · 26 Oct 2026
- The fixed-point bundle method over product-of-simplex domains arising from game equilibriaHugging Face Papers · 23 Oct 2026