OpenAI says internal AI proof tackles Navier-Stokes singularity
OpenAI says its internal AI system produced a proof that the 3D Navier-Stokes equations can develop a singularity in finite time, potentially resolving one of the seven Millennium Prize Problems in mathematics.