AI models have accelerated discoveries, such as with the Navier-Stokes conjecture, a Millennium Prize math problem