OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

Editor's take

OpenAI's latest model, GPT-5.6 Sol Ultra, has reportedly generated a proof for the 50-year-old Cycle Double Cover Conjecture, a feat achieved in less than an hour with the assistance of 64 parallel subagents.

This development is significant as it showcases the potential of advanced AI agents to tackle complex, long-standing mathematical challenges that have eluded human mathematicians. The ability to automate proof generation at this level could accelerate discovery in fields reliant on formal verification and abstract reasoning, impacting academic research and potentially software development.

Future developments to observe include independent verification of the proof's correctness and its accessibility to the broader mathematical community. Understanding the specific architectural innovations within Sol Ultra that enabled this breakthrough, beyond the mention of subagents, will be crucial. The scalability of this approach to other unsolved conjectures and problem domains will also be a key indicator of its broader utility.