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

GPT-5.6 Sol Ultra solved the Cycle Double Cover Conjecture, unsolved since 1973, in under one hour using 64 subagents working in parallel. The proof now awaits independent verification; the model is publicly available.