Ethan Knight

OpenAI announced on July 10 that its GPT-5.6 Sol Ultra model generated a complete proof of the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 parallel subagents. Mathematician Th…

OpenAI announced on July 10, 2026, that its GPT-5.6 Sol Ultra model proved the Cycle Double Cover Conjecture, a 50-year-old math problem, using 64 parallel AI subagents in under an hour. The proof, pu…

OpenAI claims its GPT-5.6 Sol Ultra model produced a candidate proof of the Cycle Double Cover Conjecture, a 50-year-old open problem in graph theory, using 64 subagents in under an hour. The proof, p…