OpenAI desató una controversia en la comunidad científica tras anunciar que uno de sus modelos de inteligencia artificial logró resolver el problema de Navier-Stokes, uno de los llamados Problemas del Milenio, un conjunto de retos matemáticos considerados entre los más difíciles de la historia.
La compañía aseguró que la demostración fue obtenida mediante un modelo interno que todavía no ha sido presentado públicamente y que es significativamente más avanzado que GPT-6 Astra. El resultado, según OpenAI, fue generado por un grupo de agentes de inteligencia artificial que trabajaron de manera simultánea durante unas 88 horas.
El anuncio, sin embargo, quedó rodeado de cuestionamientos después de que el matemático Tristan Buckmaster, profesor de la Universidad de Nueva York (NYU), expresara dudas sobre la forma en que OpenAI llegó a su resultado.
Buckmaster y el investigador Levent Alpoge, empleado de Anthropic, trabajaban en una investigación relacionada con problemas matemáticos de dinámica de fluidos y habían utilizado herramientas de OpenAI durante el desarrollo de su trabajo.
El matemático sostuvo que información sobre sus avances habría llegado a OpenAI antes de que la empresa anunciara su propia solución. También cuestionó si los datos de su investigación pudieron haber influido en el desarrollo del modelo.
No obstante, Buckmaster ha sido cuidadoso al señalar que no está acusando directamente a OpenAI de haber utilizado sus datos. Su principal reclamo se centra en la necesidad de esclarecer la cronología de los acontecimientos y determinar qué información pudo haber conocido la empresa antes de lanzar su investigación.
OpenAI sostiene que sus investigadores y agentes no tuvieron acceso al trabajo de Buckmaster y Alpöge antes de que fuera publicado públicamente.
La empresa también señaló que no utilizó datos específicos de usuarios para resolver el problema. Sin embargo, reconoció que no puede descartar por completo que datos desidentificados derivados del uso de sus productos hayan contribuido a mejorar sus modelos.
La propia compañía explicó que su investigación comenzó el 1 de septiembre, después de que sus investigadores escucharan rumores sobre la posible resolución de dos Problemas del Milenio. Posteriormente identificaron que esos rumores estaban relacionados con el trabajo de Buckmaster y Alpoge.
El problema de Navier-Stokes busca determinar si las ecuaciones que describen el movimiento de fluidos, como el agua y el aire, pueden desarrollar singularidades en determinadas condiciones.
OpenAI afirma que su demostración muestra que estas ecuaciones pueden presentar una singularidad en tiempo finito. La compañía publicó una demostración de 166 páginas y una formalización del resultado mediante el sistema Lean.
La afirmación todavía deberá superar el escrutinio de la comunidad matemática. El hecho de que una empresa de inteligencia artificial anuncie una posible solución no significa, por sí mismo, que el Clay Mathematics Institute la haya reconocido oficialmente como la resolución del Problema del Milenio.
El caso abrió además un debate sobre autoría, reconocimiento científico y privacidad de las investigaciones realizadas con inteligencia artificial.
La controversia plantea una pregunta de fondo: ¿Qué ocurre cuando un investigador utiliza herramientas de una empresa de IA para desarrollar una idea que todavía no ha hecho pública y posteriormente esa misma empresa presenta un avance relacionado?
OpenAI defiende que su modelo produjo una demostración propia y asegura que sus investigadores no vieron los trabajos inéditos de Buckmaster y Alpoge. Los matemáticos, por su parte, han pedido mayor claridad sobre la manera en que la compañía llegó a su resultado y sobre la información disponible antes de iniciar el proyecto.
Por ahora, el supuesto avance de OpenAI representa una de las afirmaciones más relevantes sobre el uso de inteligencia artificial en matemáticas, pero también uno de los casos que más preguntas ha generado sobre hasta dónde puede llegar una IA utilizando conocimiento producido previamente por investigadores humanos.
Los Problemas del Milenio son siete desafíos matemáticos seleccionados en el año 2000 por el Clay Mathematics Institute, debido a su enorme dificultad y relevancia para las matemáticas. Cada uno tiene un premio de un millón de dólares para quien presente una solución correcta, rigurosa y aceptada por la comunidad matemática. Hasta ahora, solo uno de los siete, la Conjetura de Poincaré, ha sido resuelto oficialmente.
El problema de Navier-Stokes, relacionado con el movimiento de líquidos y gases, es uno de los seis que permanecen oficialmente sin resolver, por lo que cualquier anuncio de una posible solución debe pasar por un proceso de revisión y validación matemática antes de ser reconocido como tal.
El Universal
