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

GPT-5.6 Sol Ultra proved the Cycle Double Cover Conjecture, unsolved since 1973, in under one hour using 64 parallel subagents. The proof, now available as a PDF from OpenAI, awaits independent verification.