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

GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour using 64 parallel subagents. The problem had remained unsolved since 1973.