In just one hour, OpenAI GPT-5.6 Sol Ultra proved a 50-year-old mathematical conjecture
On July 10, OpenAI announced that its latest model, GPT-5.6 Sol Ultra, successfully generated a complete proof of the Cycle Double Cover Conjecture in graph theory in less than an hour.