GPT-5.6 Sol Ultra proves Cycle Double Cover Conjecture

OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, a major open problem in graph theory. The proof is presented in a 27-page PDF. This marks a significant milestone in AI-driven mathematical discovery.