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

scrlk · HackerNews · 5 min read · original