Una afirmación de gran alcance matemático

El anuncio sitúa a la compañía de IA en el centro de uno de los problemas abiertos más célebres de la matemática: la existencia y regularidad de las soluciones de las ecuaciones de Navier-Stokes, que describen el flujo de fluidos y cuyo esclarecimiento conlleva el premio del Clay Mathematics Institute (CMI).

Según la documentación publicada, la propuesta se ha presentado formalmente mediante un repositorio en Lean, el asistente de pruebas utilizado para formalizar demostraciones matemáticas, lo que facilita el examen de la argumentación por parte de la comunidad.

Pendiente de validación independiente

A pesar del alcance del anuncio, la corrección matemática de la solución aún no ha sido establecida: no existe por ahora una verificación independiente ni un reconocimiento por parte del Clay Mathematics Institute. Por ello, afirmar que el problema de Navier-Stokes está resuelto carece de fundamento suficiente en este momento; lo verificado es que OpenAI ha realizado el anuncio y publicado el trabajo correspondiente.

En conclusión, la afirmación de que OpenAI ha anunciado un hallazgo es sustancialmente exacta, aunque su validez matemática definitiva queda a la espera de revisión externa, por lo que la calificación más ajustada de la noticia es: Veredicto: Mayormente verdadero