Model1h ago
GPT-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. Practitioners should monitor the proof's formal verification.