OpenAI publicó el 6 de octubre una colección de resultados matemáticos producidos por un modelo interno de frontera. La empresa los comparte en un repositorio de GitHub, junto con procedimientos para revisar los documentos y registrar citas, después de consultar recomendaciones de un grupo asesor del Institute for Advanced Study.
La publicación incluye formalizaciones de varias demostraciones en Lean, un lenguaje que permite comprobar pruebas mediante computadora. OpenAI indica que añadirá más formalizaciones cuando las obtenga. También ofrece diez resúmenes del razonamiento del modelo, estimaciones del cómputo utilizado y estadísticas sobre problemas intentados.
Según la compañía, el resultado promedio consumió un cómputo equivalente a unas tres horas de razonamiento de ChatGPT Pro. Esa equivalencia describe recursos de cálculo y no garantiza que cualquier usuario pueda reproducir los hallazgos con una sesión similar. El anuncio no presenta el modelo interno como un producto ya disponible: OpenAI afirma que trabaja en su publicación. Además, prevé financiar talleres y programas para estudiar los resultados. La empresa reconoce que debe mejorar citas, exposición y presentación de los documentos, y dice que adaptará sus estándares a los comentarios de la comunidad.