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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
9% 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?
85% 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