OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

OpenAI's GPT-5.6 Sol Ultra has generated a proof for the 50-year-old Cycle Double Cover Conjecture in less than an hour by utilizing 64 parallel subagents. While the rapid solution demonstrates significant progress in AI-driven mathematical reasoning, some researchers have raised concerns regarding the system's failure to properly cite existing foundational literature. This development highlights both the growing utility of large language models in complex theoretical mathematics and the ongoing challenge of ensuring academic rigor in machine-generated research.