18:29
2026-07-10
cdn.openai.com
artificial-intelligence
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
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 โฆ