ai-proof

GPT-5.6 Sol Ultra，OpenAI 的人工智能模型，已经生成了循环双覆盖猜想的证明，这是图论中一个长期存在的问题。