# OpenAI posts formalized Navier-Stokes result but declines Millennium Prize claim

_Wednesday, September 9, 2026 at 4:27 AM EDT · AI, Science · Latest · Tier 2 — Notable_

![OpenAI posts formalized Navier-Stokes result but declines Millennium Prize claim — Primary](https://media.thenextweb.com/2026/09/OpenAI-logo-with-the-OpenAI-emblem.jpg)

OpenAI has published a write-up, PDF and public Lean formalization for its claimed Navier-Stokes result, according to The Next Web.

The article says the work asserts that an initially smooth fluid at rest can develop a finite-time singularity under a smooth applied force. OpenAI said GPT-6 Astra was used for a further 17 hours of formalization and verification. The company also said it does not intend to claim the Millennium Prize, leaving whether the forced result meets the prize criteria for mathematicians and the Clay Institute.

## Sources

- [The Next Web](https://thenextweb.com/news/openai-navier-stokes-proof-published-millennium-prize)

---
Canonical: https://techandbusiness.org/newswire/0322TzykB-dyS40Ir_V8uH
Retrieved: 2026-09-09T10:56:34.132Z
Publisher: Tech & Business (techandbusiness.org)