GPT-5.6 Sol Ultra und der 64-Agenten-Beweis der Cycle-Double-Cover-Vermutung

Einleitung

OpenAI hat ein drei Seiten umfassendes Manuskript veröffentlicht, das einen vollständigen Beweis der Cycle-Double-Cover-Vermutung beansprucht – ein bedeutendes offenes Problem der Graphentheorie, das auf die 1970er Jahre zurückgeht.

Laut den OpenAI-Forschern Ethan Knight und Noam Brown generierte GPT-5.6 Sol Ultra das Ergebnis in weniger als einer Stunde Echtzeit, während es bis zu 64 parallele Subagenten koordinierte. Codex mit GPT-5.6 Sol wurde anschließend zur Erstellung der finalen mathematischen Ausarbeitung verwendet.

OpenAI veröffentlichte auch den vollständigen zweiseitigen Prompt. Dieses Dokument ist wertvoll, weil es zeigt, wie eine schwierige Forschungsaufgabe für ein großes Multi-Agenten-System formuliert werden kann.

Der entscheidende Vorbehalt ist einfach: OpenAI hat einen behaupteten Beweis veröffentlicht, keinen peer-geprüften mathematischen Konsens. Fachleute müssen das Argument noch unabhängig verifizieren, bevor die Vermutung als formal geklärt betrachtet werden kann.

Was OpenAI angekündigt hat

Ethan Knight sagte, dass GPT-5.6 Sol Ultra mit 64 Subagenten in knapp einer Stunde einen Beweis der Cycle-Double-Cover-Vermutung erstellte.

Noam Brown hob zwei Punkte hervor:

1. Die Modellkonfiguration war öffentlich verfügbar und nicht auf ein internes Forschungssystem beschränkt.
2. Parallele Testzeit-Berechnung reduzierte die vergangene Zeit für eine Aufgabe, die sonst viel längeres sequentielles Denken erfordern würde.

OpenAI beschreibt ultra als die leistungsfähigste GPT-5.6-Einstellung. Sie koordiniert mehrere Agenten über parallele Arbeitsabläufe und tauscht höheren Tokenverbrauch gegen stärkere Ergebnisse und schnellere Zeit-zu-Ergebnis bei anspruchsvollen Aufgaben.

Was veröffentlicht wurde

Dokument	Länge	Zweck
Beweismanuskript	3 Seiten	Präsentiert einen vollständigen positiven Beweis
Vollständiger Prompt	2 Seiten	Definiert Theorem, Vollendungskriterien, Suchstrategie, Agentenmanagement und Überprüfungsanforderungen

Das Beweismanuskript besagt, dass der Beweis vollständig auf GPT-5.6 Sol Ultra zurückgeht und Codex mit GPT-5.6 Sol für die Ausarbeitung verwendet wurde.

Was ist die Cycle-Double-Cover-Vermutung?

Ein Graph ist eine Sammlung von Knoten, die durch Kanten verbunden sind.

Ein Zyklus ist eine geschlossene Route. Eine Brücke ist eine Kante, deren Entfernung die Anzahl der verbundenen Komponenten erhöht.

Die Vermutung besagt:

Jeder endliche brückenlose Graph hat eine

Sammlung von Zyklen, in der jede Kante genau zweimal vorkommt.

Das Wort "genau" erzeugt die Schwierigkeit. Das Hinzufügen eines neuen Zyklus kann eine unterrepräsentierte Kante korrigieren, während eine andere Kante dreimal vorkommt.

Warum Brücken ausgeschlossen werden

Eine Brücke kann nicht zu einem Zyklus gehören. Wenn eine Kante die einzige Verbindung zwischen zwei Teilen eines Graphen ist, kann keine gültige geschlossene Route sie enthalten. Eine Cycle-Double-Cover ist daher unmöglich, wenn eine Brücke existiert.

Die Kernidee des veröffentlichten Beweises

Das Manuskript sucht nicht direkt nach den erforderlichen Zyklen.

Es wandelt das Problem in ein Kantenmarkierungsproblem über einen endlichen Vektorraum um und verwendet dann lineare Algebra, um zu zeigen, dass die lokalen Markierungen global konsistent gemacht werden können.

Schritt 1: Reduktion auf kubische Graphen

Der Beweis verwendet eine Standardreduktion, die Jaeger zugeschrieben wird. Es genügt, schleifenlose kubische Multigraphen zu betrachten, bei denen jeder Knoten genau drei

Kanten, die mit einem Scheitelpunkt inzidieren.

Schritt 2: Zuordnen eines von Null verschiedenen Flusslabels

Der Beweis verwendet den endlichen Vektorraum:

Γ = F₂³

Ein nirgends verschwindender Fluss ordnet jeder Kante einen von Null verschiedenen Vektor zu, während an jedem Scheitelpunkt eine Erhaltungsregel erfüllt wird.

Für die Labels x, y und z inzidenter Kanten:

x + y + z = 0

Der Beweis stützt sich auf den etablierten Satz, dass jeder brückenlose Graph einen nirgends verschwindenden Fluss über dieser acht-elementigen Gruppe besitzt.

Schritt 3: Ersetzen jedes Labels durch eine Zwei-Elemente-Menge

Jede Kante e erhält eine Zwei-Elemente-Menge:

Pₑ ⊆ Γ

Die angestrebte lokale Regel lautet:

Für jeden Scheitelpunkt v und jedes Label s ∈ Γ
ist die Anzahl der inzidenten Kanten e mit s ∈ Pₑ entweder 0 oder 2.

Fixieren Sie ein Label s und sammeln Sie alle Kanten, deren Menge dieses Label enthält. Jeder Scheitelpunkt hat dann in diesem Teilgraphen den Grad null oder zwei, sodass die ausgewählten Kanten eine disjunkte Vereinigung von Kreisen bilden.

Da jede Kante zwei Labels besitzt, gehört sie zu genau zwei durch Labels definierten Kreisfamilien. Dies erzeugt eine Kreise-Doppelüberdeckung.

Schritt 4: Lösen der globalen Konsistenz

Die lokale Konstruktion muss an beiden Endpunkten jeder Kante übereinstimmen.

Der Beweis drückt diese Bedingung als lineares System aus:

tᵤ + tᵥ + εₑ f(e) = dₑ

Anschließend wird ein Dualraum- und Paritätsargument verwendet, um zu zeigen, dass das System stets eine Lösung hat.

Die lokalen Zwei-Elemente-Mengen können daher zu einer globalen Zuordnung zusammengefasst werden, und die erforderlichen Kreise ergeben sich automatisch.

Die Strategie in einem Satz

Der Beweis konstruiert die Kreise nicht einzeln. Er konstruiert Labels, deren Paritätsstruktur das Auftreten der Kreise erzwingt.

Warum unabhängige Überprüfung dennoch wichtig ist

Ein kurzer Beweis einer berühmten offenen Vermutung erfordert sorgfältige Prüfung, unabhängig davon, ob er von einer Person oder einem KI-System verfasst wurde.

Gutachter müssen überprüfen, dass:

1. Die Reduktion auf kubische Graphen genau wie verwendet anwendbar ist.
2. Der Satz über nirgends verschwindende Flüsse die erforderlichen Hypothesen erfüllt.
3. Die lokale Beschriftung jede gültige kubische Konfiguration behandelt.
4. Das Dualitätsargument die vollständige Lösbarkeit beweist.
5. Parallele Kanten und nicht zusammenhängende Graphen korrekt behandelt werden.
6. Kein Schritt eine äquivalente Form der Vermutung annimmt.

Frühere Arbeiten haben ebenfalls Beweise für die Kreise-Doppelüberdeckungs-Vermutung beansprucht, ohne eine allgemein akzeptierte Lösung zu liefern. Die Existenz eines Manuskripts allein reicht daher nicht aus.

Eine sorgfältige Beschreibung lautet:

GPT-5.6 Sol Ultra hat ein kurzes Manuskript erstellt, das OpenAI als vollständigen Beweis präsentiert, und das Argument steht nun für die unabhängige mathematische Überprüfung zur Verfügung.

Was die Eingabeaufforderung anders machte

Die Eingabeaufforderung schrieb nicht eine Beweismethode vor. Sie erstellte einen Aufgabenvertrag.

Sie definierte:

• Den genauen Satz.
• Alle wichtigen Begriffe und Randfälle.
• Was als Vollendung galt.
• Was nicht als Vollendung galt.
• Wie Agenten Alternativen erkunden sollten.
• Wann ein Weg als blockiert markiert werden sollte.
• Wie Kandidatenbeweise überprüft werden sollten.
• Welche Beweise jeder Agent zurückgeben musste.
• Wann der Stammagent aufhören konnte.

"VERWENDETER PROMPT FÜR ‘EINEN BEWEIS DER CYCLE-DOUBLE-COVER-VERMUTUNG’". Die Zusammenfassung gibt an, dass das Dokument den vollständigen Prompt enthält, den GPT 5.6 Sol Ultra erhalten hat, der es zur Vervollständigung des Beweises der Cycle-Double-Cover-Vermutung veranlasste. Das Bild steht in engem Zusammenhang mit dem Kontext, der bei der Einführung des Beweises von GPT-5.6 Sol Ultra für diese berühmte offene Vermutung erwähnt, dass der Beweis auf einer sorgfältigen Prüfung des Prompts beruhte. Das Bild zeigt den vollständigen Prompt-Inhalt, auf dem der Beweis basierte.](https://we0-cms.oss-cn-beijing.aliyuncs.com/cms-assets/image/2026/07/5d9fbf42-c97b-4a7a-929c-648ae5af0c10-f9b9049d-3807-4605-8267-7d523fd4ab6d.png)

Prompt-Lektion 1: Definiere das Endergebnis, nicht einen erratenen Ablauf

Für eine schwierige Aufgabe mit unbekanntem Lösungsweg kann ein starrer Arbeitsablauf eine falsche Annahme kodieren.

Ein stärkerer Prompt definiert das endgültige Artefakt und die Tests, die es bestehen muss.

Liefere ein vollständiges Ergebnis, das jedes der folgenden Abnahmekriterien erfüllt.
Du kannst den Prozess dynamisch wählen und anpassen, aber die endgültige Ausgabe muss
jeden genannten Fall abdecken und einer unabhängigen Überprüfung standhalten.

Prompt-Lektion 2: Beseitige Ambiguität frühzeitig

Der Prompt definiert die Graphklasse, Brücken, Kreise, parallele Kanten, unzusammenhängende Graphen und die exakte Multiplizität, bevor er nach einem Beweis fragt.

Für geschäftliche oder technische Arbeit ist das Äquivalent die Definition von:

• Zeitrahmen.
• Datenquelle.
• Benutzergruppe.
• Maßeinheit.
• Erforderliches Format.
• Zulässige Annahmen.
• Ausgeschlossene Fälle.
• Genehmigungsgrenzen.

Prompt-Lektion 3: Lege fest, was nicht zählt

Der Prompt lehnt ab:

• Beweise nur für spezielle Graphklassen.
• Überdeckungen, bei denen einige Kanten nicht genau zweimal vorkommen.
• Reduktionen auf eine andere unbewiesene Vermutung.
• Verifikation nur bis zu einer festen Graphgröße.
• Teillösungen, die als vollständige Lösung präsentiert werden.

Diese Technik verhindert, dass ein Agent etwas Beeindruckendes, aber Unvollständiges zurückgibt.

Prompt-Lektion 4: Erhalte unabhängige Suchpfade

Der ursprüngliche Agent wurde angewiesen, mit wirklich unterschiedlichen Ansätzen zu beginnen und den bevorzugten Weg den meisten Agenten nicht zu früh zu offenbaren.

Das reduziert vorzeitige Konvergenz und Gruppendenken.

Ein praktisches Agentenportfolio könnte Folgendes umfassen:

Agentenfamilie	Verantwortung
Strukturell	Suche nach Reduktionen und Invarianten
Algebraisch	Übersetze das Problem in Gleichungen
Konstruktiv	Baue das erforderliche Objekt direkt
Rechnerisch	Teste Fälle und vorgeschlagene Lemmata
Literatur	Überprüfe Standardsätze
Kontrahent	Suche nach Gegenbeispielen und versteckten

Annahmen |
| Synthesizer | Vergleiche und führe kompatible Ergebnisse zusammen |

Prompt-Lektion 5: Markiere blockierte Wege

Wenn ein Weg auf ein fehlendes Lemma trifft, das so schwierig ist wie das ursprüngliche Problem, sollte er als blockiert markiert werden.

Es sollten keine zusätzlichen Agenten zugewiesen werden, es sei denn, jemand führt einen wirklich neuen Mechanismus, eine Invariante, eine Konstruktion oder ein Gegenbeispiel ein.

Dies verhindert, dass Rechenressourcen für eine elegante, aber zirkuläre Reduktion verschwendet werden.

Prompt-Lektion 6: Trenne Generierung von Überprüfung

Der Prompt verlangt von konträren Agenten, die exakte Multiplizität, Fälle mit parallelen Kanten, unzusammenhängende Graphen, ungültige geschlossene Spaziergänge und

Zirkelschluss.
Der Akteur, der eine Lösung erstellt, sollte nicht der einzige sein, der sie beurteilt.

Dies gilt für Produkteinführungen, Datenanalysen, Migrationen, Sicherheitsüberprüfungen sowie juristische oder finanzielle Arbeitsabläufe.

Prompt-Lektion 7: Fordere konkrete Belege

Unterakteure müssen konkrete Lemmata, Gleichungen, Konstruktionen oder Gegenbeispiele liefern. Vage Berichte wie „vielversprechende Richtung“ wurden nicht akzeptiert.

Eine wiederverwendbare Anweisung lautet:

Jeder Akteur muss ein Artefakt zurückgeben, das ein anderer Akteur überprüfen kann.
Akzeptiere keine Statusaktualisierungen ohne Berechnungen, Tests, Quellen,
Code, Beispiele oder eine präzise benannte offene Lücke.

Die Acht-Stunden-Anweisung und das Ein-Stunden-Ergebnis

Die Eingabeaufforderung weist das System an, mindestens acht Stunden zu investieren, bevor es über einen Abbruch nachdenkt. OpenAIs Ankündigung besagt, dass der Beweis in weniger als einer Stunde erbracht wurde.

Die öffentlichen Dokumente gehen nicht näher darauf ein, wie genau diese Anweisung interpretiert wurde.

Eine plausible Erklärung ist der Unterschied zwischen Echtzeit und aggregierter Akteurszeit. Bei 64 parallel arbeitenden Akteuren kann eine verstrichene Stunde viele Akteursarbeitsstunden enthalten.

Dies ist eine Schlussfolgerung und keine bestätigte Abrechnungsmethode für das Experiment.

Ein wiederverwendbarer Multi-Akteur-Aufgabenvertrag