GPT-5.6 Sol Ultra Proves Cycle Double Cover Conjecture - prijm