Cela s'est produit pour le théorème des quatre couleurs (« toute carte est coloriable avec quatre couleurs sans que deux pays voisins portent la même couleur »), dont d'ailleurs aujourd'hui on ne connaît que des preuves utilisant l'ordinateur.
Expressions et locutions
Mode Libre —
Contact
Une idée, un bug, une collaboration ? Écrivez-nous.