OpenAI afirma tener una demostración con IA del problema de Navier-Stokes, y verificarla es difícil

Hace un mes, OpenAI anunció que había obtenido una demostración generada por IA del problema de Navier-Stokes. Es uno de los siete «problemas del milenio». El Clay Mathematics Institute ofrece $1 millón por la solución de cada uno, y desde el año 2000 solo se ha resuelto uno de ellos: la conjetura de Poincaré. Ahora Bloomberg Tech ha dedicado un episodio al asunto con Justin Solomon, decano asociado de educación en ingeniería del MIT. Una salvedad importante: el material es el anuncio de un pódcast, no un análisis de la demostración en sí. No contiene ninguna confirmación de que sea correcta.

Qué problema es y por qué resulta tan difícil de verificar

Las ecuaciones de Navier-Stokes describen el movimiento de un fluido viscoso: el agua en una tubería, el aire sobre un ala, las corrientes de la atmósfera. Ingenieros y climatólogos las resuelven numéricamente a diario. Pero los matemáticos aún no han demostrado que, en tres dimensiones, estas ecuaciones tengan siempre una solución suave que no «explote» en un tiempo finito. La práctica funciona; falta una teoría rigurosa.

Según la descripción del episodio, Solomon explica tanto el planteamiento del problema como el motivo por el que el texto de OpenAI es difícil de leer incluso para profesionales. En matemáticas, esto es una cuestión de fondo. Una demostración solo se considera tal después de que la comunidad la verifique. Si un texto de cientos de páginas lo ha escrito un modelo y abunda en pasos poco habituales, la revisión puede llevar meses. Un comunicado de prensa no acelera ese proceso.

Modelos que antes no sabían calcular

El material incluye un detalle que refleja bien la magnitud del cambio: los modelos de lenguaje cometían errores en aritmética elemental y ahora resuelven problemas que llevaban décadas sin solución. Solomon analiza cómo reaccionan a esto los matemáticos puros y los aplicados. Sus intereses son distintos. A los aplicados les importan más una herramienta que funcione y un resultado numérico. Los puros necesitan comprensión, es decir, una estructura argumental que se pueda transmitir a otra persona.

Otro tema del episodio es cómo retrata el cine el trabajo de los matemáticos. Suele mostrar a un genio con una pizarra y una revelación en plena noche. El trabajo real consiste en largas verificaciones, callejones sin salida y correspondencia con colegas.

Hechos clave del anuncio

• Anuncio: OpenAI comunicó en septiembre de 2026 una demostración generada por IA del problema de Navier-Stokes. • Estado: la fuente no menciona ninguna verificación independiente. • Lo que está en juego: el premio del Clay Mathematics Institute por resolver un problema del milenio es de $1 millón. • Experto: Justin Solomon, associate dean for engineering education en el MIT. • Problema: incluso a los profesionales les cuesta analizar el texto de la demostración. • Frente paralelo: los LLM hacen los deberes de los estudiantes y los profesores no logran adaptarse a tiempo.

Qué deben hacer docentes e ingenieros

La educación se topó con el problema antes que la ciencia. Si un modelo resuelve los deberes habituales, lo que hay que evaluar no es la respuesta, sino el razonamiento: defensas orales, problemas con explicación, exámenes sin dispositivos. Según la descripción, Solomon ya está revisando su propio enfoque pedagógico, pero el anuncio no da detalles.

Para los equipos de ingeniería, la conclusión es más terrenal. Cualquier resultado de un modelo en matemáticas, desde la optimización hasta la simulación de flujos, debe verificarse de forma independiente: con sistemas formales de demostración, pruebas numéricas o un segundo especialista. Mientras la comunidad no confirme el trabajo de OpenAI, conviene tratarlo como una afirmación. Si lo confirma, los matemáticos tendrán una nueva clase de herramientas y un nuevo problema: cómo leer demostraciones que las personas no habrían ideado por sí solas.