Finite-time blowup for the inviscid Boussinesq system with smooth forcing

Lineage and corrections

This event attributed to Tristan Buckmaster

VibeMathed record: Finite-time blowup for the inviscid Boussinesq system with smooth forcing evidence for this event

This event attributed to Codex with GPT-5.6 Sol

This event attributed to Claude

Finite-time blowup for the inviscid Boussinesq system with smooth forcing evidence for this event

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

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

Yes. Blowup for the inviscid Boussinesq system on $\mathbb R^2$ with forces in $C^\infty(\mathbb R^2\times[0,T_*])$ in both equations, supported in one fixed spatial ball, from smooth compactly supported initial temperature and zero initial velocity. The temperature stays bounded while $\|\nabla\theta(t)\|_\infty\to\infty$ and the vorticity norm has infinite limsup as $t\uparrow T_*$. The solution is smooth on every closed interval before blowup and unique in a finite-energy Lipschitz class. This lifts the force from barely $C^1$ to fully smooth, and is the construction the Euler paper then builds on. 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

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

affinecore: the second Lean formalisation, normalised data evidence for this event

Finite-time blowup for the inviscid Boussinesq system with smooth forcing parent of this event

This event attributed to Levent Alpöge