OpenAI publicó este martes 722 manuscritos, agrupados en 372 familias de resultados, que según la empresa resuelven o logran avances sustanciales en cientos de problemas abiertos de matemáticas y ciencias de la computación teórica. Los documentos aparecieron en un repositorio de GitHub cerca de las 16:00 horas del centro de México.
Los resultados provienen de un modelo de frontera que OpenAI todavía no libera al público. De acuerdo con un vocero citado por Scientific American, casi todos surgieron de una sola instrucción entregada a un solo agente de inteligencia artificial. Sin embargo, el mismo vocero admitió que algunos pudieron requerir varios intentos.
Kakeya, Riemann y algoritmos clave en la lista de OpenAI
Entre los resultados reclamados figura una solución a la conjetura de Kakeya en cuatro dimensiones. También aparecen mejoras a algunos de los algoritmos de cómputo más importantes y avances hacia la hipótesis de Riemann, uno de los problemas más célebres de la disciplina.
Además, muchos resultados ya fueron verificados en Lean, un lenguaje de programación que valida la lógica de una demostración. Por ello, su corrección es casi segura. Aun así, los matemáticos tardarán meses en determinar si aportan ideas nuevas o solo combinan técnicas existentes.
La compañía afirma que el «resultado promedio» consumió el equivalente a tres horas de razonamiento de ChatGPT Pro. En septiembre, OpenAI ya había asegurado que su modelo resolvió «más de 100 problemas abiertos de larga data».
OpenAI no cumple todas las recomendaciones de los matemáticos
La publicación llega tras la polémica por la solución al problema de Navier-Stokes, producida por un enjambre de 10,000 agentes con un costo de millones de dólares en cómputo. Después de esa disputa, el 21 de septiembre la empresa anunció un grupo asesor independiente de matemáticos, conocido como AGMAI.
Ese grupo pidió revelar el modelo, la instrucción exacta y el tiempo de cómputo de cada resultado. También solicitó no usar estos hallazgos como herramienta de mercadotecnia. No obstante, OpenAI solo divulgó el tiempo promedio de cómputo y algunas estadísticas, sin las instrucciones. Su vocero dijo que la empresa no está obligada por esas recomendaciones.
«Hasta que liberen el modelo y la gente pueda replicar sus resultados, cualquier afirmación sobre resolver problemas con un solo agente debe tratarse como no verificada», advirtió Andrew Sutherland, matemático del MIT. «Debemos pedir recibos», agregó.
En contraste, Daniel Litt, de la Universidad de Toronto, consideró que la liberación «será algo bueno para las matemáticas». Por su parte, Terence Tao ya había criticado el ritmo «demencial» con el que los laboratorios de IA presentan estos resultados.
Finalmente, OpenAI reconoció que muchos de los nuevos resultados aún no son comprendidos ni por sus propios matemáticos. Aun así, la empresa aseguró que trabaja para liberar el modelo «lo más rápido y responsablemente posible».
Deja un comentario