OpenAI’s Claimed Proof of the Cycle Double Cover Conjecture Affirmed before 2027?
6
Ṁ100Ṁ304Dec 31
91%
chance
1H
6H
1D
1W
1M
ALL
OpenAI claims GPT-5.6 Sol was able to prove this 50 year old graph theory conjecture
https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
Resolves yes if before 2027 there is a consensus among domain experts that the proof is correct.
This question is managed and resolved by Manifold.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
8% chance
Will any of DeepMind's formal conjectures be resolved before 2027?
99% chance
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
77% chance
Will OpenAI fold by EOY 2026?
2% chance
OpenAI IPO before 2028?
84% chance
Will AI *prove* one of 128 major mathematical conjectures before month X?
Will OpenAI exist in Jan 2027?
96% chance
OpenAI IPO before 2027?
11% chance
AI to solve "Sparse Adversarial Perturbations" from HCAST-Public by 2027?
63% chance
OpenAI IPO before 2029?
92% chance