OpenAI presentó una demostración matemática generada por inteligencia artificial que, si supera la revisión independiente de especialistas, podría resolver uno de los seis Problemas del Milenio que continúan abiertos.
El trabajo aborda las ecuaciones de Navier-Stokes, utilizadas para describir el movimiento de fluidos como el agua y el aire. Desde hace décadas persiste una pregunta fundamental: si determinadas soluciones tridimensionales pueden perder su regularidad y desarrollar una singularidad en un tiempo finito.
OpenAI sostiene que encontró justamente una construcción de ese tipo.
La compañía publicó una demostración analítica de 165 páginas y una formalización computacional en Lean, un sistema que permite expresar argumentos matemáticos de forma que una computadora pueda comprobar numerosos pasos lógicos.
El resultado fue generado mediante un modelo interno todavía no disponible públicamente y que OpenAI describe como significativamente más capaz que GPT-6 Astra.
La escala del experimento también resulta extraordinaria. Según la empresa, alrededor de 10.000 agentes de inteligencia artificial trabajaron coordinadamente sobre el problema durante unas 88 horas.
La construcción matemática describe un vórtice que se concentra progresivamente, se hace más delgado y aumenta su intensidad hasta producir una singularidad en un tiempo finito.
Hay una precisión importante para entender qué afirma realmente el trabajo.
La formulación oficial del Problema del Milenio contempla distintas alternativas. OpenAI asegura haber demostrado las opciones C y D, correspondientes a casos en el espacio tridimensional completo y en un espacio periódico en los que existen datos y una fuerza externa suave capaces de producir la pérdida de regularidad.
Esto significa que la demostración utiliza un término de forzamiento externo. No resuelve directamente la versión popularmente formulada como la pregunta de si un fluido tridimensional sin fuerzas externas puede generar espontáneamente una singularidad a partir de datos suaves.
Sin embargo, las alternativas C y D forman parte de la formulación oficial realizada para el Clay Mathematics Institute. Por eso, si la demostración es correcta y cumple todas las condiciones exigidas, podría alcanzar para resolver formalmente el Problema del Milenio.
Ese “si” es, por ahora, determinante.
OpenAI publicó una propuesta de solución, pero el Clay Mathematics Institute todavía no reconoció el problema como resuelto. La demostración acaba de quedar expuesta al escrutinio de matemáticos especializados, que deberán verificar sus hipótesis, cálculos, estimaciones y conclusiones.
La existencia de una formalización en Lean aporta una herramienta adicional. El repositorio publicado por OpenAI contiene certificados formales para las construcciones de Navier-Stokes y también para un resultado relacionado con las ecuaciones de Euler.
Pero una comprobación formal tampoco reemplaza automáticamente la revisión científica. Es necesario verificar que lo formalizado corresponda exactamente con el problema matemático que se pretende resolver y que toda la arquitectura conceptual sea válida.
El episodio representa además un salto llamativo en la utilización de inteligencia artificial para producir matemática nueva.
Hasta hace pocos años, los modelos podían resolver ejercicios, reproducir demostraciones conocidas o colaborar con investigadores. En este caso, OpenAI sostiene que un sistema de agentes exploró activamente estrategias y produjo una construcción destinada a responder una pregunta abierta desde hace generaciones.
La noticia quedó rodeada también por una disputa sobre autoría y antecedentes.
El matemático Tristan Buckmaster, de la Universidad de Nueva York, y Levent Alpöge, investigador de Anthropic, venían desarrollando trabajos relacionados con singularidades en dinámica de fluidos utilizando herramientas de inteligencia artificial.
Buckmaster planteó interrogantes sobre la posibilidad de que información surgida de ese trabajo pudiera haber influido indirectamente en los sistemas de OpenAI.
La compañía negó haber accedido específicamente a datos privados de los investigadores para obtener el resultado, aunque reconoció que no puede excluir completamente que información desidentificada derivada del uso de sus productos haya contribuido anteriormente al entrenamiento o mejoramiento de modelos.
Los trabajos tampoco son idénticos. La discusión académica deberá establecer con precisión qué relación existe entre las distintas construcciones y cómo corresponde distribuir el crédito científico.
Más allá de esa controversia, el punto decisivo permanece intacto: la prueba necesita sobrevivir a la revisión matemática.
La historia de la disciplina registra numerosas propuestas de solución para grandes problemas abiertos que parecieron correctas inicialmente y terminaron mostrando errores sutiles.
Por eso, al 8 de septiembre de 2026, Navier-Stokes no puede darse todavía por oficialmente resuelto.
Lo que sí ocurrió es excepcional: una inteligencia artificial produjo y publicó una propuesta completa para resolver una de las grandes preguntas de la matemática moderna, acompañada por una formalización computacional y construida mediante miles de agentes trabajando de manera coordinada.
Si el argumento resiste el escrutinio de la comunidad, el resultado tendría una doble dimensión histórica. Por un lado, cerraría uno de los grandes problemas matemáticos seleccionados por el Clay Mathematics Institute. Por otro, marcaría uno de los ejemplos más contundentes hasta ahora de una inteligencia artificial participando directamente en la creación de conocimiento matemático original.