GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]