Singularity in Euler and Navier-Stokes equations

In recent years there is flurry of activity around singularity formation in PDEs of fluid dynamics. It culminated in 2022 in computer-assisted proofs of singularity forming from smooth data for incompressible Euler equation by Chen-Hou, and related numerics for Navier-Stokes equations.

It is thus quite possible that the train to millennium prize is leaving soon, and we want at least to understand how its engine works. Our first station will be a careful reading of the milestone work of Elgindi. Then we can go towards understanding analytical part of Chen-Hou.