Model
48d agoGPT-5.6 Sol Ultra Solves 50-Year-Old Math Problem
Sixty-four parallel subagents in GPT-5.6 Sol Ultra proved the Cycle Double Cover Conjecture in under one hour. Mathematician Thomas Bloom describes the proof as elementary, though he notes a lack of citations. This result tests whether LLMs can generate original mathematical insights or simply recombine existing knowledge.
The Signal
Practitioners should monitor the proof's formal verification.