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

The model solved the Cycle Double Cover Conjecture in under one hour using 64 subagents working in parallel. The problem had remained unsolved since 1973.