GPT-5.6 Sol Ultra proves 50-year-old math problem in under an hour

OpenAI reports that GPT-5.6 Sol Ultra proved the Cycle Double Cover Conjecture, unsolved since 1973, using 64 subagents in under one hour. A separate user later used the same methodology to close a 1996 complexity gap in convex optimization.