Finite-time blowup for the 3D incompressible Euler equations with smooth forcing

Lineage and corrections

Terence Tao's assessment of the result and the mechanism evidence for this event

Buckmaster's announcement, with all three manuscripts evidence for this event

Finite-time blowup for the 3D incompressible Euler equations with smooth forcing parent of this event

Yes. Theorem 1.1: for every $r_0>0$ and $z_0$ there are a time $T_*>0$, a divergence-free axisymmetric $u_0\in C_c^\infty$ supported in a fixed solid torus with nonzero swirl and zero meridional velocity, and an axisymmetric force $f\in C^\infty(\mathbb R^3\times[0,T_*])$ supported in that torus, with a solution smooth on $[0,T_*)$ for which circulation and meridional velocity stay bounded while $\|\nabla\Gamma(t)\|_\infty$ and $\|\omega(t)\|_\infty$ tend to infinity and $\int_0^{T_*}\|\omega(t)\|_\infty\,dt=\infty$, so the blowup is genuine by Beale-Kato-Majda. It is unique among divergence-free locally space-time Lipschitz solutions with the same data, and competitors need not be axisymmetric. Not the Clay Millennium problem: that problem is Navier-Stokes with viscosity, and Fefferman's official description states that the Euler equation "is not on the Clay Institute's list of prize problems". parent of this event

VibeMathed record: Finite-time blowup for the 3D incompressible Euler equations with smooth forcing evidence for this event

Finite-time blowup for the 3D incompressible Euler equations with smooth forcing evidence for this event

Lean formalisation, comparator-checked against Challenge.lean evidence for this event

Challenge.lean: the trusted statement, in plain Mathlib evidence for this event

Buckmaster's public statement on the work and its release evidence for this event

Fefferman's official Clay problem description evidence for this event

Elgindi, Annals 2021: Question 1.1, the problem in the form asked here evidence for this event

This event attributed to Claude

This event attributed to Codex with GPT-5.6 Sol

This event attributed to Levent Alpöge

This event attributed to Tristan Buckmaster