GPT-5.6 löst ein 50-jähriges mathematisches Problem in nur 1 Stunde – 64 KI-Systeme erobern die Krone der Graphentheorie

In der frühen Morgendämmerung des 11. Juli gab OpenAI offiziell bekannt: GPT-5.6 Sol Ultra hat es erfolgreich bewiesen – die zirkuläre Doppelüberdeckungsvermutung, die die Mathematik 50 Jahre lang geplagt hat!

Noch erstaunlicher ist, dass es in weniger als einer Stunde einen vollständigen Beweis geliefert hat.

Einst, nachdem die zirkuläre Doppelüberdeckungsvermutung von mehreren legendären Mathematikern aufgestellt wurde, stand sie wie ein unüberwindbarer Berg in der Graphentheorie und ließ die weltweit führenden Mathematiker zurückschrecken.

Nun hat die KI diesen Berg in weniger als einer Stunde eingeebnet.

Der OpenAI-Forscher Noam Brown rief aus: „Im Gegensatz zur früheren Lösung des Erdos-Einheitsabstandsproblems ist das Modell, das dieses Wunder vollbracht hat, heute für alle uneingeschränkt zugänglich!“

Netznutzer staunten: Der Beweis ist atemberaubend, die KI verändert die Mathematik!

Der mathematische Fluch, der 50 Jahre lang wie ein Geist umhergeisterte

Die zirkuläre Doppelüberdeckungsvermutung ist eines der „krönenden“ Probleme der Graphentheorie, das unabhängig voneinander von Mathematikern wie Tutte, Itai & Rodeh, Szekeres und Seymour im letzten Jahrhundert aufgestellt wurde.

Einfach ausgedrückt lautet die Vermutung: „Jeder brückenlose endliche ungerichtete Graph besitzt eine Menge von Kreisen, sodass jede Kante im Graphen genau in zwei Kreisen enthalten ist.“

Mit einfachen Worten: In einem komplexen Stadtstraßennetz gibt es keine Straße, die der einzige Verbindungsweg ist.

Die Vermutung besagt: Man kann unbedingt mehrere „kreisförmige Buslinien“ finden, sodass jede Straße in der Stadt genau von zwei Bussen befahren wird – nicht mehr, nicht weniger, genau zweimal.

Ein halbes Jahrhundert lang haben Mathematiker alle Anstrengungen unternommen, um diese Vermutung zu beweisen.

Jaeger bewies, dass sie für planare Graphen gilt;

Szekeres bewies, dass sie für kubische Graphen mit 3-Kantenfärbung gilt;

Alspach, Goddyn und Zhang bewiesen, dass sie für brückenlose Graphen ohne Petersen-Untergraphen gilt.

Doch all dies waren zusätzliche Bedingungen – der vollständige, uneingeschränkte Beweis blieb bis zum Erscheinen von GPT-5.6 Sol Ultra unerreicht.

OpenAIs Lösung: Nicht eine KI denkt, sondern 64 KIs beraten sich gemeinsam

Wie hat OpenAI GPT-5.6 dazu gebracht, dieses schwierige Problem anzugehen?

In den beiden von ihnen geteilten PDF-Dateien – der Aufgabenaufforderung und dem vollständigen Beweis – haben wir die Antwort gefunden.

In diesem System wird die KI in 64 parallele unabhängige Agenten aufgeteilt, die ein spezialisiertes Forschungsteam bilden.

In der Aufforderung hat OpenAI extrem strenge Regeln festgelegt, sodass die KI alle Fehler vermeidet, die die menschliche Forschung schon gemacht hat.

Erstens lehnt das System „Einerleiheit“ ab und verbietet starre Methoden wie „Weisen Sie N Agenten Strategie X zu“.

In der ersten Runde müssen völlig unterschiedliche Wege erkundet werden – von der algebraischen Perspektive, struktureller Induktion, Strömungsformulierung, Einbettungsverfahren bis hin zu Extremparameterverfahren.

Zweitens ist es dem System absolut verboten, den meisten KI-Agenten mitzuteilen, welcher Ansatz derzeit am vielversprechendsten ist.

Das ist für die menschliche Forschung fatal: Sobald ein renommierter Wissenschaftler eine vielversprechende Richtung vorschlägt, strömen alle ihr hinterher.

Das Bewundernswerteste ist der „Kontrollteam“-Mechanismus.

Ein Teil der 64 Agenten spielt die Rolle von „Kritikern“. Jeder vorgeschlagene Kandidatenbeweis wird heftig angegriffen.

„Wird die Kante wirklich nur zweimal überdeckt? Haben Sie falsch gerechnet?“ „Haben Sie eine wiederholte Sackgasse mit einem Kreis verwechselt?“ „Haben Sie bei dieser Induktion heimlich eine Brücke eingeführt?“

Nur Beweise, die strenge Fehlerkorrekturen überstehen, dürfen in die nächste Runde gelangen.

Darüber hinaus ist es streng verboten, dass die KI leere Versprechungen macht.

Das System warnt die KI nachdrücklich: Lehnen Sie die Ausflucht „Dieser Schritt ist offensichtlich gültig“ ab. Sie müssen konkrete Lemmata, Konstruktionen, Gleichungen oder Gegenbeispiele liefern.

Bei einer Sackgasse wird sofort „gesperrt“ markiert – ohne einen neuen Mechanismus vorzuschlagen, darf keine Rechenleistung verschwendet werden.

Am Ende der Aufforderung wird der KI befohlen: „Verbringen Sie mindestens 8 Stunden mit diesem Problem, bevor Sie aufgeben oder ein Ergebnis zurückliefern. Liefern Sie kein partielles Ergebnis – Sie dürfen erst aufhören, wenn Sie den vollständigen, uneingeschränkten Beweis gefunden und überprüft haben.“

Doch erstaunlicherweise kehrte dieses KI-Forschungsteam in weniger als einer Stunde mit einem makellosen mathematischen Aufsatz zurück.

Das Wunder einer Stunde – wie die KI das Problem Schritt für Schritt entwirrt

Welcher Brainstorming-Prozess hat sich bei diesen 64 Agenten in einer Stunde abgespielt?

Wenn wir die zweite PDF-Datei „Beweis der zirkulären Doppelüberdeckungsvermutung“ öffnen, können wir den verblüffenden Denkweg der KI klar erkennen.

Der gesamte Text wurde von GPT-5.6 Sol Ultra generiert und anschließend mit Unterstützung von Codex formatiert.

Die Beweisstrategie der KI gleicht einer raffinierten „Dimensionsreduktionsoperation“.

Schritt 1: Vereinfachen und auf kubische Graphen konzentrieren

Das KI-Team bestätigte zunächst das Ergebnis des früheren Forschers Jaeger: Wenn man die Vermutung für „brückenlose kubische Graphen“ beweist, beweist man sie automatisch für alle Graphen.

Denn alle Graphen lassen sich durch topologische Transformationen in den Bereich kubischer Graphen reduzieren.

Schritt 2: Einführung des erstaunlichen „8-Ströme“-Satzes

Dies ist der brillanteste Teil des gesamten Beweises.

Die KI griff auf den „Gruppenstromsatz“ des Graphentheorie-Meisters Tutte zurück.

Aufgrund des bereits bewiesenen Ergebnisses, dass brückenlose Graphen einen „überall nichtverschwindenden 8-Strom“ besitzen, weist die KI jeder Kante im Graphen ein nicht-null Element in einem endlichen Körper zu.

(ein dreidimensionaler Vektorraum mit 8 Elementen) als Kennzeichnung.

Das Besondere an dieser Kennzeichnung: An jedem Knoten des Graphen ist die Summe der einfließenden und ausfließenden Vektoren immer Null.

Schritt 3: Aufbau der „Zwei-Elemente-Mengen“-Kennzeichnungsmethode (Lemma 2.1)

Das ist geradezu eine von der KI erfundene „Magie“.

Die KI stellt ein Lemma auf: Wenn man jeder Kante eine Menge mit zwei Elementen zuweisen kann,