← Volver al feed

OpenAI anuncia una solución a Navier–Stokes (8 sep 2026): verificación en curso

OpenAI afirma una prueba y formalización Lean de singularidad en Navier–Stokes 3D; no reclama el premio Clay y pide revisión matemática.

OpenAI anuncia una solución a Navier–Stokes (8 sep 2026): verificación en curso

El 8 de septiembre de 2026, OpenAI publicó “On the Navier–Stokes Millennium Prize Problem” (https://openai.com/index/navier-stokes-solution/), afirmando una solución analítica —con formalización en Lean— de que un fluido 3D incompresible inicialmente en reposo, con fuerza suave y energía finita, puede desarrollar una singularidad en tiempo finito (enunciados C y D del problema Clay).

La compañía presenta el resultado como evidencia del ritmo de progreso de sus sistemas internos, no como reclamo del Millennium Prize. Reconoce trabajo concurrente (Buckmaster/Alpöge en Euler forzado) y el trasfondo de programas analíticos sobre blow-up. La comunidad matemática debe revisar paper y artefacto Lean: hasta nueva confirmación independiente, el estatus científico permanece en verificación.

Para Neural Pulse, el anuncio cierra un arco histórico: de la lógica aristotélica y Turing a agentes que atacan problemas abiertos del milenio. El hecho periodístico del día no es “premio concedido”, sino “lab fronterizo publica claim formalizado; el jurado ahora es la comunidad”.