---
title: An OpenAI Model Produced a Machine-Checked Proof of a Hard Navier-Stokes Result
description: OpenAI says a model produced a machine-checked proof of a forced Navier-Stokes result, not the unforced Millennium Prize problem, which it is not claiming.
author: Darie Nani (Editor-in-Chief)
updated: 2026-09-08T19:19:54.184Z
canonical: https://www.sovereignmagazine.com/article/an-openai-model-produced-a-machine-checked-proof-of-a-hard-navier-stokes-result
image: https://cdn.nanimediahouse.com/navier-stokes-ai-proof-271732.webp
categories: Science & Tech
content_type: Analysis
region: Global
publication: Sovereign Magazine
access: members
schema_type: Article
---

On 8 September 2026, OpenAI president Greg Brockman posted on X that one of the company’s models had cracked the Navier-Stokes problem. "Announcing a solution to the Navier-Stokes problem, one of the seven Millennium Prize problems," Brockman wrote, calling it "a major milestone for both AI and mathematics, as well as pointing to an upcoming renaissance in scientific discovery." OpenAI amplified the post.

OpenAI says one of its models generated a proof of a hard fluid-dynamics result, and that software then checked it step by step. The exact result it settles is not the problem the $1 million prize is for.

## A Theorem Prover Checked Every Step

---

*This article is only available to registered readers. Visit the article URL to read the full piece.*