OpenAI afirma haber resuelto el Millennium Prize con formalización en Lean de Navier–Stokes
El 8 de septiembre de 2026, OpenAI anunció que su sistema generó una prueba y formalización en Lean sobre singularidades finitas en Navier–Stokes, generada con 10.000 agentes en 88 horas y 130.000 millones de tokens, aunque la comunidad cuestiona la validez del trabajo.
Un hombre observa la pantalla de un smartphone morado que sostiene con la mano. — imagen de archivo de El Forum, ajena al asunto de esta pieza; pendiente de sustituciónEl Forum · Fototeca de El Forum · OWN_WORK
