如何评价 OpenAI 研究员 Ethan Knight 宣布已借助 GPT-5.6 Sol 完成对 CDC 猜想的证明
**前置知识** 设 $G = (V,E)$ 是一个有限无向图. 如果删除一条边会使图的连通分支数增加, 那么这条边称为桥. 不含桥的图称为无桥图. 图中的若干个圈 $C_1,C_2,\ldots,C_k$ 构成一个循环双覆盖, 如果每条边都恰好出现在其中两个圈里. 即对任意 $e \in E$, 都有 $ \sum_{i=1}^{k} \boldsymbol{1}_{\{e \in E(C_i)\}} = 2. $ 其中, $\boldsymbol{1}_{\{e \in E(C_i)\}}$ 表示边 $e$ 是否属于圈 $C_i$. CDC猜想断言:每个有限无桥图都存在一个循环双覆盖.也就是说, 对任何无桥图 $G$, 都可以找到一组圈, 使得图中的每条边恰好被覆盖两次. **相关链接** [原始证明的pdf](https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf) [完成 CDC 猜想的 AI 提示词](https://cdn.openai.com/pdf/04d1d1e4-
2 个回答 · 天玑社区