Доказательство теоремы о четырёх красках вызвало споры среди математиков из-за необычного характера доказательства и сложности проверяемой человеком части. 2

Теорему доказали Кеннет Аппель и Вольфганг Хакен в 1976 году с помощью компьютера. 15 Компьютерные операции были настолько многоходовыми, что никто не мог проверить вручную, что именно делала машина. 1

Математическое сообщество с неохотой приняло результаты. 4 Учёные не были готовы отдать логические рассуждения машине и считали, что доказательство должно быть понятным и проверяемым исключительно человеком. 4

Кроме того, за долгую историю теоремы было много ложных доказательств и опровержений. 2 Некоторые предполагаемые доказательства, например Кемпе и Тейта, находились под пристальным вниманием общественности более десяти лет, прежде чем они были опровергнуты. 2