lean

Axiom verifica con IA la demostración más larga de la historia

Axiom Math ha publicado la primera demostración completa y verificada por ordenador de la clasificación de los grupos finitos simples, considerada…