20:09
2026-07-10
runtimewire.com
artificial-intelligence
OpenAI says GPT-5.6 Sol Ultra produced a proof of a 50-year graph theory problem
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…