OpenAI publica 722 demostraciones matemáticas verificadas por Lean
El repositorio reúne manuscritos generados por IA en 372 familias de teoremas y está disponible en GitHub desde el 7 de octubre de 2026.
Lean
Leer noticia completa