Le théorème des quatre couleurs

Une démonstration qu'aucun humain ne peut lire en entier

Quatre couleurs suffisent à colorier n'importe quelle carte sans que deux pays voisins aient la même. Facile à énoncer, la chose a résisté plus d'un siècle. La preuve, obtenue en 1976, ramène le problème à près de deux mille cas particuliers, chacun vérifié par un ordinateur — des mois de calcul, impossibles à relire à la main. Des mathématiciens ont refusé d'y voir une démonstration. La question qu'elle a ouverte tient toujours : à qui doit-on faire confiance quand une preuve dépasse une vie humaine ?

Cette carte fait partie de « Les idées qui ont fait peur aux mathématiciens », 13 cartes que les enfants gagnent une à une, mission après mission.