OpenAI’s Claimed Proof of the Cycle Double Cover Conjecture Affirmed before 2027?

Question

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.

Manifold Markets · Answer

Very likely — Manifold Markets prediction market estimates a 90% chance (4 traders, as of Jul 11, 2026).

Related questions