El 6 de octubre de 2026, OpenAI anunció la publicación en GitHub de resultados matemáticos generados, según la empresa, por un modelo interno de frontera. El anuncio de OpenAI describe también los materiales que acompañan los resultados y una estimación del cómputo empleado.
Qué publicó OpenAI
La empresa describió protocolos para revisar y citar los trabajos, diez resúmenes del razonamiento del modelo, estimaciones de cómputo y estadísticas sobre los problemas intentados. También indicó que compartiría formalizaciones en Lean de muchas pruebas y que añadiría más.
Lean es un lenguaje de programación y asistente de demostración formal: permite expresar los pasos lógicos de una prueba de modo que un ordenador pueda comprobar la formalización. OpenAI presentó estas formalizaciones como parte de sus materiales, junto con los resultados matemáticos.
Qué significa la equivalencia de tres horas
OpenAI calculó que el resultado medio empleó un volumen de cómputo equivalente a unas tres horas de razonamiento de ChatGPT Pro. La cifra está expresada por resultado; ChatGPT Pro sirve como referencia para esa equivalencia. OpenAI atribuyó la generación de los resultados a un modelo interno de frontera.
Las recomendaciones de AGMAI
El 29 de septiembre de 2026, el Advisory Group on Mathematics and Artificial Intelligence (AGMAI) publicó recomendaciones sobre la divulgación de matemáticas generadas por IA. El grupo pidió a los laboratorios que dejaran de probar problemas matemáticos avanzados con modelos propietarios inaccesibles para la comunidad investigadora. También recomendó detallar el modelo, las instrucciones utilizadas, resúmenes del razonamiento, el tiempo y el cómputo estimado, además de apoyar el trabajo comunitario para que las personas puedan comprender los resultados. Las recomendaciones de AGMAI recogen esas propuestas.
OpenAI afirmó que consultó a AGMAI y que sus recomendaciones influyeron en la forma de compartir los resultados. La empresa también dijo que planeaba financiar talleres y otros programas relacionados.
