I thought finite time blow-up for Euler equations had already been proved: https://www.quantamagazine.org/computer-helps-prove-long-sought-fluid-equation-singu

I thought finite time blow-up for Euler equations had already been proved: https://www.quantamagazine.org/computer-helps-prove-long-sought-fluid-equation-singularity-20221116/ https://www.quantamagazine.org/computer-helps-prove-long-sou...