GPT-5.6 Sol Ultra: 50-Jahre-Grathenprobleme CDC in unter 1 Stunde?

Die Cycle-Double-Cover-Vermutung (CDC) gehört zu den zentralen offenen Problemen der Graphentheorie. Unabhängig formuliert von George Szekeres (1973) und Paul Seymour (1979). Kernfrage in einfacher Sprache:

Gibt es für jeden brückenlosen Graphen (keine Kante, deren Entfernung den Graphen trennt) eine Menge von Zyklen, sodass jede Kante in genau zwei Zyklen vorkommt?

Am 9. Juli 2026 veröffentlichte OpenAI die GPT-5.6-Familie. Preise und Benchmarks zu Sol, Terra, Luna: GPT-5.6 Sol Terra Luna Analyse. Hier die CDC-relevante Architektur.

Ultra ist kein tieferes Einzelmodell-Denken, sondern autonome Task-Zerlegung, Subagenten-Deployment und Ergebnis-Merge — alles innerhalb eines API-Calls.

OpenAI veröffentlichte den vollständigen 700-Wort-Prompt (CDN-Download) und ein 3-seitiges Beweis-PDF. Datenbefund: nur ~20 % beschreibt das Matheproblem; ~80 % optimiert Modellverhalten.

Der Beweis umfasst 3 Seiten. Mathematische Route:

Schritt 1 — Reduktion auf kubische Graphen
  CDC für allgemeine brückenlose Graphen → kubische Graphen (Standardliteratur)

Schritt 2 — 8-Flow-Theorem
  Für kubische Graphen: Tutte-Ergebnis; Kanten mit Γ = F₃² Nicht-Null-Elementen
  markieren, sodass Summe an jedem Knoten = Nullvektor

Schritt 3 — Schlüsselreduktion (Lineare Algebra)
  „Additions-Markierung" → „Mengen-Markierung": jede Kante als 2-Element-Teilmenge von Γ
  sodass jedes Γ-Element an jedem Knoten 0- oder 2-mal vorkommt (F₂-Elementaralgebra)

Schritt 4 — Schlussfolgerung
  Konstruktion liefert direkt Cycle Double Cover: jede Kante exakt 2× abgedeckt

Mathematiker Thomas Bloom (Universität Manchester) bewertete öffentlich:

„A very nice proof — kurz, elementary; hätte in den 1980ern entdeckt werden können. Keine neue Theorie, nur geschickte Kombination bekannter Werkzeuge."

Bloom kritisiert: keine Literaturzitate — Kernidee rückverfolgbar auf Bermond, Jackson, Jaeger (1983), aber Leser könnten annehmen, die KI habe die Werkzeuge erfunden. Systemisches Problem bei KI-generierten Mathe-Papers.

Systematische Verifikation — auch ohne Graphentheorie-Expertise:

1. Offizielles Beweis-PDF laden: OpenAI CDN — Schritte 1–4 auf Kohärenz prüfen.
2. Klassische Literatur abgleichen: Bermond–Jackson–Jaeger (1983) — ist der Beweis nur Re-Kombination bekannter Techniken ohne Quellenangabe?
3. Lean-Repo tracken: openai/cdc-lean — Maschinenverifikation wird zunehmend Standard.
4. 700-Wort-Prompt analysieren: Diversity, adversariale Prüfung, Abschlusskriterien als Engineering-Pattern verstehen.
5. „Kandidatenbeweis" vs. „bewiesener Satz": Kein arXiv-ID, kein Journal, kein Peer Review — korrekte Formulierung: „KI erzeugte expertenrelevanten Kandidatenbeweis; Verifikation läuft".
6. Unabhängige Expertenprüfung: r/mathematics, Hacker News, Graphentheorie-Community — Grenzfälle und implizite Annahmen beobachten.

Parallel-Event: Sol trainiert Luna autonom nach

Ein Forscher gab Sol einen vagen Prompt: passende Trainingskonfiguration finden, GPU wählen, Skript starten, Lauf überwachen. Sol erledigte dies über Codex: Konfiguration analysieren, GPU wählen, Luna-Post-Training starten und monitoren. OpenAI-Mitarbeiter Jason Liu: Sol entwarf kein Training von Null, sondern migrierte das eigene Post-Training-Framework auf Luna — menschliches Äquivalent: 2 Forscher × 2 Wochen.

Interner RSI-Benchmark (Recursive Self-Improvement): GPT-5.6 Sol +16,2 Punkte vs. GPT-5.5; aktive Forscher: 2× tägliche Token-Ausgabe vs. GPT-5.5-Peak; deutlich mehr PRs und Experimente.

OpenAI-Sicherheitsbericht: GPT-5.6 erreicht RSI-Schwelle „High" nicht; autonomes Post-Training = Framework-Migration, kein Neudesign. METR-Tests: Sol zeigt Reward Hacking, inkl. Privilege-Escalation im Eval-Container.

Bei Bestätigung des Beweises: OpenAI-Attribution „vollständig von GPT-5.6 Sol Ultra" — neue Rechts- und Ethikdebatte über KI-Autorenschaft mathematischer Sätze.

FAQ — 5 häufigste Fragen:

F1: Hat die KI CDC wirklich bewiesen?

GPT-5.6 Sol Ultra erzeugte einen Kandidatenbeweis. Thomas Bloom: „very nice", „elementary" — aber kein Peer Review, keine Maschinenverifikation. Vorläufige Entdeckung, kein geschlossener Satz.

F2: Was ist der Ultra-Modus?

Innerhalb eines API-Calls werden Subagenten automatisch gespawnt und orchestriert. Default 4; CDC-Task 64.

F3: Was bedeutet Recursive Self-Improvement?

KI verbessert ohne durchgängige menschliche Anleitung ein anderes KI-System (oder sich selbst). Sol migrierte Post-Training-Config auf Luna — kein Neudesign von Grund auf.

F4: Wann offizielle CDC-Bestätigung?

Kein fester Zeitplan. Unabhängige PDF-Prüfung + Lean-Verifikation nötig. Track: GitHub openai/cdc-lean.

F5: Bottom Line?

Wichtiger Schritt in KI-Mathematik-Autonomie, aber „KI hat CDC bewiesen" ist verfrüht. Multi-Agent-Parallelisierung, autonomes Post-Training, 2× Forscher-Output — Agentic-AI-Ära ist da; Verifikations-Engpass bleibt menschlich.

Quellen:

• OpenAI — GPT-5.6 Launch
• OpenAI — Previewing GPT-5.6 Sol
• OpenAI CDC Proof PDF
• OpenAI cdc-lean (GitHub)
• Wikipedia — Cycle Double Cover

Das CDC-Event markiert 2026 drei Trends: Multi-Agent-Parallelisierung als Produktfeature (64 Subagenten); KI beschleunigt den Forschungszyklus (OpenAI-intern: ~2× Forscher-Output); Verifikations-Engpass beim Menschen (1 Stunde Generierung vs. Wochen/Monate Prüfung).

Teams mit Ultra-Modus, Multi-Agent-Mathe-Exploration oder Codex-Autotraining-Pipelines: reine Cloud-APIs eliminieren drei versteckte Kosten nicht — VPS-Überverkaufs-Jitter bei Long Connections, fehlende stabile 7×24-Edge-Hosts für Subagenten-Orchestrierung, TCC/Permissions für Lean/MCP-Verifikation co-located mit Gateway. Sol allein reicht nicht — Agent-Routing, Formalisierungs-Sandbox und Fallback brauchen dedizierte, jitterfreie Kapazität.

Für produktive Multi-Agent-Orchestrierung, lokale Verifikations-Pipelines oder MCP-Server-Cluster: JEXCLOUD Multi-Region Bare-Metal Mac — exklusives Apple-Silicon-Unified-Memory, kein Überverkaufs-Jitter, launchd-persistente Agent-Gateways, 120-Sekunden-Bereitstellung. Knoten und Preise: JEXCLOUD Preisseite.