Fuente primariaIAArtículo··5 min de lectura

OpenAI afirma haber resuelto Navier–Stokes con 10.000 agentes de IA

Un modelo interno más potente que GPT-6 Astra habría demostrado en 88 horas que las ecuaciones de los fluidos pueden «explotar»: un anuncio tan vertiginoso como la carrera que lo desencadenó.

OpenAI afirma haber resuelto Navier–Stokes con 10.000 agentes de IA
Fuente : OpenAI · OpenAIVer el original ↗

En breve

OpenAI publica una demostración, generada por un sistema interno de agentes, que establece que un fluido 3D incompresible, inicialmente en reposo y sometido a una fuerza suave, puede desarrollar una singularidad en tiempo finito. Esto resolvería en sentido negativo uno de los siete problemas del milenio del Clay Institute, con una formalización en Lean como respaldo. La empresa no reclama el premio y presenta el resultado como una señal sobre la velocidad del progreso de la IA.

🍺 Versión de barra

Desde hace 90 años, los matemáticos se preguntan si el agua puede, en teoría, ponerse a girar infinitamente rápido. OpenAI soltó a 10.000 IA sobre la cuestión durante un largo fin de semana, y la respuesta es sí: un torbellino que se estira como un espagueti hasta hacer crujir las ecuaciones. Lo mejor es que todo empezó por un rumor según el cual Anthropic lo había encontrado antes, lo que convierte al mayor avance matemático del siglo, técnicamente, en una historia de celos entre vecinos de rellano. Si se confirma, la pregunta ya no es si la IA hace matemáticas, sino cuánto tiempo les queda a los matemáticos para revisarlas.

Para recordar

  1. 1

    OpenAI afirma haber demostrado que un fluido 3D incompresible, partiendo del reposo con una fuerza externa suave y energía finita, puede ver su velocidad divergir en tiempo finito, estableciendo los enunciados «C» y «D» de la formulación oficial del Clay Institute.

  2. 2

    La solución toma la forma de un vórtice que se enrosca hacia el interior y se estira «como un espagueti», mientras la región central se contrae y acelera conservando energía finita.

  3. 3

    La prueba proviene de un modelo interno en entrenamiento desde el 28 de agosto, descrito como «significativamente más capaz que GPT-6 Astra».

  4. 4

    El grupo que encontró la solución contaba con unos 10.000 agentes simultáneos; la resolución llegó el 5 de septiembre, unas 88 horas después del lanzamiento, seguida de 17 horas de formalización en Lean mediante GPT-6 Astra.

  5. 5

    De paso, el sistema resolvió el problema de explosión para las ecuaciones de Euler sin forzamiento, con cerca de 100 agentes en unas 50 horas, lo que orientó el esfuerzo hacia Navier–Stokes.

  6. 6

    La operación se lanzó tras un rumor relacionado con Levent Alpöge (Anthropic) y Tristan Buckmaster (NYU), quienes en realidad habían resuelto el problema de Euler con forzamiento; OpenAI les reconoce la prioridad en ese punto.

  7. 7

    Coste total: 4,9 millones de mensajes y unos 300.000 millones de tokens de salida, de los cuales 2,7 millones de mensajes y 130.000 millones de tokens corresponden solo a Navier–Stokes.

Un problema de 90 años

Las ecuaciones de Navier–Stokes aplican la segunda ley de Newton a los fluidos, tratados como un medio continuo en lugar de un conjunto de moléculas. Sirven para diseñar aviones, predecir el tiempo meteorológico o estudiar la circulación sanguínea.

La cuestión abierta: ¿puede un fluido 3D incompresible, partiendo de un movimiento perfectamente suave, desarrollar una «singularidad», es decir, velocidades que crecen sin límite en un tiempo finito, a pesar de la viscosidad que tiende a suavizarlo todo?

Jean Leray demostró en 1934 la existencia de soluciones en un sentido generalizado, sin poder garantizar que permanecieran suaves. En el año 2000, el Clay Mathematics Institute lo convirtió en uno de sus siete problemas del milenio.

El resultado: sí, las ecuaciones pueden romperse

Según OpenAI, su sistema produjo una prueba analítica y una formalización en Lean que muestra que un fluido inicialmente en reposo, sometido a una fuerza suave y con energía finita conservada, puede formar una singularidad en tiempo finito. Se trata, por tanto, de una refutación de la regularidad global, correspondiente a los enunciados «C» y «D» del Clay.

La construcción se basa en un vórtice que se enrosca hacia el interior alargándose. Toda la dificultad radica en que la explosión surja de la propia dinámica del fluido, y no de una fuerza infinita introducida a mano.

En concreto, aceleración, gradientes de presión, transferencia de cantidad de movimiento y viscosidad deben volverse todos enormes compensándose con precisión, de modo que la fuerza externa permanezca suave mientras la velocidad diverge.

El método: un ejército de agentes y un fin de semana

El 1 de septiembre circulan rumores sobre la resolución de dos problemas del milenio. OpenAI lanza entonces su nuevo modelo interno sobre todos los problemas del milenio aún abiertos, además de otros problemas de alto impacto.

El dispositivo: grupos de agentes coordinados, con acceso a una versión en caché de internet y ejecución de código, recibiendo cada grupo una variante diferente del enunciado (prueba vía «A» y «B», refutación vía «C» y «D»).

Una sorpresa llega de un problema considerado «más fácil»: la explosión para Euler sin viscosidad ni forzamiento, resuelta por cerca de 100 agentes en unas 50 horas. OpenAI reasigna entonces sus recursos a Navier–Stokes, alimenta a los agentes con ese resultado, actualiza el modelo sobre la marcha y usa Codex para cruzar las mejores ideas entre grupos.

La resolución llega el sábado 5 de septiembre, unas 88 horas después del lanzamiento. La verificación en Lean toma 17 horas adicionales con GPT-6 Astra.

La carrera con Anthropic

El rumor inicial se refería a Levent Alpöge, empleado de Anthropic, y Tristan Buckmaster, profesor en NYU. Creyendo que ellos también tenían una solución de Navier–Stokes, OpenAI los contacta el 6 de septiembre para proponer un anuncio conjunto.

Resulta que habían resuelto, con un modelo interno de Anthropic, el problema de Euler con forzamiento. OpenAI reconoce su prioridad en ese resultado y subraya que su propia prueba de Euler, sin forzamiento, es diferente.

Dato destacado: OpenAI dice haber investigado y confirmado que los prompts de Codex de Buckmaster de los dos meses anteriores no pudieron influir en su sistema de ninguna manera, incluido el entrenamiento, y que no se consultaron datos de usuarios.

El mensaje detrás del anuncio

OpenAI precisa que no desea reclamar el premio del milenio. El objetivo declarado es informar al mundo del ritmo de progreso de la IA y de lo que cabe esperar de los próximos modelos.

La empresa habla de un «nuevo período» en el progreso de la IA e indica que quiere comprender este modelo antes de ir más allá, incluso si eso implica tomar decisiones más deliberadas sobre el ritmo de los avances.

“The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti.”
“We do not intend to claim the Millennium Prize for this result.”
“This is not a culmination, but rather a snapshot in time, of progress on AI development.”

Por qué importa

Si la prueba se sostiene, es un vuelco histórico: por primera vez, un sistema de IA habría resuelto un problema del milenio, y en cuestión de días en lugar de décadas. La formalización en Lean es el argumento más sólido del caso, porque hace mecánica la verificación, pero no exime a la comunidad de comprobar que el enunciado formalizado corresponde exactamente a la formulación del Clay; ahí se jugará la credibilidad del resultado. El relato en sí mismo es revelador: una carrera lanzada por un rumor sobre un competidor, recursos colosales (300.000 millones de tokens, 10.000 agentes simultáneos) movilizados en un fin de semana, y un párrafo defensivo sobre los prompts de Codex de un investigador rival que por sí solo plantea preguntas sobre la frontera entre datos de clientes e I+D. Por último, el tono prudente de la conclusión sobre el «ritmo» del progreso suena tanto a advertencia como a demostración de fuerza: un modelo que todavía está entrenándose y que logra esto inquieta al menos tanto como impresiona.

#openai#matemáticas#agentes#lean#anthropic#investigación
Fuente original
On the Navier–Stokes Millennium Prize Problem
OpenAI
Abrir el artículo ↗

Para ti

Ponla a trabajar con tus fuentes.

Gratis: un mes de artículos y tres fuentes tuyas. Pro: todo el archivo y tus fuentes, desde 8 €/mes.

Para tu equipo

La misma máquina, sobre tus temas.

Un espacio con tus colores, tus ángulos de vigilancia, tus curadores. Piloto abierto a tres empresas.

Sigue leyendo