El martes, OpenAI anunció que su tecnología de inteligencia artificial había resuelto uno de los llamados Problemas del Milenio, un conjunto de siete cuestiones matemáticas de gran complejidad y sin resolver que han desafiado a las mentes más brillantes del mundo. Al divulgar sus hallazgos, la empresa informó que un modelo interno, que no se encuentra disponible para el público, logró resolver el problema de Navier-Stokes, un enigma de 200 años de antigüedad relacionado con el movimiento de los fluidos.
De acuerdo con la compañía, su modelo tardó 88 horas en completar la resolución del problema y utilizó hasta 10.000 agentes de inteligencia artificial que trabajaron de manera más o menos simultánea.
"Este hito representa un trabajo sustancial realizado por matemáticos e investigadores de IA. Sin embargo, no se trata de una culminación definitiva, sino más bien de una instantánea del progreso en el desarrollo de la IA", indicó la empresa por medio de un comunicado oficial.
A pesar del anuncio técnico, la noticia generó revuelo en la comunidad matemática debido a una coincidencia temporal. La noche anterior al comunicado de OpenAI, Tristan Buckmaster, profesor de matemáticas de la Universidad de Nueva York, emitió un aviso informando que él y el investigador de Anthropic, Levent Alpöge, habían estado estudiando el problema de Navier-Stokes como culminación de un trabajo iniciado el año anterior. Para ello, utilizaron una combinación de grandes modelos de lenguaje, incluido Codex, de OpenAI.
Mientras se preparaban para hacer públicos sus resultados, ambos investigadores contactaron a los equipos de OpenAI y posteriormente se enteraron de que estos últimos estaban a punto de realizar un descubrimiento similar.
"Quisiera dejar claro lo que no estoy afirmando", declaró Buckmaster en su pronunciamiento. "No he visto la demostración de OpenAI. Desconozco qué hizo su modelo o cómo lo hizo. No sé si se utilizaron nuestros datos. No estoy acusando a nadie de nada", añadió.
Ante la inquietud generada sobre la posibilidad de que el modelo de OpenAI pudiera haber empleado su trabajo en curso para llegar a la conclusión, la empresa reconoció que su labor para resolver el problema de Navier-Stokes comenzó el 1 de septiembre. Esta iniciativa se puso en marcha tras escuchar lo que calificaron como un rumor sobre la resolución de otro de los Problemas del Milenio.
La compañía especificó que sus agentes contaban con acceso a herramientas como la capacidad de leer una versión almacenada en caché de Internet y la facultad de ejecutar código. No obstante, aseguró que "no vio nada de su trabajo por ningún medio hasta que lo publicaron" y aclaró que "no se accedió a datos específicos de usuarios para resolver este problema".
OpenAI afirmó haberse comunicado con Buckmaster y Alpöge con el fin de ofrecerles una publicación simultánea de los resultados. Asimismo, les brindó "visibilidad sobre todas las instrucciones utilizadas, así como la oportunidad de ver la demostración posteriormente", según indicó el comunicado del martes. Junto con el anuncio, la empresa publicó su demostración en Lean, la cual expone cómo sus agentes resolvieron el problema.
A pesar de estas precisiones, la compañía reconoció que no puede "descartar que los datos anonimizados derivados del uso de nuestros productos hayan contribuido a mejorar nuestros modelos".
La situación ha llevado a que algunos de los matemáticos más respetados del mundo emitan opiniones y expresen su preocupación acerca de cómo el uso de la inteligencia artificial para resolver problemas de esta magnitud podría empobrecer la disciplina.
"Es un poco como ver una película y saltar directamente de los primeros diez minutos a los últimos diez: técnicamente, todas las tramas se resuelven, pero se pierde la mayor parte del valor de la experiencia", manifestó a CNN Terence Tao, profesor de matemáticas de la Universidad de California en Los Ángeles.
Tao reconoció la posibilidad de que OpenAI se haya basado en el trabajo que matemáticos humanos ya realizaban para resolver el problema, y advirtió que "la dinámica actual es de una competencia frenética".
"El uso indiscriminado de la IA está convirtiendo la disciplina en un 'juego' de cuotas de producción sin sentido que, en última instancia, aporta muy poco beneficio, tanto a las matemáticas como al mundo", señaló el experto.
El problema de Navier-Stokes, cuyos orígenes se remontan a los trabajos desarrollados por Claude-Louis Navier y George Gabriel Stokes durante el siglo XIX, aborda la dinámica de fluidos y analiza la cuestión de si dichas ecuaciones dejan de ser válidas bajo determinadas condiciones específicas.
Cabe recordar que los siete Problemas del Milenio fueron seleccionados por los miembros del Instituto de Matemáticas Clay, ubicado en Cambridge, Massachusetts, como una recopilación de las cuestiones matemáticas más relevantes del nuevo milenio. En el año 2000 se establecieron los Premios de los Problemas del Milenio con el propósito de incentivar el trabajo orientado a resolverlos, ofreciendo un millón de dólares por la primera solución correcta a cada uno de ellos.
Hasta la fecha, solo se ha resuelto de forma oficial uno de los problemas de esta lista: la conjetura de Poincaré, un teorema centrado en la forma de los espacios tridimensionales. En su anuncio del martes, OpenAI especificó que no tiene la intención de reclamar el Premio del Milenio correspondiente a este resultado obtenido.
