OpenAI has solved the Navier-Stokes Millennium problem using $15M of AI effort