待验证50% 置信事实精确时间
A*算法由Peter Hart、Nils Nilsson和Bertram Raphael于1968年在斯坦福研究所（SRI International）首次提出
1
来源数
50%
置信度
长期有效
时效性
2026/8/10
首次发现
来源
相关事实
待验证Chandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出60% 相似待验证MoE架构最早由Shazeer等人于2017年在"Outrageously Large Neural Networks"论文中系统化提出59% 相似待验证斯坦福学者评价AI对埃尔多斯1196号猜想的证明是'首批具备长期学术价值的AI证明'56% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/722575API
curl https://kongchang.com/api/v1/knowledge/claims/722575MCP
get_claim(id=722575)