Le théorème des 4 couleurs veut que tout découpage d'une carte permet de colorier les différentes régions avec seulement 4 couleurs, en évitant que deux couleurs ne se touchent. Il est célèbre car il est le premier théorème à avoir nécessité un ordinateur pour être prouvé, en 1976. Bien que conjecturé depuis 1852, aucune démonstration analytique n'a été trouvée à ce jour.