OpenAI dice haber resuelto uno de los 7 Problemas del Milenio, pero matemáticos acusan juego sucio
OpenAI ha anunciado hoy que ha encontrado una solución generada por IA para uno de los mayores problemas de las matemáticas: una ecuación de 200 años de antigüedad que describe el comportamiento natural de fluidos como el agua y el aire.
El anuncio parece demostrar el asombroso potencial de la IA para impulsar el avance de las matemáticas. Sin embargo, el supuesto hallazgo se ha visto empañado por las acusaciones de otro matemático, Tristan Buckmaster, quien asegura que OpenAI se apresuró a resolver el problema tras conocer el trabajo del propio Buckmaster y de un colega suyo, el investigador de Anthropic Levent Alpöge. Buckmaster alega que OpenAI también intentó influir en quién se llevaría el mérito por el trabajo.
La ecuación de Navier-Stokes
La demostración se refiere a la ecuación de Navier-Stokes, uno de los problemas sin resolver de los Premios del Milenio Clay, cada uno de los cuales ofrece un millón de dólares.
Sebastien Bubeck, matemático e investigador de IA en OpenAI, declaró en una rueda de prensa que la empresa comenzó a entrenar un nuevo modelo de IA con capacidades matemáticas avanzadas el 28 de agosto.
Tras leer rumores de que Anthropic estaba avanzando hacia la resolución de la ecuación de Navier-Stokes, Bubeck explicó que la empresa decidió dedicar más recursos a abordar el problema. La compañía hizo que más de 1,000 agentes se ocuparan del problema durante más de 50 horas antes de descubrir que habían dado con una solución.
“Pensé que debía de haber un error en alguna parte", señaló Bubeck. "Y el domingo por la mañana ya teníamos la solución definitiva, formalizada en Lean y todo”. (Lean es un lenguaje de programación que se puede utilizar para formalizar demostraciones matemáticas.)
OpenAI señaló que resolver este problema requirió utilizar una potencia de cálculo considerablemente mayor que la que había dedicado anteriormente a resolver problemas matemáticos. La cantidad necesaria supuso “millones de dólares”, afirmó Mark Chen, director de investigación de OpenAI.
El lunes, Alpöge y Buckmaster, un matemático de la Universidad de Nueva York (NYU), publicaron documentos en los que aseguraban haber logrado avances clave en un ámbito relevante para el problema de Navier-Stokes. Ambos indican que utilizaron varios modelos de IA, entre ellos Claude y Codex, para completar su trabajo.
El origen de la polémica
Buckmaster también publicó una declaración en la que resaltaba que, la semana pasada, se enteró de que OpenAI había tenido conocimiento de su trabajo y del de Alpöge y había comenzado a destinar recursos significativos a resolver el problema. Buckmaster manifiesta que preguntó a los responsables de OpenAI si la empresa había accedido a los registros de Codex de ambos. Según él, le dijeron que el modelo “no consultaba los datos de los usuarios”, pero Buckmaster refiere que la empresa no respondió a las preguntas sobre el entrenamiento. A continuación, cuenta que OpenAI le ofreció varias “propuestas”, incluida una en la que Buckmaster podría publicar un artículo anunciando que el problema de Navier-Stokes había sido resuelto por un modelo interno de OpenAI, pero sin incluir el nombre de Alpöge.
En una publicación en las redes sociales, Bubeck rechazó la idea de que la empresa hubiera sugerido eliminar el nombre de Alpöge. El director ejecutivo de OpenAI, Sam Altman, también intervino en la polémica y defendió el trabajo del equipo.
Buckmaster, Alpöge y Anthropic no respondieron de inmediato a la solicitud de comentarios de WIRED.
En la rueda de prensa, Bubeck y otros ejecutivos de OpenAI negaron que la compañía hubiera inspeccionado en ningún momento las indicaciones de Codex de ambos para orientar su trabajo. “Nosotros, ya sean los investigadores o los agentes, no vimos nada de su trabajo hasta que se hizo público anoche”, declaró.
En una entrada de blog en la que se detalla el trabajo, la compañía escribió: “Aunque es poco probable, no podemos descartar que los datos anonimizados derivados del uso que hicieron de nuestros productos ayudaran a mejorar nuestros modelos”.
“Quiero dejar muy claro que reconocemos la importancia del trabajo de Levent Alpöge y Tristan Buckmaster sobre las ecuaciones de Euler no forzadas, y no podemos sino felicitarles por este logro monumental que han conseguido. Para que quede claro, no utilizamos su indicación ni su demostración para dar instrucciones a nuestros modelos ni para dirigir a nuestros agentes", defendió Bubeck. Las ”ecuaciones de Euler no forzadas" describen el flujo de un fluido ideal y sin fricción cuando no actúa ninguna fuerza externa sobre él.
Ven Chandrasekaran, matemático de la empresa, también hizo hincapié en que su solución era de naturaleza significativamente diferente a la generada por el modelo de OpenAI.
La disputa sobre a quién corresponde el mérito de resolver uno de los mayores problemas de las matemáticas podría prolongarse durante algún tiempo. A medida que la IA asuma una mayor parte del trabajo relacionado con la búsqueda de demostraciones, este tipo de disputas podrían volverse más habituales.
Artículo originalmente publicado en WIRED.com. Adaptado por Mauricio Serfatty Godoy