What if there are math problems that can only be brute forced? How do we know that Navier-Stokes even has a nice and elegant solution?