OpenAI publica 370 hallazgos matemáticos con IA y genera escepticismo en la comunidad científica

OpenAI sorprendió a la comunidad matemática mundial el martes al publicar más de 370 resultados nuevos que abarcan álgebra, informática teórica y lógica matemática. Los hallazgos están disponibles en un repositorio de GitHub para que matemáticos de todo el mundo puedan revisarlos, aunque los especialistas advierten que les llevará meses —quizás más— determinar si estas demostraciones contienen ideas verdaderamente originales o si representan principalmente recombinaciones sofisticadas de técnicas ya conocidas. La empresa señaló que muchos de los resultados fueron validados mediante Lean, un lenguaje de programación que verifica la lógica matemática, lo que sugeriría su corrección formal.

Entre los anuncios figuran una solución a la conjetura de Kakeya en cuatro dimensiones, mejoras en algoritmos informáticos fundamentales y avances concretos hacia la hipótesis de Riemann, uno de los problemas sin resolver más importantes de las matemáticas. Estos logros demuestran la velocidad acelerada con la que evolucionan los modelos de inteligencia artificial más avanzados de la compañía. Sin embargo, el anuncio llega en un contexto de creciente tensión entre OpenAI y la comunidad académica matemática.

Hace apenas un mes, OpenAI resolvió la ecuación de Navier-Stokes, uno de los problemas matemáticos más difíciles conocidos, por el cual se ofrecía un premio de un millón de dólares. Ese logro encendió las alarmas entre especialistas destacados. El Institute for Advanced Study de Princeton, una institución independiente de referencia en matemáticas, emitió un comunicado expresando su preocupación fundamental: que laboratorios de vanguardia estén utilizando modelos de inteligencia artificial propietarios —inaccesibles para la comunidad matemática en general— para resolver los problemas más complejos del campo. "Hoy en día, la IA puede generar argumentos matemáticos en situaciones en las que el ser humano que inició el proceso es incapaz de comprender dichos argumentos, verificarlos o asumir la responsabilidad de ellos", escribió la institución. Plantearon una pregunta incómoda: ¿cómo avanzar hacia un modelo que mantenga la comprensión humana como parte central de la producción académica responsable?

La inquietud se profundiza cuando se examina cómo OpenAI obtuvo estos resultados. Un portavoz de la empresa declaró a Scientific American que el nuevo modelo —aún no publicado— generó prácticamente todos los 370 hallazgos a partir de una única instrucción dirigida a un solo agente de IA. Esto contrasta marcadamente con la solución anterior de Navier-Stokes, que requirió el esfuerzo coordinado de 10.000 agentes y una potencia de cálculo valorada en millones de dólares. Si esta afirmación es correcta, sugeriría que pronto cualquier persona podría acceder a capacidades matemáticas sin precedentes. Pero hay un problema: la reputación de OpenAI entre matemáticos está marcada por afirmaciones audaces y falta de transparencia, generando un escepticismo considerable.

Tristan Buckmaster, matemático de la Universidad de Nueva York que trabaja en el problema de Navier-Stokes, expresó una preocupación específica en una entrevista con The New York Times: que los investigadores que solicitan a modelos de IA resolver ecuaciones podrían estar proporcionando información que ayuda al modelo a alcanzar la solución. "Es probable que haya muchos casos en los que tomen el trabajo de alguien y luego lo lleven a su conclusión", afirmó. Andrew Sutherland, matemático del MIT, fue más directo: "Hasta que no publiquen el modelo y la gente pueda replicar sus resultados, creo que cualquier afirmación sobre la resolución de problemas en un solo intento con un único agente debe considerarse no verificada. Deberíamos exigir pruebas concretas".

La controversia fue lo suficientemente significativa como para que OpenAI anunciara, el 21 de septiembre, la creación de un grupo asesor independiente de matemáticos para ofrecer recomendaciones sobre cómo publicar responsablemente resultados generados por IA. La empresa también se comprometió a colaborar con el Institute for Advanced Study para darle "voz" a los matemáticos en relación con futuros avances. Pero hay una salvedad importante: OpenAI no indicó que fuera a dejar de probar sus modelos con estos problemas avanzados. Mientras tanto, los expertos en la materia expresan su preocupación ante el riesgo de que la empresa no esté verificando sus resultados con el debido cuidado. La pregunta que flota sobre toda esta historia es simple pero fundamental: ¿quién verifica al verificador cuando el verificador es un sistema que ni siquiera sus creadores pueden explicar completamente?