OpenAI publica resultados matemáticos inéditos generados por su modelo de IA
Sharing AI Progress in Mathematics
OpenAI ha liberado un amplio conjunto de nuevos resultados matemáticos producidos por un modelo interno de frontera. Los publica en un repositorio de GitHub con protocolos de revisión y citación, y con formalizaciones de muchas pruebas en Lean. Además, detalla 10 resúmenes del razonamiento del modelo, estimaciones del cómputo usado —unas tres horas de ChatGPT Pro thinking por resultado— y estadísticas de los problemas intentados. La iniciativa busca acelerar el avance matemático.
El resultado promedio utilizó el cómputo equivalente a aproximadamente tres horas de pensamiento de ChatGPT Pro.