I have watched a few videos about it, in principle the following: - this is for the full 3d incompressible navier stokes equations - human proofs seem to have focused on even further subsets of the equations - they applied a smooth differentiable (they call it a "nice" function) as a force term to the equations - the starting conditions were a fluid at rest, so the fluid was just u = 0 everywhere - after t greater than 1 the fluid formed a singularity, something that would require infinite energy - they way it does it is by forming a swirl that starts to stretch out perpendicular to the vortex core itself. It then elongates itself to infinity (they call it spaghettification), which is impossible