Navier–Stokes Millennium Problem: PDE, Clay Criteria, and 2026 Claimed Solutions

The PDE Itself

The incompressible Navier–Stokes equations on ℝ³ or the 3‑torus 𝕋³ are

∂ₜu + (u·∇)u = νΔu − ∇p
∇·u = 0
u(x,0) = u₀(x)

Here u is the velocity field, p the pressure, and ν the viscosity. The system is nonlinear, parabolic, and exhibits vortex stretching, the mechanism believed to make 3D turbulence analytically difficult.

Clay Millennium Criteria

The Clay Mathematics Institute requires resolution of one of two possibilities:

Global Existence and Smoothness	Finite‑Time Blowup
A proof that for every sufficiently smooth, divergence‑free initial field u₀, there exists a unique, smooth solution u(x,t) for all t ≥ 0. No singularities may form; all norms remain finite.	A construction of smooth initial data u₀ for which the solution becomes singular in finite time. A blowup means some quantity (velocity, vorticity, derivatives) becomes unbounded.

What “Smooth,” “Weak,” and “Blowup” Mean

Smooth Solution	Weak Solution	Blowup
A solution with all derivatives bounded and continuous. Typically C∞ or Sobolev regularity above the critical threshold. Smooth solutions satisfy the PDE pointwise.	A distributional solution satisfying the PDE in an integral sense. Leray (1934) proved global weak solutions exist, but they may not be smooth and may not be unique.	A finite time T at which ‖u(·,t)‖ or ‖∇u(·,t)‖ diverges. Singularities may be spatially localized but analytically catastrophic.

2026 Claimed Breakthroughs

OpenAI (Blowup)	Michael Hanners (Global Regularity)	Joseph Dougherty (Topological Smoothness)
Claims a Lean‑formalized proof of finite‑time blowup for the classical unforced 3D Navier–Stokes system. Uses AI‑generated constructions of initial data and a cascade‑type vorticity amplification mechanism. If correct, it satisfies the Clay blowup criterion.	Claims a complete proof of global existence and smoothness using a “Harmonic Coherence” framework, entropy methods, and modified energy inequalities. Extends beyond the classical PDE to compressible and stochastic flows. If correct, it satisfies the Clay smoothness criterion.	Claims a topological obstruction to singularity formation via a “Codex hyper‑viscosity” term derived from geometric constraints. Argues that finite‑time singularities are impossible. The framework may not match the Clay formulation exactly.
Status: Under intense scrutiny. Mathematicians are evaluating whether the construction fits the Clay problem’s exact formulation and whether the Lean formalization is complete.	Status: Considered highly speculative. The modified framework may not correspond to the classical PDE required by Clay.	Status: Unclear alignment with the Clay criteria. Topological modifications may fall outside the classical Navier–Stokes system.

Compatibility with Clay Requirements

Criterion	OpenAI	Hanners	Dougherty
Uses classical incompressible Navier–Stokes	Yes (claimed)	Partially; framework modified	No; PDE altered
Zero external forcing	Yes	Not always	Not strictly
Finite‑time blowup or global smoothness	Blowup	Smoothness	Smoothness
Machine‑checkable rigor	Lean formalization (claimed)	No	No
Community acceptance	Under review	Low	Low

Current Consensus

As of September 2026, none of the claimed breakthroughs have been accepted by the Clay Mathematics Institute. The classical PDE problem remains officially unsolved.