After the public release of GPT-5.6 Sol Ultra, the model announced today that, with the combined work of 64 sub-agents, it proved the 50-year-old Cycle Double Cover Conjecture in less than an hour. The result is an important advance for automated theorem proving and the mathematical applications of large language models.
GPT-5.6 Sol Ultra proved the 50-year-old Cycle Double Cover conjecture in under an hour
After the public release of GPT-5.6 Sol Ultra, the model announced today that, with the combined work of 64 sub-agents, it proved the 50-year-old Cycle Double Cover Conjecture in less than an hour.
