OpenAI used 10,000 AI agents to find a solution to the Navier-Stokes equations