OpenAI's newly released GPT-5.6 Sol Ultra, made generally available yesterday, successfully produced a proof for the 50-year-old Cycle Double Cover Conjecture in under one hour. This was achieved by directing 64 subagents toward competing approaches, repeated audits, and rejection of partial arguments, showcasing the model's ability to parallelize difficult work.