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