For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/de/articles/gpt-5-6-sol-ultra-and.md.
OpenAI hat ein dreiseitiges Manuskript veröffentlicht, das einen vollständigen Beweis der Cycle-Double-Cover-Vermutung beansprucht – eines b...
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.
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:
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.
| 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.
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.
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.
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.
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.
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.
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.
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.
Der Beweis konstruiert die Kreise nicht einzeln. Er konstruiert Labels, deren Paritätsstruktur das Auftreten der Kreise erzwingt.
Beschreibe deine Idee einmal, und We0 AI erstellt eine Showcase-Website, Seiten und ein CMS und hilft nach dem Launch bei Kunden und Traffic.
Eine komplette Projektgeneration zur kostenlosen Registrierung
Am besten geeignet, um einen vollständigen Generierungsablauf auszuprobieren und schnell einen ersten Projektentwurf zu sehen.
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:
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.
Die Eingabeaufforderung schrieb nicht eine Beweismethode vor. Sie erstellte einen Aufgabenvertrag.
Sie definierte:
"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)
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.
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:
Der Prompt lehnt ab:
Diese Technik verhindert, dass ein Agent etwas Beeindruckendes, aber Unvollständiges zurückgibt.
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 |
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.
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.
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 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.
Starte mit einem Satz und erhalte in wenigen Minuten eine vollständige Website.
