Transparencia
OpenAI publica 722 manuscritos matemáticos generados por un modelo interno en el repositorio openai/math
Afirmaciones verificadas
Algunos manuscritos contienen pruebas Lean
Estado: Verificada (fuente primaria)
El repositorio incluye 10 resúmenes abreviados del razonamiento del modelo
Estado: Verificada (fuente primaria)
Los manuscritos fueron producidos por un modelo interno de OpenAI
Estado: Verificada (fuente primaria)
OpenAI publicó un repositorio llamado `openai/math` con 722 manuscritos organizados en 372 families
Estado: Verificada (fuente primaria)