SOURCE-LINKED INTELLIGENCE
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Read original source ↗ Open in workspace
- recordType
- article
- region
- Global
Evidence & attribution
- OpenAI News · 2026-09-08T10:00:00.000Z
First collected: 2026-09-19T20:26:32.566Z. This is not the publication date.