GPT-5.6 Sol Ultra beweist die Cycle Double Cover Conjecture
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
OpenAI veröffentlicht einen Beweis der Cycle Double Cover Conjecture, die besagt, dass jeder brückenlose ungerichtete Graph eine Sammlung von Kreisen besitzt, die jede Kante genau zweimal überdeckt. Der Beweis wurde vollständig von GPT-5.6 Sol Ultra erbracht und mit Codex (mit GPT-5.6 Sol) aufgeschrieben. Er nutzt den 8-Fluss-Satz und eine Reduktion auf kubische Graphen, um das Problem auf ein lineares Algebra-Argument zurückzuführen.
Der Beweis in dieser Notiz ist vollständig GPT-5.6 Sol Ultra zu verdanken, und die Ausarbeitung erfolgte mit Codex (mit GPT-5.6 Sol).