Mathematician solves previously unsolvable math problems with GPT-5.6

GPT-5.6 Sol Ultra proved the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents. The proof was achieved with a publicly available model.