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

OpenAI's GPT-5.6 Sol Ultra produced a formal proof of the Cycle Double Cover Conjecture, a 50-year-old unsolved problem in graph theory. The proof was shared as a PDF, and CEO Sam Altman highlighted the achievement on X, noting it was a novel derivation.