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
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
14% chance
OpenAI Claims to Solve another Millennium Prize Problem before 2027?
30% chance
OpenAI's proof of zero free region of Riemann zeta for Re(s)>7/8 shown to be flawed before 2027?
8% chance
Which of OpenAI's claimed math results will be shown to be flawed before 2027?
Has OpenAI made a cryptanalytic breakthrough?
9% chance
Will OpenAI publicly claim a solution to a SECOND Millennium Prize Problem by November 30, 2026?
21% chance
OpenAI Releases another batch of mathematics results before 2027?
74% chance
OpenAI announces it has achieved AGI before 2027?
3% 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?
31% chance