OpenAI's GPT-5.6 Sol Ultra Claims Proof of 50-Year Math Conjecture
OpenAI says its GPT-5.6 Sol Ultra model produced a proof of the 50-year-old Cycle Double Cover Conjecture in under an hour, but mathematicians warn full verification will take weeks.
Read more →