GPT-5.6 Sol Ultra claims proof of the Cycle Double Cover Conjecture

AI summary

A Hacker News post highlights a claim that GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory. The post points to a PDF prompt and a social media thread discussing the result, drawing substantial attention from the HN community.