2 articles

Millennium Prize

Index of editorial tags and filtered coverage.

OpenAI announces a Navier–Stokes solution (Sep 8, 2026): verification ongoing

OpenAI claims an analytic proof and Lean formalization of a 3D Navier–Stokes singularity; it does not claim the Clay Prize and awaits math review.

Since 2000, the Clay Mathematics Institute lists seven problems; Navier–Stokes existence and smoothness is one, with a one-million-dollar prize.