Navier–Stokes and OpenAI’s New Advance
The Navier–Stokes equations describe the motion of viscous fluids:
∂ₜu + (u·∇)u = −∇p + νΔu, ∇·u = 0.
The famous Navier–Stokes existence and smoothness problem asks whether every smooth initial condition in 3D remains smooth for all time, or whether a finite-time singularity can develop.
OpenAI has now announced an AI-generated proof claiming that smooth solutions can indeed develop a singularity in finite time. Its system reportedly used around 10,000 AI agents working in parallel, with the resulting argument formally checked in Lean.
An important part of the mathematical story, however, predates this announcement. The blow-up programme of Diego Córdoba and Luis Martínez-Zoroa, including their work with Fan Zheng, established crucial finite-time blow-up results for related forced/hypodissipative Navier–Stokes models.
Thus, the recent development should be viewed in the context of this broader mathematical programme: Córdoba and Martínez-Zoroa developed key ideas underlying the route toward blow-up, while OpenAI claims to have pushed such ideas to the classical 3D Navier–Stokes problem.
If independently verified, this would be a historic advance—not only for fluid dynamics, but also for AI-assisted mathematical discovery.
Diego Córdoba and Luis Martínez-Zoroa, whose foundational blow-up programme is an important precursor to this line of work.