GPT-5.6 Sol Ultra claims proof of decades-old graph theory conjecture

OpenAI's latest model reportedly generated a formal proof of the Cycle Double Cover Conjecture, a longstanding problem in graph theory. If verified by the mathematical community, this would mark a significant moment for AI-assisted theorem proving—though independent validation remains pending.