Mientras millones de personas utilizan la inteligencia artificial para crear imágenes, transformar fotos o resolver tareas cotidianas, OpenAI asegura haber puesto a trabajar a unos 10.000 agentes de IA para intentar resolver uno de los problemas matemáticos más difíciles de la historia.

El desafío tiene nombre propio: las ecuaciones de Navier-Stokes, utilizadas para describir cómo se comportan fluidos como el agua, el aire o la sangre. El problema forma parte de los famosos siete Problemas del Milenio, considerados algunos de los desafíos más importantes de la matemática moderna.

La pregunta parece sencilla, pero es brutalmente compleja: ¿las soluciones de estas ecuaciones pueden mantenerse regulares para siempre o, bajo determinadas condiciones, pueden aparecer singularidades donde algunos valores crecen sin límite y el modelo deja de comportarse normalmente?

Según el anuncio de OpenAI, sus sistemas habrían encontrado una demostración en la que un fluido que inicialmente se encuentra en reposo, sometido a una fuerza suave, termina desarrollando una singularidad en un tiempo finito.

Dicho en criollo: la IA habría encontrado un escenario matemáticamente permitido en el que las ecuaciones “se rompen”.

Pero detrás de ese resultado no hubo simplemente alguien escribiendo en una computadora “resolvé Navier-Stokes”. El experimento utilizó miles de agentes que trabajaron en distintos grupos, probaron caminos alternativos, detectaron errores, compartieron ideas y reutilizaron los enfoques que parecían más prometedores.

El proceso demandó unas 88 horas de búsqueda, a las que se sumaron otras 17 horas para formalizar y verificar el razonamiento mediante Lean, una herramienta utilizada para comprobar demostraciones matemáticas.

Las cifras del experimento también sorprenden: los agentes intercambiaron alrededor de 2,7 millones de mensajes y generaron aproximadamente 130.000 millones de tokens durante el proceso.

¿Entonces la IA resolvió uno de los Problemas del Milenio?

Todavía no. Y esta es la parte importante.

Aunque OpenAI asegura haber encontrado una demostración, el resultado deberá ser revisado por especialistas. Para que pueda ser reconocido oficialmente como una solución de uno de los Problemas del Milenio, deberá atravesar un proceso académico y conseguir aceptación dentro de la comunidad matemática.

Por eso, por ahora, hablar de un problema definitivamente resuelto sería apresurado.

La propia compañía tampoco pretende reclamar el premio de un millón de dólares asociado al desafío. El verdadero interés está puesto en algo mucho más grande: demostrar que una inteligencia artificial formada por múltiples agentes podría llegar a producir nuevos conocimientos científicos y no limitarse únicamente a reorganizar información que ya existe.

Una coincidencia que despertó sospechas

El anuncio también abrió una polémica entre especialistas.

El matemático Tristan Buckmaster, de la Universidad de Nueva York, que trabajaba junto a Levent Alpöge en una línea relacionada, consideró llamativo que OpenAI llegara prácticamente al mismo tiempo a un enfoque que, según planteó, no era una dirección evidente para investigar.

Buckmaster cuestionó además si trabajos privados que él y su colega habían cargado en Codex, una herramienta de OpenAI, pudieron haber influido de alguna manera en los modelos.

OpenAI negó haber accedido específicamente a esos datos, aunque reconoció que no puede descartar por completo que información derivada del uso de sus productos haya contribuido al entrenamiento.

Así, mientras buena parte del mundo sigue usando la IA para poner una foto en blanco y negro, hacerse un retrato estilo años 80 o preguntar qué cocinar con lo que queda en la heladera, los modelos más avanzados ya están intentando meterse con problemas que durante décadas resistieron a generaciones enteras de matemáticos.

Y si la demostración finalmente supera la revisión de los especialistas, la noticia podría ser mucho más grande que una simple curiosidad tecnológica: una IA podría haber dado un paso sobre uno de los problemas que la matemática todavía no había podido cerrar.