On: Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)

[bee_rider]

For a second I thought they were aiming the scary proof machine at us mortals doing PDE stuff. Fortunately the speculation is just that they happen to be aiming it at a nearby mathematician type problem. Phew.