OpenAI’s Claimed Proof of the Cycle Double Cover Conjecture Affirmed before 2027?
8
Ṁ100Ṁ598Dec 31
96%
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.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will OpenAI publicly claim a solution to a SECOND Millennium Prize Problem by November 30, 2026?
43% 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
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
12% chance
OpenAI Claims to Solve another Millennium Prize Problem before 2027?
57% chance
Will any of DeepMind's formal conjectures be resolved before 2027?
99% chance
OpenAI announces it has achieved AGI before 2027?
4% chance
How many billions of output tokens will be used in the first AI proof/disproof of the Hodge Conjecture?
1,419
Will AI produce a proof of finite-time blow-up for the unforced Navier–Stokes equations before 2027?
27% chance
Will OpenAI fold by EOY 2026?
2% chance
OpenAI IPO before 2028?
88% chance