OpenAI's new model solves a 50-year-old math conjecture
OpenAI just published a paper proving the cycle double cover conjecture, a graph theory problem unsolved for over 50 years. Powered by GPT-5.6 Sol Ultra, the model spun up 64 subagents and generated the entire proof in under an hour. Why it matters: Frontier AI is officially shifting from helping mathematicians check steps to independently cracking open problems.