A Structural Dismantling of OpenAI's "Finite‑Time blowup for Navier–Stokes"

This document presents a structural dismantling of OpenAI’s September 2026announcement claiming a resolution of the Navier–Stokes Millennium PrizeProblem. The announcement stated that an internal OpenAI system had produced ananalytical proof — and a Lean formalization — showing that smooth,incompressible Navier–Stokes flow could develop a finite‑time singularitydespite viscosity. The framing explicitly asserted that the Clay Institute’sMillennium Problem had been resolved. However, the linked “paper” on the announcement page was not a Navier–Stokesproof. It was a completely different result: a finite‑time blowup constructionfor the inviscid Euler equations. Inviscid, unforced, and structurallyunrelated to the Clay formulation. The Navier–Stokes link was quietly removedfrom the announcement page, leaving only the Euler paper visible. In this dismantling, we reconstruct the announced mechanism — a collapsingvortex driven by a smooth external force — and show why it cannot satisfy theClay problem. The Clay formulation concerns the unforced Navier–Stokesequations: \\[\\partial_t u + (u\\cdot\\nabla)u + \\nabla p = \\nu \\Delta u,\\qquad \\nabla\\cdot u = 0,\\] with smooth initial data and finite energy. The actual Navier–Stokes PDF(OpenAI, “Finite Time Blowup for Navier–Stokes”), obtained and inspecteddirectly, confirms that the construction relies on a smooth, compactlysupported external force: \\[\\partial_t u + (u\\cdot\\nabla)u - \\nu\\Delta u + \\nabla p = f,\\] with \\(f \\neq 0\\). This establishes alternative (C) in Fefferman’s extendedproblem statement — the *forced* alternative — not the Millennium PrizeProblem. Forced blowup is known to be possible and is explicitly excluded fromthe Clay formulation. The verification in Section 9 confirms that the real Navier–Stokes PDF matchesthe dismantling exactly: the blowup is forced, the geometry is engineered, thecancellation is extrinsic, and the result is not a solution to the Clayproblem. The quiet removal of the Navier–Stokes link from the announcement pageis structurally explained by this mismatch. This document records the full architecture of the collapse: the claim, themechanism, the timing, the retraction, the Euler substitution, and theverification against the actual PDF. Keywords Navier–Stokes; Millennium Prize Problem; finite‑time blowup; forced flow;Euler equations; viscous incompressible flow; mathematical verification;Lean formalization; PDE singularity; fluid dynamics; structural dismantling Subjects Mathematics (Analysis of PDEs); Fluid Dynamics; Mathematical Physics;Computational Mathematics; Verification and Formal Methods Contact: For enquiries or research questions related to this work, email [email protected]