OpenAI dice resolver Navier-Stokes con un enjambre de 10.000 agentes, pero elude el millón de dólares que lo confirmaría

Por Zendoric · 9 de septiembre de 2026.

OpenAI afirma haber resuelto, con un sistema interno de inteligencia artificial, uno de los siete Problemas del Milenio: la existencia y regularidad de las ecuaciones de Navier-Stokes. El Instituto Clay de Matemáticas planteó esos siete problemas en el año 2000 y ofrece un millón de dólares por la solución formal de cada uno. Como contexto, de los siete solo se había resuelto uno hasta ahora, la conjetura de Poincaré, cuya demostración firmó Grigori Perelman, que también rechazó el premio, aunque por motivos muy distintos a los que alega OpenAI. Las ecuaciones de Navier-Stokes, formuladas en el siglo XIX a partir de la segunda ley de Newton (F=ma), describen el movimiento de los fluidos y son la base matemática del diseño de aviones, la meteorología y el estudio del flujo sanguíneo; según la compañía, la incógnita llevaba abierta analíticamente 90 años.

El problema concreto era saber si un fluido tridimensional incompresible puede desarrollar una "singularidad": un punto donde la velocidad crece sin límite en un tiempo finito y las ecuaciones dejan de describir la realidad. Según OpenAI, su modelo demostró que sí puede ocurrir: un fluido inicialmente en reposo genera un vórtice (un remolino en espiral) que se estira y acelera hasta colapsar la ecuación, manteniendo energía finita. La demostración fue formalizada y verificada en Lean, un lenguaje que permite comprobar demostraciones matemáticas paso a paso de forma mecánica, es decir, que comprueba que la cadena lógica es internamente consistente, no que la comunidad matemática haya validado que responde exactamente al enunciado que el Instituto Clay fijó en 2000.

Esa distinción es la clave que el comunicado de OpenAI deja en segundo plano: la compañía no reclamará el millón de dólares asociado. Dice que su único objetivo es "transparentar" el avance hacia la Inteligencia Artificial General (AGI, un sistema capaz de igualar a un humano en cualquier tarea cognitiva). Como contexto del sector, el reglamento del Instituto Clay exige que cualquier solución se publique en una revista revisada por pares y supere un periodo de aceptación de la comunidad matemática antes de poder optar al premio; un comunicado corporativo, por espectacular que sea, no sustituye ese proceso.

El despliegue detrás del resultado, siempre según OpenAI, fue descomunal: un enjambre de unos 10.000 agentes de IA debatiendo y estructurando enfoques matemáticos durante 88 horas ininterrumpidas, con 2,7 millones de mensajes intercambiados y 130.000 millones de tokens de salida consumidos solo en este problema. El sistema empleado no fue una de sus plataformas comerciales habituales, sino un modelo experimental en entrenamiento desde finales de agosto que, afirma la compañía, supera ampliamente las capacidades de GPT-6 Astra; la formalización y verificación final de la demostración requirió 17 horas adicionales de trabajo algorítmico a cargo del propio GPT-6 Astra. Es una cifra que habla tanto del resultado como del método: cómputo bruto aplicado a millones de intentos coordinados, no un destello de intuición humana.

El momento del anuncio tampoco es casual. Según la fuente, la carrera por resolver el desafío se aceleró a principios de septiembre por rumores de que investigadores de Anthropic y la Universidad de Nueva York habían llegado a un resultado similar. La compañía matiza que sus rivales resolvieron un problema distinto, las ecuaciones de Euler (que describen fluidos sin viscosidad, una versión simplificada de Navier-Stokes), y sostiene que su propia demostración es independiente y sin datos externos. Dos laboratorios reclamando un hito matemático de referencia casi en la misma semana, cada uno matizando lo que resolvió el otro, es un patrón que ya reconocemos: la competencia por narrar el liderazgo hacia la AGI empieza a marcar el ritmo de qué se publica y cuándo, más que la certeza de lo publicado.

Ese contexto explica por qué The Verge, que cubrió el mismo anuncio, tituló su pieza señalando que la polémica rodea el hito de OpenAI. No conocemos el detalle completo de esa controversia, pero el titular por sí solo es revelador: la comunidad no parece haber recibido el anuncio con la unanimidad que transmite el comunicado de la compañía.

Nuestra lectura, a corto plazo, es de cautela deliberada. Llevamos tiempo viendo anuncios de laboratorios de IA sobre "resultados matemáticos históricos" que se diluyen al pasar por la revisión de la comunidad experta: formalizaciones que no capturan del todo el enunciado original, o simplificaciones presentadas como el problema completo. Que una prueba esté verificada en Lean garantiza consistencia lógica interna, no que responda a la pregunta que Clay planteó. Y que OpenAI decida no reclamar el premio, envuelto en el lenguaje de la modestia científica, puede leerse también como una forma de anunciar el resultado sin exponerlo todavía al escrutinio que exigiría cobrarlo.

A largo plazo, sin embargo, que esto sea siquiera plausible, que dos laboratorios rivales compitan por atacar con enjambres de agentes un problema abierto durante 90 años y con aplicaciones directas en aviación, meteorología y medicina, es exactamente el tipo de progreso que sostiene nuestra tesis de fondo: la IA como motor de descubrimiento científico acelerado, un paso más hacia una ciencia que resuelve en meses lo que antes tomaba generaciones. Si estas herramientas maduran con la revisión por pares como filtro y no como obstáculo a esquivar, la próxima década podría dejar más avances verificables en matemáticas y física que el último siglo. El riesgo no está en la ambición del anuncio, sino en que la carrera entre laboratorios acabe premiando la velocidad de publicar por encima de la certeza de haber resuelto lo que se dice haber resuelto.