OpenAI claims AI agents solved the Navier–Stokes Millennium Prize Problem · Digg