On the Navier–Stokes Millennium Prize Problem
This story is from 2026-09-08. It is preserved in the archive; the latest stories are on the live feed.
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Read the full story at OpenAI News ↗
Timeline · 27 reports
- 2026-09-10 16:56 · r/antiai
My take on AI solving Navier-Stokes math problem - 2026-09-10 16:24 · r/singularity
Big news is that OpenAI is nearing solving another millennium prize, but OpenAI now saying categorically it’s impossible that Levent/Buckmaster’s recent codex usage influenced their model’s output - 2026-09-10 16:05 · r/singularity
In its Wednesday night statement, OpenAI said: "In addition, since the completion of Navier-Stokes, we have made substantial progress on another Millennium Prize problem. We are working through how to share these results thoughtfully." - 2026-09-10 13:45 · The Decoder
GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design - 2026-09-10 00:48 · r/antiai
OpenAI stole credit for solving the Navier Stokes Millennium problem. This is the peak (so far) of ai theft of ideas. - 2026-09-09 20:57 · r/OpenAI
OpenAI claims GPT-6 Astra is an ethereal 'Alien Mind' with AGI-like qualities - 2026-09-09 16:25 · r/learnmachinelearning
OpenAI says 10,000 AI agents worked for 88 hours to solve Navier–Stokes - 2026-09-09 14:19 · r/ArtificialInteligence
OpenAI claims to have solved maths problem that stumped humans for decades - 2026-09-09 12:30 · Tom's Hardware
OpenAI's breakthrough solution for the elusive Navier-Stokes problem overshadowed by plagiarism controversy — researcher says OpenAI scraped Codex session and issued career threats - 2026-09-09 11:33 · r/artificial
OpenAI says AI solved a Millennium Prize math problem, but experts haven’t signed off - 2026-09-09 11:20 · Tom's Hardware
OpenAI claims GPT-6 Astra is an ethereal 'Alien Mind' with AGI-like qualities — company warns of alignment challenges as new frontier leader emerges - 2026-09-09 08:34 · CNBC Technology
OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours - 2026-09-09 05:49 · Mint AI
What is Navier-Stokes problem? OpenAI claims AI solved 90-year-old math mystery - 2026-09-09 05:04 · Latent Space
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded - 2026-09-08 23:55 · Simon Willison's Weblog
Some thoughts on the Navier–Stokes Millennium Prize Problem - 2026-09-08 22:27 · Semafor Technology
OpenAI agents find proof to $1 million Millennium Prize Problem - 2026-09-08 21:02 · New York Times Technology
OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’ - 2026-09-08 20:57 · BBC Technology
OpenAI says it cracked 90-year-old maths problem in 88 hours - 2026-09-08 20:50 · r/ChatGPT
OpenAI might’ve cheated when solving the Navier-Stokes millennium-prize problem; problems with AI in academics - 2026-09-08 19:04 · r/artificial
OpenAI solved the Navier-Stokes problem in 88 hours, my celebratory wallpaper - 2026-09-08 18:56 · r/agi
On the Navier–Stokes Millennium Prize Problem - 2026-09-08 18:05 · r/artificial
Navier–Stokes Millennium Prize Problem Solved - 2026-09-08 18:02 · r/OpenAI
OpenAI claims a model more capable than GPT 6 Astra solved Navier Stokes - 2026-09-08 17:31 · r/ArtificialInteligence
OpenAI says a model more capable than GPT-6 Astra solved the Navier–Stokes Millennium Prize Problem - 2026-09-08 17:30 · r/OpenAI
OpenAI has a solution to the Navier–Stokes existence and smoothness Millennium Prize problem - 2026-09-08 17:20 · r/singularity
A Solution to the Navier-Stokes Millennium Prize Problem - 2026-09-08 10:00 · OpenAI News
On the Navier–Stokes Millennium Prize Problem