GPT-5.6 Sol Ultra proves a 50-year-old math conjecture, a significant achievement for AI research and mathematics, with implications for graph theory and comput