AI agents Devin and GPT-5.6 Sol Ultra have reportedly solved long-standing graph theory problems, with Devin refuting Graffiti Conjecture 154 and proving Conjectures 39 and 40, and OpenAI claiming GPT…
A new open-source repository called Prompts for Progress has been launched to curate and share prompts used in AI-assisted math and science research, aiming to study how researchers interact with AI s…
OpenAI's GPT-5.6 Sol Ultra, launched on July 9, generated a complete proof for the Cycle Double Cover Conjecture in under one hour using 64 parallel subagents, scoring 91.9% on Terminal-Bench 2.1. A S…
OpenAI claimed its GPT-5.6 Sol Ultra model produced a proof of the Cycle Double Cover Conjecture, a 50-year-old graph theory problem, in under an hour using 64 parallel subagents. The proof has not be…
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…