10.000 agentes de IA: la demostración de Navier-Stokes en solo 88 horas

OpenAI afirma haber resuelto uno de los problemas matemáticos más difíciles del mundo, que había permanecido sin respuesta durante casi noventa años. La demostración de Navier-Stokes presentada por la empresa de ChatGPT se refiere a uno de los siete Problemas del Premio del Milenio catalogados por el Instituto de Matemáticas Clay, y fue producida por un sistema de IA interno más potente que el modelo GPT-6 Astra. Alrededor de 10.000 agentes artificiales trabajaron en paralelo, llegando a una solución en solo 88 horas.

Resumen

• Puntos clave
• El problema de Navier-Stokes y por qué es importante
  • El resultado: una singularidad en el movimiento de los fluidos
• Cómo trabajó el sistema multiagente
• Las acusaciones de Buckmaster y la respuesta de OpenAI
• Por qué es relevante y qué cambia ahora
• Preguntas frecuentes
  • ¿Qué es el problema de la existencia y regularidad de Navier-Stokes?
  • ¿Cómo resolvió el problema el sistema de IA de OpenAI?
  • ¿Qué demuestra la solución sobre el movimiento de los fluidos?

Puntos clave {#Puntos_clave}

• OpenAI ha producido una prueba matemática que resuelve el problema de la existencia y regularidad de las ecuaciones de Navier-Stokes.
• Un sistema multiagente de aproximadamente 10.000 agentes de IA competidores alcanzó la solución en 88 horas, procesando 130 mil millones de tokens e intercambiando 2,7 millones de mensajes.
• La demostración fue formalizada en Lean y verificada con GPT-6 Astra en otras 17 horas.
• La solución muestra que el movimiento de un fluido puede generar una singularidad en un tiempo finito, a pesar de la viscosidad.
• El matemático Tristan Buckmaster (NYU) acusó a OpenAI de haber acelerado el trabajo después de enterarse de una posible solución paralela suya y de un investigador de Anthropic; OpenAI negó haber utilizado sus datos.

El problema de Navier-Stokes y por qué es importante {#El_problema_Navier-Stokes_y_por_que_es_importante}

Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos, tratándolos como un medio continuo en lugar de como un conjunto de moléculas individuales. Son fundamentales para el diseño aeronáutico, las predicciones meteorológicas y los estudios sobre el flujo sanguíneo. La pregunta abierta durante casi un siglo era si este modelo continuo podría "romperse": si, es decir, un fluido inicialmente en movimiento regular podría desarrollar una velocidad que crece sin límite en un tiempo finito, a pesar de que la viscosidad tiende a suavizar el movimiento.

Las ecuaciones se remontan al trabajo de Claude-Louis Navier y George Gabriel Stokes en el siglo XIX. En 1934, Jean Leray demostró que existen soluciones en un sentido generalizado, pero la cuestión de su regularidad permanecía abierta. En 2000, el Instituto de Matemáticas Clay incluyó el problema entre los siete Problemas del Premio del Milenio, cada uno con un premio de un millón de dólares para quien lo resuelva.

El resultado: una singularidad en el movimiento de los fluidos {#El_resultado_una_singularidad_en_el_movimiento_de_los_fluidos}

El sistema de OpenAI ha producido una prueba analítica que muestra cómo un fluido inicialmente quieto y regular, sometido a una fuerza igualmente regular, puede desarrollar una singularidad en un tiempo finito, manteniendo una energía finita durante toda la dinámica. La solución del problema del Milenio identificada es un vórtice que se enrolla hacia adentro, alargándose progresivamente como un espagueti en espiral: la región central se estrecha mientras acelera, de modo que la energía permanezca finita, como lo exigen las leyes de la física.

El desafío técnico no era trivial: las ecuaciones debían generar por sí solas la ruptura, sin que los investigadores introdujeran artificialmente una fuerza infinita. Los términos que describen la aceleración, el gradiente de presión, la transferencia de momento y la viscosidad debían crecer y anularse juntos de manera precisa, dejando una fuerza externa regular incluso mientras la velocidad del fluido crecía sin límites.

Detrás de la demostración multiagente hay un sistema de agentes coordinados alimentado por un modelo interno entrenado desde el 28 de agosto, que aún está en fase de entrenamiento. Los agentes podían acceder a una versión en caché de internet y ejecutar código, divididos en grupos capaces de comunicarse entre sí. El grupo que resolvió Navier-Stokes contaba con aproximadamente 10,000 agentes concurrentes.

OpenAI lanzó la iniciativa el 1 de septiembre, después de escuchar rumores de que dos problemas del Premio Millennium podrían haberse resuelto en otro lugar. Luego, probó su modelo en todos los problemas aún abiertos, proponiendo a diferentes grupos de agentes variantes distintas del enunciado: las versiones "A" y "B" llevarían a una demostración, mientras que las versiones "C" y "D" a una refutación. Los agentes también resolvieron, casi por casualidad, una versión más simple relacionada con las ecuaciones de Euler, que luego dirigió los recursos hacia el problema principal.

Los agentes llegaron a la solución el sábado 5 de septiembre, aproximadamente 88 horas después del lanzamiento de los primeros agentes. La prueba matemática AI fue luego formalizada en el lenguaje Lean y verificada a través de GPT-6 Astra en otras 17 horas. Solo para Navier-Stokes, el sistema intercambió 2.7 millones de mensajes y generó aproximadamente 130 mil millones de tokens en salida.

Las acusaciones de Buckmaster y la respuesta de OpenAI

El anuncio se entrelazó de inmediato con una polémica. Tristan Buckmaster, profesor en la Universidad de Nueva York, declaró que OpenAI habría acelerado su trabajo después de enterarse de que él y un investigador de Anthropic estaban cerca de anunciar su propio descubrimiento. Buckmaster agregó un detalle delicado: el trabajo de la pareja estaba almacenado en el modelo Codex de OpenAI, utilizado para escribir código, y por lo tanto potencialmente visible para el equipo interno. En su sitio escribió que no sabía qué había hecho el modelo de OpenAI ni si sus datos habían sido utilizados, sin embargo, no acusó directamente a nadie.

Durante una conferencia de prensa, el investigador de OpenAI Sebastien Bubeck negó que la empresa hubiera utilizado el trabajo de la pareja o tenido acceso al material compartido en los servidores de OpenAI. En su anuncio, OpenAI admitió que no podía excluir del todo que datos desidentificados derivados del uso de sus productos por parte de Alpöge y Buckmaster pudieran haber influido en la mejora de los modelos. Sin embargo, la empresa subrayó que las dos pruebas son sustancialmente diferentes, ya que se refieren a variantes distintas del problema: Buckmaster y Alpöge habrían trabajado en la versión forzada de las ecuaciones de Euler, mientras que los agentes de OpenAI resolvieron la versión no forzada.

Por qué cuenta y qué cambia ahora

Es una frase que va más allá de la matemática pura: señala cuánto los modelos de IA, alimentados por enormes cantidades de potencia de cálculo, están entrando en territorios de investigación científica que hasta hace poco se consideraban exclusivos del trabajo humano.

Para el mundo académico y para los inversores en el sector de IA, el asunto plantea dos cuestiones distintas pero conectadas. Por un lado, está la magnitud científica real del resultado, que requiere verificación independiente por parte de la comunidad matemática. Por otro lado, está la cuestión del origen de los datos y la competencia entre laboratorios, que complica la interpretación de quién realmente ha contribuido a qué.

FAQ

¿Qué es el problema de la existencia y regularidad de Navier-Stokes?

Es una pregunta fundamental aún abierta: si las ecuaciones de Navier-Stokes para un fluido incompresible tridimensional pueden desarrollar singularidades en tiempo finito, a pesar de la presencia de viscosidad.

¿Cómo resolvió el problema el sistema de IA de OpenAI? {#Como_ha_resolto_il_problema_il_sistema_AI_di_OpenAI}

OpenAI utilizó un sistema multiagente de aproximadamente 10,000 agentes de IA en competencia, coordinados durante unas 88 horas, llegando a una prueba que luego fue formalizada en Lean y verificada con GPT-6 Astra.

¿Qué demuestra la solución sobre el movimiento de los fluidos? {#Cosa_dimostra_la_soluzione_sul_moto_dei_fluidi}

La solución muestra que las velocidades del fluido pueden crecer sin límite en tiempo finito, creando una singularidad, mientras que la energía total permanece finita: una señal de ruptura de la aproximación continua del fluido.

Contenido realizado con la asistencia de inteligencia artificial y con revisión editorial humana.