Pour venir à bout d'une démonstration, les mathématiciens ont de plus en plus recours à la force et à la rapidité de calcul de l'ordinateur. Un outil qui risque de révolutionner leurs pratiques.