# On the Navier-Stokes Millennium Prize Problem

DevFeed: [On the Navier-Stokes Millennium Prize Problem](<https://devfeed.tech/articles/on-the-navier-stokes-millennium-prize-problem-6541.md>)

Original publisher: [Read original article](<https://openai.com/index/navier-stokes-solution>)

Published: 2026-09-08T10:00:00Z

Content type: article

Language: en

Sources: [OpenAI News](<https://devfeed.tech/sources/openai-news.md>)

Topics: [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [Lean](<https://devfeed.tech/topics/lean.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [gpt](<https://devfeed.tech/tags/gpt.md>), [model](<https://devfeed.tech/tags/model.md>), [openai](<https://devfeed.tech/tags/openai.md>), [research](<https://devfeed.tech/tags/research.md>)

## AI overview

OpenAI shares an AI-generated solution to the Navier-Stokes existence and smoothness problem, with a proof writeup and a Lean formalization.

## Source excerpt

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