Das Vier-Farben-Theorem, das besagt, dass jede Karte mit nur vier Farben so eingefärbt werden kann, dass keine zwei benachbarten Regionen die gleiche Farbe teilen, hat einen seltenen neuen Beweis erhalten. Dieser Durchbruch bietet neue Einblicke in ein Problem, das Mathematiker seit dem 19. Jahrhundert fasziniert. Der ursprüngliche Beweis, der 1976 vom Computer verifiziert wurde, war aufgrund seiner Abhängigkeit von maschinellen Berechnungen umstritten. Der neue Beweis bietet eine andere Perspektive und eröffnet potenziell neue Zugänge zur Graphentheorie und Topologie.

Quellen