GPT-5.6 Sol Ultra proves 50-year-old math conjecture

OpenAI's GPT-5.6 Sol Ultra generated a proof of the Cycle Double Cover Conjecture, unsolved for 50 years. The proof is published as a PDF on the OpenAI website, showcasing advanced mathematical reasoning.