Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing

OpenAI claims to construct a smooth finite-energy solution of the three-dimensional incompressible Navier–Stokes equations, starting from a fluid at rest and driven by smooth forcing, that develops a finite-time singularity. The construction is claimed both on R^3 and in the periodic setting, thereby establishing statements C and D of Fefferman's official Clay formulation. If the correspondence between the released proof/formalization and the Clay statements survives independent review, this resolves the Navier–Stokes Millennium Prize problem. It does not establish finite-time blow-up for the unforced Navier–Stokes equations; the Clay resolution comes through the smooth-forcing alternatives C/D.

OpenAI claims to construct a smooth finite-energy solution of the three-dimensional incompressible Navier–Stokes equations, starting from a fluid at rest and driven by smooth forcing, that develops a finite-time singularity. The construction is claimed both on R^3 and in the periodic setting, thereby establishing statements C and D of Fefferman's official Clay formulation. If the correspondence between the released proof/formalization and the Clay statements survives independent review, this resolves the Navier–Stokes Millennium Prize problem. It does not establish finite-time blow-up for the unforced Navier–Stokes equations; the Clay resolution comes through the smooth-forcing alternatives C/D.