OpenAI afirma que uno de sus sistemas internos de inteligencia artificial resolvió un problema que ha resistido a los matemáticos durante más de noventa años: si las ecuaciones de Navier-Stokes, que describen el movimiento de los fluidos, pueden generar una singularidad, es decir, un punto donde la velocidad del flujo se vuelve infinita. Es uno de los siete Problemas del Milenio que planteó el Instituto Clay en 2000, cada uno con un millón de dólares de recompensa, y hasta ahora solo se ha resuelto uno.
Según la compañía, unos 10.000 agentes de IA que operaban sobre un modelo interno aún no publicado, más potente que GPT-6 Astra, dedicaron 88 horas al problema, intercambiando 2,7 millones de mensajes y consumiendo unos 130.000 millones de tokens de salida. Después, el propio GPT-6 Astra empleó otras 17 horas en verificar formalmente la lógica de la demostración con Lean, un lenguaje que los matemáticos usan para comprobar argumentos.
La cronología resulta incómoda. Doce horas antes del anuncio de OpenAI, el matemático de la Universidad de Nueva York Tristan Buckmaster y el investigador de Anthropic Levent Alpöge publicaron un resultado relacionado. Buckmaster calificó uno de los textos resultantes de "basura generada por IA" y sugirió que el equipo de OpenAI pudo haber accedido a su trabajo aún no publicado. Ninguna de las partes coincide en quién llegó primero.
Charles Fefferman, de Princeton y uno de los mayores expertos en este problema, se mostró "entusiasmado", pero señaló que el verdadero mérito recae en otros: los matemáticos Diego Córdoba y Luis Martínez-Zoroa, cuya nueva técnica hizo posibles ambas demostraciones asistidas por ordenador. Ninguna institución matemática ha certificado todavía el resultado de OpenAI, y ese tipo de revisión suele tardar años, no días.
