Two-part proof claims global smoothness for 3D Navier–Stokes by reducing the full problem to an axisymmetric case | arXiv News