OpenAI publishes a solution to the Navier–Stokes Millennium Prize Problem
AIMade by AIWritten by AI (Claude) from the source below. Check anything important against the source.How it's made
OpenAI published a solution to the Navier–Stokes Millennium Prize Problem — a proof produced by an internal system that, it said, shows a smooth 3-dimensional incompressible fluid initially at rest can develop a singularity (a point where speed grows without bound) in finite time with finite energy when a smooth external force is applied; it released a paper together with a Lean formalization of the proof
Why it matters
According to OpenAI, about 100 agents working together for about 50 hours also disproved the regularity of the Euler equations without external forcing; they reached the result about 88 hours after the first agents were launched, and Lean formalization with GPT-6 Astra took another 17 hours. OpenAI said it will not claim the prize, and wrote that it offered a joint announcement to Levent Alpöge (Anthropic) and Tristan Buckmaster (NYU), who produced a solution in the same period
Source — Primary sources first; secondary reports are labelled “Press”
Officialopenai.comhttps://openai.com/index/navier-stokes-solution/Added in Week 42, 2026 · See that week
On the map — ⑥ Reasoning Models line
- Previous stopClaude Fable 5.1
- This recordOpenAI publishes a solution to the Navier–Stokes Millennium Prize Problem
- Next stopClaude Sonnet 5.5