Earlier this year, news broke that an OpenAI AI had solved one of the difficult problems in mathematics, the 'Navier-Stokes ...