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 long-standing problem in graph theory. If verified, it represents a notable shift in what AI can tackle—moving from pattern matching to deep mathematical reasoning that has eluded human mathematicians for years.