Unverified50% confidenceFactExact time
A*算法由Peter Hart、Nils Nilsson和Bertram Raphael于1968年在斯坦福研究所（SRI International）首次提出
1
Sources
50%
Confidence
Long-term
Relevance
8/10/2026
First Seen
Sources
Related Claims
UnverifiedThe Chandy-Lamport algorithm was proposed by computer scientists K. Mani Chandy and Leslie Lamport in 1985.60% similarUnverifiedMoE架构最早由Shazeer等人于2017年在"Outrageously Large Neural Networks"论文中系统化提出59% similarUnverifiedStanford scholars evaluated AI's proof of Erdős conjecture No. 1196 as 'among the first AI proofs with long-term academic value'.56% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% similarUnverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/722575API
curl https://kongchang.com/api/v1/knowledge/claims/722575MCP
get_claim(id=722575)