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…
OpenAI's GPT-5.6 Sol Ultra has produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory. The achievement demonstrates the model's advanced reasoning capabilities …
A tweet from user haider1 claims that GPT-5.6 Sol Ultra will be integrated into Codex, sparking discussion on Hacker News with 403 points and 380 comments.…