A 50-Year Puzzle Solved in One Hour? The Massive Mathematical Challenge Cracked by AI
OpenAI's latest AI model, GPT-5.6 Sol Ultra, has proven the 50-year-old mathematical puzzle known as the 'Cycle Double Cover Conjecture' in just one hour. We explain how AI is changing the history of mathematics.