OpenAI's GPT-5.6 Sol Ultra used 64 subagents to prove the Cycle Double Cover Conjecture in under an hour, a problem unsolved for 50 years.

OpenAI's GPT-5.6 Sol Ultra used 64 subagents to prove the Cycle Double Cover Conjecture in under an hour, a problem unsolved for 50 years.

OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. The conjecture had remained unsolved for…