Au départ, leur preuve n'a pas été acceptée par tous les mathématiciens parce que la preuve assistée par ordinateur était impossible pour un être humain de vérifier à la main.
Tous les mathématiciens n'acceptent pas la preuve.