ai-proof

GPT-5.6 Sol Ultra, an AI model from OpenAI, has produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory.