What is Navier-Stokes problem? OpenAI claims AI solved 90-year-old math mystery

OpenAI claims its internal AI system has solved the 90-year-old Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The system reportedly showed that a smooth fluid flow can develop a singularity, causing its velocity to become unbounded in finite time.