OpenAI anuncia una solución al problema del Premio del Milenio de Navier-Stokes

OpenAI anunció que sus sistemas internos han producido una solución al problema de existencia y suavidad de Navier-Stokes, demostrando que los fluidos incompresibles 3D suaves que parten del reposo pueden formar singularidades en tiempo finito bajo fuerzas externas suaves. Los hallazgos corresponden a las proposiciones C y D del desafío del Clay Mathematics Institute. OpenAI ha publicado el documento y una prueba formal en Lean, aunque la revisión académica independiente está pendiente.