Vier-Farben-Satz erhält seltenen neuen Beweis
The Four-Color Theorem Gets a Rare New Proof
Fast fünfzig Jahre nach dem ersten computerunterstützten Beweis des Vier-Farben-Satzes hat ein Team um Carsten Thomassen, Mikkel Thorup, Ken-ichi Kawarabayashi und Bojan Mohar einen neuen Beweis vorgelegt, der auf flachen Regionen planarer Graphen basiert. Statt Konfigurationen nacheinander zu reduzieren, ermöglicht ihr Ansatz parallele Reduktion und liefert so ein effizienteres Verfahren zum Färben von Graphen. Der Beweis wurde im März 2026 online gestellt und wird im November auf der FOCS-Konferenz präsentiert.
„Hier haben wir ein Problem, das sogar ein Kind verstehen kann“, sagte Carsten Thomassen, Graphentheoretiker an der Technischen Universität Dänemark. „Ich denke, das ist der Grund, warum es eine so große Herausforderung war.“
- pvillano
So sehr ich es auch hasse, ich glaube nicht, dass wir jemals einen Beweis des Vier-Farben-Satzes bekommen werden, der nicht Fälle aufzählt.
Wenn man ein Integral oder die Summe einer unendlichen Reihe hat, die pi ergibt, weiß man, dass es eine befriedigende Erklärung geben muss, die einen Kreis beinhaltet.
Im Gegensatz dazu "Examples of patterns that eventually fail" auf math stackexchange[^1]. Wenn ein Muster bei 906150257 endet, erwartet man nicht wirklich, dass der Beweis dafür etwas Schönes ist. Der Grund für den exakten Wert einer oberen Schranke ist, dass sie nicht kleiner und nicht größer ist.
Es gibt eine Beziehung zwischen e, i, pi und -1, die aus einer tieferen Beziehung zwischen komplexen Zahlen und Rotation stammt.
Die Beziehung zwischen planaren Graphen, Knotenfärbung und 4 könnte einfach daher rühren, dass wir planare Graphen und Knotenfärbung in denselben Raum gesteckt haben und 4 herausgekommen ist, statt 3 oder 5.
- andrewla
Der Grund, warum der Vier-Farben-Satz für so viele Menschen ein faszinierendes Problem bleibt und die Quelle so vieler Spinner ist, ist nicht, dass das Problem leicht zu formulieren ist.
Es ist, dass Kempes Beweis, obwohl letztlich falsch, sehr elegant und verdaulich ist. Zu erkennen, warum er falsch ist, ist tatsächlich wirklich knifflig! Und wenn man einmal erkannt hat, warum er falsch ist, fühlt es sich an, als wäre er nur ein oder zwei Korrekturen von einem korrekten Beweis entfernt.
Wenn du die Skizze von Kempes Beweis nicht gelesen hast (der Wikipedia-Artikel macht das ziemlich gut), dann solltest du das unbedingt tun. Ich verspreche dir, dass du mindestens ein bisschen Zeit damit verschwenden wirst, herauszufinden, wie man den Beweis in zwei Zeilen repariert und sofort ein weltberühmter Mathematiker wird.
- pvillano
Es sollte besser nicht Hunderte von einzeln überprüften Konfigurationen haben
Edit: Verdammt.
Ich habe gerade letzte Nacht über den Vier-Farben-Satz im Zusammenhang mit dem jüngsten Navier-Stokes-Drama und Taos Mastodon-Post über die Nutzlosigkeit undurchschaubarer computergenerierter Formalisierungen nachgedacht. Ich würde es lieben, wenn ein KI-Unternehmen einen Beweis des Vier-Farben-Satzes ohne einzeln überprüfte Konfigurationen finden und ihn auf menschliche Verständlichkeit optimieren würde.