OpenAI's latest model claims proof of long-standing graph theory conjecture

GPT-5.6 Sol Ultra reportedly generated a formal proof of the Cycle Double Cover Conjecture, a 50-year-old problem in graph theory. If verified by peer review, this would mark a significant milestone for AI in mathematical research—and a potential tool for indie researchers who lack institutional resources.