Finite-time blowup for the 3D incompressible Euler equations from smooth data

Yes, if the argument stands. Theorem 1.1: there is u_0 in C^infinity_c with div u_0 = 0 whose smooth Euler solution has maximal lifespan 0 < T* < infinity, with limsup of the C^1 norm infinite and the time integral of the vorticity supremum divergent, so the blowup is genuine by Beale-Kato-Majda. The construction, per the paper's own section headings, places a localised oscillation over a smooth Euler flow, amplifies and transfers its wave geometry, chooses scales and iterates, and passes to a limiting datum; 57 pages. It supersedes the forced Euler result of Buckmaster and Alpöge in the catalog and is the step on which OpenAI's Navier-Stokes agents were then prompted. It says nothing about Navier-Stokes without forcing.

Yes, if the argument stands. Theorem 1.1: there is u_0 in C^infinity_c with div u_0 = 0 whose smooth Euler solution has maximal lifespan 0 < T* < infinity, with limsup of the C^1 norm infinite and the time integral of the vorticity supremum divergent, so the blowup is genuine by Beale-Kato-Majda. The construction, per the paper's own section headings, places a localised oscillation over a smooth Euler flow, amplifies and transfers its wave geometry, chooses scales and iterates, and passes to a limiting datum; 57 pages. It supersedes the forced Euler result of Buckmaster and Alpöge in the catalog and is the step on which OpenAI's Navier-Stokes agents were then prompted. It says nothing about Navier-Stokes without forcing.