OpenAI publica 719 trabajos matemáticos de su modelo interno; el 42% de los resultados principales está verificado formalmente en Lean
traducido por IA, revisado por la redacción
· Ciencia
- tecnología
- Modelos de razonamiento
- fuente
- github.com ↗
¶ cs7sx455u