已验证75% 置信事实精确时间
循环双重覆盖猜想由Seymour和Szekeres在1970年代独立提出，是图论中最著名的未解问题之一
5
来源数
75%
置信度
长期有效
时效性
2026/7/11
首次发现
来源
AI能证明数学猜想吗？GPT-5.6事件真相与大模型能力边界
hackernewshackernews2026/7/10
相关事实
待验证Cycle Double Cover（圈双覆盖）猜想由Seymour和Szekeres分别于1979年独立提出，断言对于任意无桥连通图存在一组圈使每条边恰好被覆盖两次76% 相似待验证心理学家丹尼尔·卡尼曼和阿莫斯·特沃斯基在20世纪70年代的研究中系统性地揭示了基率谬误这一认知偏差61% 相似待验证Paul Seymour以Robertson-Seymour定理（图子式定理）闻名，该定理历时二十余年完成58% 相似待验证循环双重覆盖猜想至今依然是公认的开放猜想，没有任何被数学界认可的完整证明58% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/487634API
curl https://kongchang.com/api/v1/knowledge/claims/487634MCP
get_claim(id=487634)