Back to today’s briefing

Story perspectives

OpenAI Says It Solved Navier-Stokes, Sparks Mathematician Dispute

9/8/2026

6 1 Full Breakdown

Summary

Story summary

OpenAI announced it solved the Navier-Stokes existence and smoothness problem.
The unreleased AI model generated a Lean-formalized proof after 88 hours of computation.
OpenAI deployed up to 10,000 parallel AI agents, spending millions of dollars on compute.
More than 1,000 agents worked over 50 hours before the solution appeared on Sunday.
Mathematician Tristan Buckmaster (NYU) and Anthropic researcher Levent Alpöge dispute OpenAI’s claim to credit.

History

Historical Context

On June 21 1976 Kenneth Appel and Wolfgang Haken at the University of Illinois announced a computer-assisted proof of the four-color theorem, checking 1,834 configurations in about 1,200 hours. Their approach expanded Heinrich Heesch’s 1960s computer methods and ignited debate over whether massive computation counts as a genuine proof. OpenAI’s 2024 Navier-Stokes claim revives that same controversy.

1 of 2

Story summary

OpenAI announced it solved the Navier-Stokes existence and smoothness problem.
The unreleased AI model generated a Lean-formalized proof after 88 hours of computation.
OpenAI deployed up to 10,000 parallel AI agents, spending millions of dollars on compute.
More than 1,000 agents worked over 50 hours before the solution appeared on Sunday.
Mathematician Tristan Buckmaster (NYU) and Anthropic researcher Levent Alpöge dispute OpenAI’s claim to credit.

1 / 2