NewsGPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]July 11, 20261 min readSource: Hacker NewsHN score 240，comments 216