Compartiendo el progreso de la IA en matemáticas

OpenAI está publicando una amplia gama de nuevos resultados matemáticos producidos por un modelo frontera interno. En colaboración con el Grupo Asesor independiente sobre Matemáticas e Inteligencia Artificial del Institute for Advanced Study, OpenAI ha desarrollado mejores prácticas para compartir estos resultados. La publicación incluye un repositorio de GitHub con protocolos para revisiones de artículos y citas, junto con formalizaciones de muchas pruebas en Lean, un lenguaje de programación que permite verificar pruebas matemáticas por computadora. También se proporcionan detalles adicionales sobre el razonamiento del modelo, el uso de cómputo y estadísticas de problemas. El resultado promedio utilizó un cómputo equivalente a aproximadamente tres horas de pensamiento de ChatGPT Pro. OpenAI planea financiar talleres y conferencias para comprender los principales resultados producidos por IA y está trabajando para liberar responsablemente el modelo que produjo estos resultados.

(Fuente：OpenAI)