GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] July 10, 2026 · Hacker News Read full story at source