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

The model produced a proof of the Cycle Double Cover Conjecture, a 50-year-old unsolved problem in graph theory. The result was published as a PDF by OpenAI.