Model5h ago
GPT-5.6 Sol Ultra Solves 50-Year Math Conjecture
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 it lacks proper citations. This result tests whether LLMs can generate novel mathematical insights or merely recombine existing data. Practitioners should monitor the model's verification accuracy.