Désormais, certains mathématiciens vérifient leurs théorèmes grâce à des logiciels informatiques https://www.science-et-vie.com/technos-et-futur/desormais… #nostrfr