OpenAI asegura haber resuelto uno de los grandes problemas matemáticos del milenio

OpenAI anunció un avance que podría marcar un antes y un después en la historia de la inteligencia artificial y las matemáticas: un sistema interno de IA habría encontrado una solución para el problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio.

La compañía publicó el 8 de septiembre un documento con la demostración y una formalización realizada en Lean, un sistema utilizado para verificar formalmente pruebas matemáticas. Sin embargo, el resultado todavía deberá atravesar el proceso de revisión de matemáticos independientes antes de que pueda considerarse definitivamente aceptado por la comunidad científica.

Un desafío matemático de casi un siglo

Las ecuaciones de Navier-Stokes son utilizadas para describir el movimiento de los fluidos, como el agua y el aire. Tienen aplicaciones fundamentales en áreas como la física, la ingeniería y la modelización de fenómenos relacionados con fluidos.

El problema planteado por el Clay Mathematics Institute busca determinar si, en tres dimensiones, las soluciones de estas ecuaciones pueden mantenerse suaves para siempre o si, por el contrario, pueden desarrollar una singularidad en un tiempo finito.

La cuestión permanece abierta desde hace aproximadamente 90 años y forma parte de los siete Problemas del Milenio, considerados algunos de los desafíos matemáticos más importantes de la actualidad.

10.000 agentes de inteligencia artificial trabajando en paralelo

Según explicó OpenAI, la compañía utilizó un sistema interno basado en agentes de inteligencia artificial para investigar los problemas matemáticos que todavía permanecen sin resolver.

En el caso de Navier-Stokes participaron aproximadamente 10.000 agentes trabajando simultáneamente. El sistema exploró diferentes estrategias y permitió que distintos grupos de agentes intercambiaran los resultados obtenidos durante la investigación.

OpenAI informó que los agentes llegaron a una resolución el 5 de septiembre, aproximadamente 88 horas después de iniciado el trabajo. Posteriormente, la formalización y verificación mediante Lean demandó otras 17 horas utilizando GPT-6 Astra.

En total, durante los distintos problemas analizados, los agentes intercambiaron unos 4,9 millones de mensajes y utilizaron aproximadamente 300.000 millones de tokens. Para el problema de Navier-Stokes, específicamente, fueron 2,7 millones de mensajes y alrededor de 130.000 millones de tokens.

¿La inteligencia artificial resolvió un problema que los humanos no podían resolver?

La afirmación de OpenAI representa un cambio significativo en la manera de entender el papel de la inteligencia artificial en la investigación científica.

Hasta ahora, los sistemas de IA habían demostrado una capacidad cada vez mayor para resolver ejercicios matemáticos, escribir código y asistir a investigadores. En este caso, la compañía sostiene que un sistema de agentes pudo explorar diferentes caminos de investigación hasta encontrar una demostración para un problema abierto durante décadas.

El propio trabajo publicado por OpenAI señala que el sistema utilizado para la investigación es significativamente más capaz que GPT-6 Astra y que fue diseñado para coordinar grandes cantidades de agentes trabajando de manera simultánea.

Una demostración que todavía debe ser examinada

Pese al impacto del anuncio, existe una diferencia importante entre que OpenAI publique una solución y que la comunidad matemática considere oficialmente resuelto el Problema del Milenio.

La demostración deberá ser analizada por especialistas independientes para comprobar que cada paso sea correcto y que efectivamente resuelva el problema planteado por el Clay Mathematics Institute.

Además, el anuncio generó una fuerte controversia relacionada con la originalidad del trabajo y con investigaciones paralelas desarrolladas por el matemático de la Universidad de Nueva York Tristan Buckmaster y el investigador Levent Alpöge. Ambos habían trabajado sobre problemas relacionados con la aparición de singularidades en ecuaciones de dinámica de fluidos. OpenAI sostiene que su resultado fue obtenido de manera independiente, aunque la disputa sobre la procedencia de determinadas ideas continúa.

Un nuevo escenario para la ciencia

El caso Navier-Stokes podría convertirse en uno de los ejemplos más importantes sobre el potencial de la inteligencia artificial como herramienta para la investigación científica.

Si la demostración supera la revisión matemática, no solamente se habrá resuelto uno de los grandes problemas abiertos de las matemáticas: también se habrá demostrado que sistemas de inteligencia artificial pueden participar en investigaciones capaces de avanzar sobre preguntas que permanecieron sin respuesta durante generaciones.

OpenAI, además, indicó que no pretende reclamar el premio de un millón de dólares asociado al Problema del Milenio, ya que su objetivo principal es demostrar las capacidades de sus sistemas de inteligencia artificial.

Por ahora, la palabra clave es "asegura": el mundo científico deberá determinar si el histórico anuncio de OpenAI se convierte definitivamente en la segunda solución de uno de los siete Problemas del Milenio.