Доказательство теоремы о четырёх красках было сложно из-за большого объёма задачи: с ростом числа рассматриваемых стран на карте увеличивалось число вариантов их раскраски, что затрудняло проверку правильности решения. 12

Более ста лет математикам не удавалось получить доказательство. 5 Проблема носила название «проблемы четырёх красок» и была известна как неприступная. 15

Теорему о четырёх красках доказали в 1976 году Кеннет Аппель и Вольфганг Хакен из Иллинойского университета с помощью компьютера. 34 Машина была запрограммирована на проверку того, верны ли многочисленные примеры, якобы опровергающие гипотезу. 5 На эту проверку ушло 1200 часов, так как список возможных исключений и сложных случаев был очень велик. 5