OpenAI ha publicado un repositorio que contiene 722 manuscritos matemáticos y artefactos de prueba generados por un modelo interno de la empresa. Esta iniciativa forma parte del proceso de desarrollo del modelo, donde la compañía evalúa sus capacidades en problemas de investigación abiertos. La colección, organizada en 372 familias temáticas, incluye resultados en diferentes etapas de verificación, aunque no todos cuentan con formalizaciones en el lenguaje Lean, que se añadirán progresivamente.
El proceso de generación utilizó un modelo interno no lanzado, exponiendo al sistema aproximadamente 4.000 problemas. En promedio, cada resultado requirió tres horas de cómputo de razonamiento con ChatGPT Pro. La mayoría de los resultados se obtuvieron mediante un procedimiento estándar, aunque se hicieron excepciones para trabajos específicos, como la demostración de la Conjetura de Hodge para variedades abelianas con multiplicación compleja (CM) y el análisis de la región libre de ceros de la función zeta de Riemann. Algunos manuscritos fueron editados por humanos para mejorar la legibilidad.
El repositorio ofrece un catálogo detallado con instrucciones para la cita, archivos PDF, fuentes de código y configuraciones de verificación. OpenAI ha establecido una política de preservación histórica, donde las correcciones y revisiones se registrarán como nuevas versiones, manteniendo accesibles las versiones anteriores. La empresa también explora la colaboración con repositorios comunitarios para estos materiales.