Теорема о четырех цветах утверждает, что любую карту можно раскрасить, используя только четыре цвета, так, чтобы никакие две соседние области не были одного цвета. Хотя это было впервые предположено в 19 веке, это не было доказано до 1976 года с помощью компьютеров.

Теорема о четырех красках печально известна тем, что за свою долгую историю привлекла большое количество ложных доказательств и опровержений. Сначала The New York Times из соображений политики отказалась публиковать доказательства Аппеля-Хакена, опасаясь, что это доказательство окажется ложным, как и предыдущие. Некоторые предполагаемые доказательства, находились под пристальным вниманием общественности более десяти лет, прежде чем были опровергнуты. Но многие другие, написанные любителями, вообще никогда не публиковались.