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

hackernews 2026-07-11 원문 보기 ↗