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