Kto udowodnił "twierdzenie o czterech barwach", twierdząc, że do map można użyć co najwyżej czterech kolorów?

Hipotezę o prawdziwości twierdzenia postawił już w roku 1840 August Ferdinand Möbius, a w roku 1852 (niezależnie) Francis Guthrie (1831–1899), wówczas student University College London, ale pełny dowód został przeprowadzony dopiero w 1976 roku przez Wolfganga Hakena i Kennetha Appela. Dowód wszakże był bardzo „brzydki”, gdyż wymagał sprawdzenia 1936 przypadków szczególnych przy pomocy komputera. Pojawiały się nawet wątpliwości, czy dowód jest poprawny. Wątpliwości te usunięto za pomocą jego modyfikacji w 1994, a w 2004 udało się potwierdzić poprawność przy użyciu komputerowego asystenta. Nikt dotąd nie udowodnił twierdzenia o czterech barwach bez komputerowego wspomagania, choć wymyślono pewne uproszczenia oryginalnego dowodu. Przypadek ten stał się okazją do dyskusji na temat dopuszczalnych metod dowodowych w matematyce.