待验证50% 置信事实精确时间
西蒙与艾伦·纽厄尔共同开发了'逻辑理论家'和'通用问题求解器'等早期AI程序
1
来源数
50%
置信度
长期有效
时效性
2026/8/6
首次发现
来源
相关事实
待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数67% 相似待验证工具收敛（Instrumental Convergence）理论由哲学家 Nick Bostrom 和 AI 研究者 Stuart Armstrong 系统阐述，认为智能体会趋向于发展出自我保全、获取资源和控制权等工具性子目标65% 相似待验证有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论65% 相似待验证DRY 原则由 Andrew Hunt 和 David Thomas 在《程序员修炼之道》中提出，核心思想是系统中每一项知识都必须有单一、明确、权威的表示63% 相似待验证物理符号系统假说由Allen Newell和Herbert Simon在1976年提出63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/695722API
curl https://kongchang.com/api/v1/knowledge/claims/695722MCP
get_claim(id=695722)