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.
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?
15% 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)
78% chance
Will OpenAI publicly claim a solution to a SECOND Millennium Prize Problem by November 30, 2026?
20% chance
Has OpenAI made a cryptanalytic breakthrough?
9% chance
OpenAI's proof of zero free region of Riemann zeta for Re(s)>7/8 shown to be flawed before 2027?
8% chance
OpenAI Claims to Solve another Millennium Prize Problem before 2027?
40% chance
Which of OpenAI's claimed math results will be shown to be flawed before 2027?
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