Research · Hacker News ·
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
OpenAI shared a PDF claiming GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture. The post links to the paper and a Hacker News discussion, with no additional details in the raw summary.