Posts about Axiom Math

Quand une machine crache une preuve vérifiée que personne ne sait lire, c'est quoi le progrès exactement ?