Einen Tag nachdem GPT-5.6 Sol Ultra allgemein verfügbar wurde, sagt OpenAI, dass es einen vollständigen Beweis des Cycle Double Cover Conjecture erbracht hat – ein Problem der Graphentheorie, das seit der Formulierung durch Tutte, Szekeres und Seymour vor 50 Jahren offen ist. 64 Subagenten, in weniger als einer Stunde. Die Eingabeaufforderung und das vollständige Beweis‑PDF sind öffentlich. HN‑Thread: 224 Punkte, 203 Kommentare, und Mathematiker prüfen noch jede Zeile.
Was Sol Ultra tatsächlich ist
Es ist ein Frontier‑Modell mit einem integrierten Multi‑Agent‑Modus: Ultra zerlegt ein schwieriges Problem, erzeugt parallele Subagenten, die während der Aufgabe koordinieren, und fügt dann die Ergebnisse zusammen. Der Beweis stammt ausschließlich von Sol Ultra; Codex hat nur die Ausarbeitung bereinigt.
Sie können die gleiche Konfiguration noch heute ausführen
GPT-5.6 Sol ist GA auf der OpenAI‑API zu $5 Eingabe / $30 Ausgabe pro Million Tokens, wobei der Subagent‑Modus verfügbar ist. Dieselbe Infrastruktur, auf Ihre eigenen schwierigen Forschungs‑ oder Verifizierungs‑Probleme gerichtet.
Warum das wichtig ist
Letzten Monat hat ein Frontier‑Modell die Erdős‑Unit‑Distance‑Vermutung widerlegt. Dies ist das zweite berühmte offene Problem, das in zwei Monaten gelöst wurde. Wenn der Beweis Bestand hat, hört „KI macht originelle Mathematik“ auf, eine Demo zu sein, und wird zu einem regulären Vorgang.