NewsOpenAI
On the Navier–Stokes Millennium Prize Problem
0 reads
- Published
- 2026-09-08
- Type
- News
- Organization
- OpenAI
- Source
- openai_news
Why it matters
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Shorter items from the same day are collected in 2026-09-08 digest
Related developments
Aggregated by AGI Pulse. Titles and links only; no full text is republished. Editorial policy