Unverified50% confidenceFactExact time
The AM system developed by Doug Lenat in the 1970s rediscovered the concept of prime numbers and Goldbach's conjecture within set theory through heuristic rules.
1
Sources
50%
Confidence
Long-term
Relevance
8/30/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe FFT algorithm was formally published by Cooley and Tukey in 1965, with the core idea traceable to a manuscript by Gauss in 1805.62% similarUnverifiedType inference mechanisms were first systematized by the ML language family in the 1970s through the Hindley-Milner type system.60% similarUnverified账号定位理论最早由杰克·特劳特在1969年提出，核心思想是在用户心智中占据一个独特位置60% similarUnverified卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论60% similarUnverifiedThe theoretical foundations of interval arithmetic can be traced back to the pioneering work of Ramon Moore in the 1960s, and the IEEE 1788-2015 standard formalizes its implementation.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/824259API
curl https://kongchang.com/api/v1/knowledge/claims/824259MCP
get_claim(id=824259)