Sommes-nous à la veille d'un changement profond de la pratique mathématique

Les mathématiciens ont déjà en face d'eux des démonstrations monstrueuses par leur taille et leur complexité, en particulier la résolution de l'énigme du coloriage des cartes géographiques avec quatre couleurs. De tels exemples vont se multiplier, nous obligeant à renoncer à suivre le sens d'un argument, en se fiant aux constructions très complexes réalisées avec des ordinateurs.