---
title: On the Navier–Stokes Millennium Prize Problem
link: https://openai.com/index/navier-stokes-solution
source: openai-com
published: 2026-09-08T10:00:00Z
updated: 2026-09-08T10:00:00Z
first_seen: 2026-10-04T12:50:30.804479567Z
labels:
- research
summary: We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
content: feed
html: 2026-09-08-on-the-navier-stokes-millennium-prize-problem.html
---

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.