Matemática
Una IA encontró una singularidad en Navier–Stokes, pero la prueba sigue bajo examen
Un sistema de IA produjo una prueba formalizada de que las ecuaciones de Navier–Stokes pueden desarrollar una singularidad. Matemáticos aún analizan su alcance.