Feed Entities Podcasts Deep Dives Developers About

[KongchangAI]

Real-time AI knowledge base. Every claim is traceable to its source, with data freshness under 24 hours.

Powered by 240+ first-hand AI sources

Knowledge

Feed
Hot Entities
Podcasts

Developers

CLI
MCP Server
REST API
About

© 2026 KongchangAI. The freshest, most accurate AI knowledge

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

差分启发式：用地标预计算优化A*算法搜索效率

Related Claims

UnverifiedChandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出60% similar UnverifiedMoE架构最早由Shazeer等人于2017年在"Outrageously Large Neural Networks"论文中系统化提出59% similar Unverified斯坦福学者评价AI对埃尔多斯1196号猜想的证明是'首批具备长期学术价值的AI证明'56% similar Unverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% similar Unverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法56% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/722575

API

curl https://kongchang.com/api/v1/knowledge/claims/722575

MCP

get_claim(id=722575)