![Screenshot of cdn.openai.com: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]](https://hn.urlbox.com/shots/renders/2026/7/10/91480f3e-526b-426b-95b6-962a0b9ec6cf.jpg)
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf](cdn.openai.com)
489 points by scrlk | 404 comments
OpenAI PDF paper presenting a proof of the cycle double cover conjecture in graph theory, stated to be produced entirely by GPT-5.6 Sol Ultra.