OpenAI announced it used AI to find a solution related to a Millennium Prize math problem concerning the Navier-Stokes equations