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 reportedly solved the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents. Mathematician Thomas Bloom called the proof surprisingly elementary but noted a lack of citations for prior work. The achievement raises questions about AI's ability to create novel knowledge.