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