待验证50% 置信事实精确时间
检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法
1
来源数
50%
置信度
长期有效
时效性
2026/7/12
首次发现
来源
LangGraph入门：用图结构构建AI Agent工作流
bilibili吴恩达LLM2026/7/10
相关事实
待验证Chandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出78% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究67% 相似待验证LLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基64% 相似待验证反向传播算法此前曾被多人独立发现，Paul Werbos于1974年博士论文中已有类似推导，Yann LeCun在1985年论文中提出等价思路62% 相似待验证数学家Jaeger在1985年证明了循环双覆盖猜想的弱化版本「5-环覆盖猜想」62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/489903API
curl https://kongchang.com/api/v1/knowledge/claims/489903MCP
get_claim(id=489903)