GPT-5.6 Sol Ultra proves 50-year-old Cycle Double Cover Conjecture

OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, a 50-year-old math problem. The proof is available in a PDF from OpenAI.