GPT-5.6 Sol Ultra solves the 50-year-old Cycle Double Cover Conjecture in under an hour
The claim comes from an X announcement that says the newly available model used 64 subagents, and the public reaction quickly split between awe and practical complaints.
In an X post announcing the result, __eknight__ said GPT-5.6 Sol Ultra produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under an hour, a day after the model became generally available. Quote-posts from people like polynoamial, Ethan Mollick and gdb pushed the claim further on X, with much of the attention landing on the public-access angle, not just the math itself.