OpenAI says its AI solved Navier-Stokes Millennium Prize Problem