Im Quellenvergleich
Worin die Quellen übereinstimmen
OpenAI gab bekannt, dass sein KI-Modell GPT-5.6 Sol Ultra einen Beweis für die Cycle Double Cover Conjecture (Double-Cover-Cycle-Vermutung) erzeugt hat. Die Vermutung aus der Graphentheorie war seit rund 50 Jahren unbewiesen. Das Modell benötigte dafür weniger als eine Stunde und setzte 64 parallel arbeitende Subagenten ein. Der Beweis umfasst drei Seiten und nutzt klassische mathematische Techniken. Der verwendete Prompt wies die KI an, von der Existenz eines vollständigen Beweises auszugehen und keine Ausweichstrategien zu nutzen. Der Beweis befindet sich noch in der Prüfung durch Mathematiker und wurde nicht formal verifiziert.
Worin sie sich unterscheidenBewertung des Beweises durch Mathematiker·Kritik an fehlenden Quellenangaben·Details zum Prompt
Bewertung des Beweises durch Mathematiker- Der Mathematiker Thomas Bloom von der University of Manchester lobt den Beweis als 'sehr nett', die Lösung sei überraschend kurz und elementar. Er vermutet, dass ein unintuitiver Kniff menschliche Mathematiker von der Lösung abhielt.1
- Ein früherer Erfolg von OpenAI im Mai, bei dem eine Antwort in einem Problem der kombinatorischen Geometrie widerlegt wurde, hatte der Überprüfung standgehalten.2
Kritik an fehlenden Quellenangaben- Bloom kritisiert fehlende Quellenangaben: Die Grundideen gingen auf ein Paper von 1983 zurück, das OpenAI-Paper erwähne diese Vorarbeit nicht. Dies sei ein häufiges Problem bei KI-generierten Beweisen.1
Details zum Prompt- Der Prompt verbot dem Modell, im Internet nachzuschlagen oder zu antworten, dass die Vermutung ungelöst sei. Das Modell durfte erst antworten, wenn ein vollständiger Beweis vorlag und eine adversariale Prüfung überstand. Die meisten Agenten sollten bewusst nicht den vielversprechendsten Ansatz erfahren, um unabhängiges Denken zu erzwingen.1