Isn’t Navier-Stokes smoothness just a reframing of the three-body problem? Karl Sundman solved that one in 1909, and n-body was generalized in 1990 by Qiudong Wang.
Edit- to answer my own question: http://www.scholarpedia.org/article/N-body_simulations_(grav...