待验证50% 置信事实精确时间
数学家Jaeger在1985年证明了循环双覆盖猜想的弱化版本「5-环覆盖猜想」
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证Jaeger（1985）、Goddyn等人在特殊图类上取得了Cycle Double Cover猜想的部分进展，但一般情形至今悬而未决72% 相似待验证Lai和Robbins于1985年证明了遗憾的理论下界为Ω(log T)，即任何策略随时间增长都必然存在对数量级的遗憾62% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法62% 相似已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例61% 相似待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/526103API
curl https://kongchang.com/api/v1/knowledge/claims/526103MCP
get_claim(id=526103)