待验证50% 置信事实精确时间

1970年代Doug Lenat开发的AM系统通过启发式规则在集合论中重新发现了素数概念及哥德巴赫猜想

1

来源数

50%

置信度

长期有效

时效性

2026/8/30

首次发现

来源

AI自主数学发现：多智能体开放世界如何重塑科研范式

涉及实体

AMproduct Doug Lenatperson

相关事实

待验证FFT算法由Cooley和Tukey在1965年正式发表，核心思想可追溯到高斯在1805年的手稿62% 相似待验证类型推导机制最早由ML语言族在1970年代通过Hindley-Milner类型系统系统化60% 相似待验证账号定位理论最早由杰克·特劳特在1969年提出，核心思想是在用户心智中占据一个独特位置60% 相似待验证卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论60% 相似待验证区间算术的理论根基可追溯到 1960 年代 Ramon Moore 的开创性工作，IEEE 1788-2015 标准规范了其实现60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/824259

API

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

MCP

get_claim(id=824259)