ThinkingNews

Back to feed
Hacker News July 10, 2026

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]