OpenAI, la empresa detrás de ChatGPT, afirmó haber resuelto un problema matemático avanzado de décadas usando un nuevo modelo de inteligencia artificial (IA) y miles de bots de IA, según BBC. La compañía indicó el martes que utilizó alrededor de 10.000 agentes de IA para resolver un problema matemático notoriamente difícil en solo 88 horas.

Problema en las ecuaciones de Navier-Stokes

El problema formaba parte de las ecuaciones de Navier-Stokes, que tratan sobre cómo se mueven los fluidos; Durante 90 años, importantes aspectos del problema carecían de una demostración, es decir, del argumento que respalda una ecuación matemática correcta. OpenAI calificó la solución como un “hitó” y evidencia de que las herramientas de IA están mejorando rápidamente.

Verificación independiente pendiente

La solución de OpenAI aún no ha sido verificada de forma independiente ni aceptada públicamente por The Clay Mathematics Institute, una organización matemática con sede en Estados Unidos que administra el Premio Milenio, que ofrece grandes sumas de dinero al primero que resuelva ciertos enigmas matemáticos. La empresa dijo que comenzó a entrenar un nuevo modelo a finales de agosto, lo que rápidamente mostró que era hábil en matemáticas; Los modelos de IA son programas informáticos entrenados con enormes cantidades de datos para reconocer y predecir patrones en la información.

Aunque el nuevo modelo de OpenAI sigue siendo una herramienta utilizada únicamente dentro de la empresa, ya que es “significativamente más capaz” que el modelo de IA más reciente lanzado por la compañía, sus investigadores decidieron usarlo en ciertos problemas matemáticos avanzados notables. OpenAI reconoció el lunes 1 de septiembre que “había escuchado rumores de que dos problemas del Premio Milenio habían sido resueltos” y, por lo tanto, decidió poner a miles de bots de IA entrenados con el nuevo modelo interno a trabajar para intentar resolver algunos de los problemas restantes.

Alrededor del 5 de septiembre, o aproximadamente 88 horas después de haber asignado 10.000 bots de IA a la tarea, OpenAI encontró una solución al problema conocido como la existencia y suavidad de Navier-Stokes. Este problema es fundamental para la turbulencia, un fenómeno que aún no se comprende bien.

Aunque a los bots de IA les pareció que tomaron poco tiempo para llegar a una solución, OpenAI dijo que los bots intercambiaron casi 3 millones de mensajes y usaron 130.000 millones de tokens de salida, o las líneas individuales de texto y código que produce un modelo de IA en sus respuestas, solo en Navier-Stokes. Un esfuerzo así habría costado aproximadamente 10 millones de dólares (7,3 millones de libras), según los precios de salida de los modelos más avanzados de OpenAI.

Controversia y trabajo simultáneo

La solución que OpenAI dice haber alcanzado para el problema de la existencia y suavidad de Navier-Stokes resolvió dos de los cuatro enunciados en la demostración que el Premio Milenio exigía. El premio tiene un valor de 1 millón de dólares para el ganador; “Nuestro objetivo al publicar este resultado es informar sobre el progreso significativo de nuestros modelos de IA”, dijo OpenAI el martes. “No pretendemos reclamar el Premio Milenio por este resultado”.

Ya la afirmación de la empresa está generando cierta controversia. Tristan Buckmaster, profesor de matemáticas en la Universidad de Nueva York, dijo el martes que él y Levent Alpöge, un matemático que trabaja para la competencia de OpenAI, Anthropic, también habían estado trabajando en soluciones para el problema. El dúo había estado usando la herramienta Codex de OpenAI en su trabajo; Pero Buckmaster dijo que el 3 de septiembre descubrió que “información sobre nuestro progreso había sido pasada a OpenAI”.

La declaración de Buckmaster se dio el mismo día, pero horas antes de que OpenAI publicara su trabajo sobre Navier-Stokes; Afirmó que OpenAI no comenzó a trabajar en las ecuaciones de Navier-Stokes hasta “después de que información sobre nuestro trabajo hubiera llegado a OpenAI”. Incluyó textos de correos electrónicos intercambiados con OpenAI sobre el trabajo y sus preguntas sobre el cronograma y los métodos de la empresa.

Buckmaster añadió que aún no había leído la demostración completa de OpenAI, pero sintió que era necesario hacer público “lo que me fue dicho, cuándo y qué me fue propuesto… porque la alternativa es dejar que una secuencia de anuncios diga algo que sé que es falso”. El martes, OpenAI felicitó el “trabajo simultáneo” de Buckmaster y Alpöge, calificándolo como “remarcable”. La empresa dijo que no había visto “ninguno de sus trabajos a través de ningún medio hasta que los publicaron” y que no se usó ningún dato de usuario en su trabajo sobre el problema de Navier-Stokes.

“Aunque es poco probable, no podemos descartar que datos desidentificados derivados de su uso de nuestros productos hayan ayudado a mejorar nuestros modelos”, añadió la empresa. “Sin embargo, nuestras demostraciones son significativamente diferentes e incluso los resultados precisos demostrados son distintos”.

En una rueda de prensa el martes, el investigador de OpenAI Sebastien Bubeck negó que la empresa hubiera usado el trabajo del dúo o hubiera accedido a materiales compartidos con los servidores de OpenAI. El anuncio de OpenAI sobre el avance dio más detalles, afirmando que la empresa se inspiró para iniciar el esfuerzo tras escuchar rumores de que dos problemas del Premio Milenio habían sido resueltos. También dijo que no podía descartar que los datos del uso de sus productos por parte del dúo “hubieran ayudado a mejorar nuestros modelos”.

OpenAI dijo que abordó el problema de Navier-Stokes con un sistema interno de OpenAI más potente que su modelo más reciente, GPT-6 Astra. Aproximadamente 10.000 agentes de IA, sistemas que realizan tareas de forma autónoma, trabajaron en el problema al mismo tiempo y alcanzaron la solución en 88 horas. “Un objetivo principal de nuestro trabajo es empoderar a los científicos para avanzar en investigaciones y tecnologías que beneficien a toda la humanidad”, escribieron los investigadores de OpenAI en un blog. “Creemos que es importante informar al mundo sobre el ritmo del progreso de la IA y qué esperar de los modelos futuros”.

El avance es el más reciente que muestra cómo modelos avanzados de inteligencia artificial que consumen enormes cantidades de potencia informática están invadiendo y transformando el campo de las matemáticas. En mayo, OpenAI afirmó progresos en otro problema matemático propuesto hace 80 años, mientras que Google DeepMind también ha anunciado logros matemáticos con sus modelos.