Um ein einziges magisches Sechseck zu finden, brauchte der US-amerikanische Eisenbahnangestellte Clifford Adams knapp ein halbes Jahrhundert: 1910 begann er zu tüfteln, erst 1957 fand er die Lösung. Am 2. August 2026 lieferte ein neuer Beweis ein noch erstaunlicheres Ergebnis: Solche Figuren existieren für jede Ordnung $n \ge 3$. Wer eine bestimmte Ordnung sucht, kann sie einfach nach einer mathematischen Formel konstruieren.
Der Originalartikel wurde auf gukov.dev veröffentlicht, und die Diskussion auf Hacker News erreichte 178 Punkte. In den Kommentaren wurde vor allem die Raffinesse der Konstruktion gewürdigt. Im Folgenden werden die Hintergründe ausführlich erläutert.
Beginnen wir mit dem magischen Quadrat
Ein 3x3-Quadrat wird mit den Zahlen 1 bis 9 so gefüllt, dass jede Zeile, jede Spalte und die zwei Hauptdiagonalen jeweils die Summe 15 ergeben. Dies ist ein Klassiker der Freizeitmathematik und die einfachste Form eines magischen Quadrats. Im alten China war es als Luoshu-Quadrat bekannt.
Magische Quadrate haben eine über 4.000-jährige Geschichte, und Mathematiker haben sie gründlich erforscht: Unabhängig von der Größe der Matrix existieren Algorithmen, um sie direkt zu erzeugen. Das magische Sechseck ist sein sechseckiger Verwandter: Das Gitter wird durch eine Wabenstruktur ersetzt, und die Zahlen werden entlang dreier Richtungen in geraden Linien angeordnet, wobei die Summe jeder einzelnen Geraden identisch sein muss. Ein Sechseck mit einer Seitenlänge von $n$ Feldern wird als Ordnung $n$ bezeichnet und umfasst insgesamt $3n^2 - 3n + 1$ Felder. Die Ordnung 3 hat 19 Felder und fasst genau die Zahlen 1 bis 19.
Im Gegensatz zu quadratischen magischen Quadraten sind die Geraden eines Sechsecks unterschiedlich lang: Obwohl sie alle als „Gerade“ bezeichnet werden, verlaufen manche über 3 Felder, andere über 5 Felder. Dennoch muss die Summe überall exakt gleich sein. Allein dieser Umstand macht das magische Sechseck um ein Vielfaches schwieriger als das 3x3-Quadrat.
Die Standardversion: Nur zwei Exemplare existieren
Die Standardversion verlangt, dass die Zahlen fortlaufend bei 1 beginnen. Diese Bedingung erweist sich als extrem streng: Unter Standardbedingungen gibt es nur genau zwei magische Sechsecke – Ordnung 1 und Ordnung 3. Ordnung 1 besteht aus einem einzigen Feld mit der Zahl 1; Ordnung 3 enthält die Zahlen 1 bis 19 verteilt auf 15 Geraden in drei Richtungen, wobei jede Geradensumme 38 beträgt. Abgesehen von Rotation und Spiegelung gibt es keine weiteren Anordnungen.
Abb.: Das klassische magische Sechseck 3. Ordnung mit den Zahlen 1 bis 19, bei dem jede Geradensumme 38 beträgt. Quelle: Wikipedia
Dass es „nur zwei“ gibt, ist mathematisch bewiesen, und der Beweis ist überraschend kurz. Addiert man alle Zahlen im Gitter, muss die Summe jeder Geraden eine Ganzzahl sein. Verfolgt man die Teilbarkeitsgleichung weiter, erfüllen nur $n=1$ und $n=3$ diese Ganzzahlbedingung. Eine Ordnung 2 existiert nicht einmal – die für Ordnung 2 berechnete Zeilensumme beträgt 28/3, einen Bruch, was sie sofort ausschließt.
Die Lösung der Ordnung 3 wurde in der Geschichte mehrfach wiederentdeckt. Die bekannteste Geschichte handelt vom Eisenbahnangestellten Clifford Adams, der von 1910 bis 1957 daran tüftelte, bis Martin Gardner sie 1963 in seiner Kolumne für mathematische Spiele aufgriff. Ein Rätsel, ein Mann, ein halbes Leben.
Eine Seitentür: Beginn bei anderen Zahlen
An dieser Stelle hätte die Geschichte zu Ende sein können. Die vorherrschende Meinung war: Der sechseckige Weg ist eine Sackgasse, das magische Sechseck ein Einzelstück. Doch der Beweis für „nur zwei“ gilt ausschließlich für die Version, bei der die Zahlen bei 1 beginnen. Was passiert, wenn man den Startpunkt verschiebt? Zum Beispiel von -9 bis 9?
Schon bei einer minimalen Lockerung der Bedingung tat sich eine völlig neue Welt auf. Solche „anormalen magischen Sechsecke“ der Ordnungen 3, 4, 5, 6 … wurden nach und nach gefunden – allerdings um den Preis eines enormen Rechenaufwands: Ohne Formeln oder fertige Algorithmen musste man sich durch astronomisch große Permutationsräume durchsuchen, sodass nur alle paar Jahre eine neue Lösung auftauchte. Jeder neue Rekord schaffte es in die Nachrichten, weil niemand garantieren konnte, ob für die nächste Ordnung überhaupt noch eine Lösung existierte. Das größte bekannte Exemplar reichte bis Ordnung 10 und wurde 2024 von Klaus Meffert mithilfe von KI entdeckt. Niemand wusste, wie weit dieser Weg führen würde, und viele glaubten, er sei bald zu Ende.
Der neue Beweis: Nicht bloß finden, sondern konstruieren
Am 2. August 2026 erschien auf gukov.dev ein bahnbrechendes Ergebnis: Für jede Ordnung $n \ge 3$ existiert ein magisches Sechseck. Man beachte die Formulierung: Es geht nicht darum, „ein paar weitere gefunden zu haben“, sondern dass „alle existieren“ – unendlich viele Ordnungen auf einen Schlag.
Der Autor nutzte zwei entscheidende Kniffe. Erstens: Symmetrie. Die 0 wird ins Zentrum gesetzt, sodass gegenüberliegende Felder jeweils zueinander inverse Zahlen (Opposite Numbers) enthalten. Dadurch ergeben die durch das Zentrum verlaufenden Geraden automatisch die Summe 0, und die Bedingungen für die übrigen Geraden halbieren sich. Zweitens: Perspektivwechsel. Das Sechseck wird als Geländekarte eines „Potenzialfeldes“ betrachtet – in dieser Darstellung ist die Bedingung, dass alle Geradensummen 0 ergeben, automatisch erfüllt, ohne dass manuell kombiniert werden muss.
Abb.: Ein direkt nach der neuen Konstruktion erzeugtes magisches Sechseck der Ordnung 50 mit 7.351 Feldern und identischen Zeilensummen. Quelle: gukov.dev
Abb.: Die Potenzialfeld-Ansicht desselben Sechsecks der Ordnung 50, die einer topografischen Karte gleicht. Sobald die Bedingungen automatisch erfüllt sind, müssen nur noch Zahlen eingesetzt werden. Quelle: gukov.dev
Der Suchraum schrumpfte dadurch gewaltig. Der Autor ließ von einer KI einen speziellen Solver schreiben, der auf einem heimischen Server mit 24 Kernen einige Tage rechnete und alle Ordnungen von 3 bis 10 fand. Doch das war nur das Präludium: Auch noch so viele Einzelfunde bleiben endlich. Der eigentliche Durchbruch war der konstruktive Beweis – erst zu zeigen, dass bestimmte Ordnungen nach einer Formel gebaut werden können, und dies Schritt für Schritt zu verallgemeinern, bis schließlich alle Ordnungen erfasst waren. Dieser Prozess gelang nicht auf Anhieb: Zwischendurch geriet der Beweis ins Stocken, und der Autor wich vorübergehend darauf aus zu beweisen, dass „unendlich viele existieren“, bevor er schließlich alle Einschränkungen aufhob. Das zentrale Werkzeug der Konstruktion ist die sogenannte Langford-Sequenz: eine kombinatorische Struktur, bei der Zahlenpaare in einer bestimmten Abfolge angeordnet werden. Der Beweisprozess nutzte KI-Theorembeweiser; die gesamten Gesprächsprotokolle wurden transparent im Netz veröffentlicht.
Warum war die Fachwelt so begeistert? Weil ein konstruktiver Beweis nicht nur sagt, dass etwas „existiert“. Er liefert einen konkreten Algorithmus: Befolgt man die Schritte, kann man ein magisches Sechseck beliebiger Ordnung erzeugen. Der Autor erzeugte demonstrativ Exemplare der Ordnung 50 und 500 – die Ordnung 500 umfasst über 740.000 Felder. Während die Zahlenwerte auf den ersten Blick chaotisch wirken, offenbart die Potenzialfeld-Ansicht ein zusammenhängendes Gelände aus Hängen, Gratlinien und Tälern, das viel zu glatt ist, als dass es durch bloße Zufallssuche entstanden sein könnte.
Warum die „Existenz“ eines Beweises bedarf
Ein Laie könnte fragen: Reicht es nicht aus, ein Exemplar zu finden? Wozu braucht man einen Beweis? Weil reine Suche niemals Gewissheit bringt. Hat man Ordnung 10 gefunden, bleibt Ordnung 100 offen; hat man Ordnung 100 gefunden, bleibt Ordnung 10.000 offen. Empirisches Überprüfen ist immer endlich, nur der Beweis umfasst das Unendliche. Wenige Zeilen einer Formel durchmessen die Unendlichkeit – das ist das Gewicht eines Existenzbeweises. Es hat auch einen praktischen Nutzen: Es gibt nachfolgenden Forschern Gewissheit und den Mut, nach noch eleganteren Lösungen zu suchen.
Man muss jedoch auch die Grenzen dieses Beweises klar benennen: Er wurde noch nicht formal maschinell verifiziert und hat noch keine unabhängige Peer-Review durchlaufen, worauf der Autor im Artikel selbst ausdrücklich hinweist. Auch Ordnung 2 bleibt weiterhin unmöglich – der Autor bestätigte in den Diskussionen, dass Ordnung 2 mathematisch doppelte Zahlen erzwingt. Die Regeln der Mathematik bleiben bestehen: Neue Ergebnisse müssen die Prüfung durch die Fachwelt abwarten.
Die Grenzen liegen weiter als gedacht
Das Faszinierendste an dieser Geschichte ist, dass der alte Beweis nicht falsch war. Er blockierte tatsächlich alle größeren Ordnungen für den Fall „Beginn bei 1“. In der Mathematik gelten Aussagen wie „Bis hierher und nicht weiter“ oft solo unter ganz bestimmten Regeln. Während der alte Beweis die Haupottür versperrte, ging der neue Beweis durch die Seitentür – verschiebt man den Startpunkt um nur eine Position, stehen draußen unendlich viele Lösungen bereit.
Was einen Eisenbahnangestellten einst sein halbes Leben kostete, lässt sich heute mit einer Seite voller Formeln in beliebiger Menge erzeugen. Wenn man darüber nachdenkt, wird klar: Die Grenzen der Mathematik sind selten die Grenzen des Universums – meist sind es nur die Grenzen, die sich der Mensch selbst gezogen hat. Wenn Sie das nächste Mal ein 3x3-Quadrat sehen, denken Sie an seinen sechseckigen Verwandten: Tief in der Wabenstruktur führt eine Treppe empor, auf der auf jeder einzelnen Stufe ein Licht brennt.
Referenzen:
- gukov.dev: There Are Magic Hexagons of Every Order
- HN-Diskussion (item?id=49229174)
- Wikipedia: Magic hexagon
- Wikipedia: Magisches Quadrat
