October 27, 2026 at 01:53PM: heise online News schreibt zum Thema
Zahlen, bitte! Als der Computer den Vier-Farben-Satz bewies:

Der Vier-Farben-Satz wurde 1976 von Wolfgang Haken und Kenneth Appel mit Hilfe von Computern bewiesen.

– Der Vier-Farben-Satz besagt, dass vier Farben ausreichen, eine beliebige Landkarte so zu färben, dass keine Länder mit gemeinsamen Grenzen die gleiche Farbe haben.

– Die Mathematiker Wolfgang Haken und Kenneth Appel setzten eine lange Tradition der Beweisführung fort.

– Der Beweis wurde von IBM-Großrechnern in 1200 Stunden Rechenzeit durchgeführt.

– Der Beweis stieß auf heftige Kritik, da er von einem Computer geführt wurde und schwer verständlich war.

*Zusammenfassung mit KI erstellt.*