OpenAI ha publicado en un repositorio de GitHub una amplia gama de nuevos resultados matemáticos generados por su modelo de frontera interno. Esta iniciativa, diseñada para mejorar la transparencia y la colaboración con la comunidad científica, se basa en las recomendaciones del Grupo Asesor de Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados (IASI). La empresa ha adoptado protocolos específicos para la revisión de papers y las citas, buscando cumplir con las directrices del comité para garantizar la calidad académica.
Como parte de esta divulgación, OpenAI ha compartido formalizaciones de varias pruebas en Lean, un lenguaje de programación que permite verificar demostraciones matemáticas mediante computadoras. El repositorio incluirá actualizaciones continuas a medida que se obtengan más formalizaciones. Para promover la apertura científica, la compañía ha publicado detalles adicionales sobre el proceso de obtención de los resultados, incluyendo diez resúmenes del razonamiento del modelo y estimaciones del consumo de cómputo. Según los datos proporcionados, el resultado promedio utilizó un cómputo equivalente a aproximadamente tres horas de razonamiento con ChatGPT Pro.
OpenAI planea financiar una serie de talleres, conferencias y programas especiales centrados en la comprensión de estos resultados. La empresa afirma que su objetivo es empoderar a los científicos con capacidades de vanguardia y acelerar el desarrollo de herramientas para avanzar en campos científicos, manteniendo una postura responsable en la evaluación de sus modelos internos.