Meta confirma acceso a repositorios de GitHub con credenciales robadas
El incidente en repositorios de GitHub incluyó código y datos personales de unas 1.500 personas, según Meta
GitHub
Leer noticia completa
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.