El punto en disputa

La controversia gira en torno a la interpretación del problema de Navier-Stokes. Según la discusión pública generada a raíz del anuncio de OpenAI, el resultado presentado no corresponde al problema que la comunidad matemática ha intentado resolver desde el planteamiento del Clay Mathematics Institute: la demostración rigurosa de la existencia y regularidad de soluciones de las ecuaciones en tres dimensiones.

Críticos del anuncio sostienen que el enfoque adoptado, orientado a aplicaciones numéricas o computacionales, no equivale a una prueba formal del enunciado original y, por tanto, no cumpliría las condiciones para el premio del millón de dólares asociado al problema.

Lo que queda sin confirmar

El alcance exacto del trabajo de OpenAI y su recepción formal entre los matemáticos especializados permanecen sin confirmar. No consta una publicación revisada por pares ni un reconocimiento institucional que respalde una resolución del problema del Milenio. La compañía tampoco ha presentado, según la información disponible, una validación por parte de la comunidad matemática.

Contexto

El problema de Navier-Stokes, planteado en 2000 por el Clay Mathematics Institute, exige demostrar matemáticamente si las soluciones de las ecuaciones que describen el flujo de fluidos son siempre suaves y bien definidas. Es uno de los problemas abiertos más célebres de las matemáticas contemporáneas, y ninguno de los avances computacionales anunciados por empresas de AI ha alterado hasta ahora ese estado.

Conclusión: considerando que el resultado aportaría un avance en un ámbito distinto al del enunciado clásico del problema, pero sin que exista una demostración formal del mismo, el veredicto es: Parcialmente verdadero