Unverified50% confidenceFactExact time
数学家Jaeger在1985年证明了循环双覆盖猜想的弱化版本「5-环覆盖猜想」
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
UnverifiedJaeger（1985）、Goddyn等人在特殊图类上取得了Cycle Double Cover猜想的部分进展，但一般情形至今悬而未决72% similarUnverifiedLai和Robbins于1985年证明了遗憾的理论下界为Ω(log T)，即任何策略随时间增长都必然存在对数量级的遗憾62% similarUnverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法62% similarVerified2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例61% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/526103API
curl https://kongchang.com/api/v1/knowledge/claims/526103MCP
get_claim(id=526103)