Un sistema interno de OpenAI resolvió el problema de existencia y suavidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio del Instituto Clay de Matemáticas. La compañía tardó 88 horas en producir la prueba, un desafío que había permanecido abierto durante casi 90 años.
Las ecuaciones de Navier-Stokes describen el movimiento de los fluidos y se usan en diseño de aeronaves, pronóstico del clima y estudios de flujo sanguíneo. La pregunta sin responder era si un fluido tridimensional podía desarrollar velocidades infinitas en tiempo finito, algo que Jean Leray dejó abierto desde 1934.
Según OpenAI, la solución encontrada es un vórtice que se contrae y acelera de forma que su energía permanece finita, cumpliendo con las leyes de la física. La empresa publicó tanto el desarrollo matemático como una formalización verificable en el lenguaje Lean.
Cómo trabajaron los agentes de inteligencia artificial
OpenAI utilizó un sistema de agentes coordinados basado en un modelo interno más avanzado que GPT-6 Astra, aún en entrenamiento. El grupo que resolvió Navier-Stokes llegó a operar con cerca de 10 mil agentes simultáneos, divididos en equipos que exploraron distintas variantes del problema.
El costo en cómputo de la hazaña
En todo el esfuerzo, los agentes enviaron 4.9 millones de mensajes y generaron alrededor de 300 mil millones de tokens de salida. Solo para Navier-Stokes se usaron cerca de 130 mil millones de tokens, mientras que la verificación formal en Lean tomó 17 horas adicionales.
La tensión con investigadores de la NYU
El anuncio no estuvo exento de controversia. Según un comunicado público del matemático Tristan Buckmaster, profesor de la Universidad de Nueva York (NYU), él y Levent Alpöge —investigador de Anthropic— habían avanzado por su cuenta en resultados relacionados, incluida una prueba para las ecuaciones de Euler forzadas.
Buckmaster relató que, tras circular rumores sobre avances no confirmados, sostuvo llamadas con representantes de OpenAI en las que se le habrían propuesto distintos esquemas de publicación conjunta, incluyendo dejar fuera a Alpöge como autor. Buckmaster declinó las propuestas y decidió publicar su propio comunicado antes de que OpenAI difundiera su resultado.
Qué dice OpenAI sobre el trabajo simultáneo
En su publicación oficial, OpenAI reconoció el trabajo de Buckmaster y Alpöge sobre el problema de Euler forzado y afirmó no haber accedido a datos de usuario de ninguna de las dos partes para llegar a su propia solución.
Qué significa este avance
OpenAI aclaró que no buscará reclamar el Premio del Milenio, dotado con un millón de dólares por el Instituto Clay, y describió el resultado como una muestra del ritmo de avance de sus modelos, más que como un punto final en la investigación matemática.