Model
49d 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 an hour. Mathematician Thomas Bloom described the proof as elementary despite a lack of citations. This result tests whether models create novel logic or simply recombine existing data.
The Signal
Practitioners should monitor how agentic workflows accelerate formal verification.