Combinatorics · Jul 10, 2026

Cycle double cover conjecture

OpenAI reports a proof of this full formulation.

Scope and what remains

Keep the ordinary CDC statement separate from stronger five-cycle or coloring conjectures. Do not infer peer review from exposition or a build report.

Contributors

GPT-5.6 Sol Ultra agent workflow; human expositions and independently authored proofs must be credited separately.

AI systems: GPT-5.6 Sol Ultra

Sources