GPT-5.6 Sol Ultra produces proof of Cycle Double Cover Conjecture

GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory. The proof is presented in a PDF published on OpenAI's CDN.