OpenAI's GPT-5.6 Sol Ultra reportedly generated a proof of the Cycle Double Cover Conjecture, a graph theory problem that had remained open for about 50 years. The Decoder says the system used 64 subagents working in parallel.
If independently verified, the result would be a major demonstration of AI-assisted mathematical research. It would also intensify debate over how to evaluate proofs produced by large model systems and agent swarms.
The report points to a broader shift from models that answer questions to systems that coordinate multiple reasoning processes on hard scientific problems.