OpenAI's GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture

OpenAI's GPT-5.6 Sol Ultra model has produced a proof of the Cycle Double Cover Conjecture, a mathematical problem. The proof is available as a PDF. This demonstrates the model's advanced reasoning capabilities.

• GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]