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

GPT-5.6 Sol Ultra autonomously produced a proof of the Cycle Double Cover Conjecture, unsolved since 1973, in under one hour using 64 parallel subagents. The proof was published as a PDF by OpenAI.