Verified75% confidenceFactExact time
The history of automated theorem proving dates back to 1956, when Logic Theorist, developed by Allen Newell and Herbert Simon, is considered the first automated reasoning program.
3
Sources
75%
Confidence
Long-term
Relevance
8/30/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedAutomated theorem proving (ATP) is a research field with decades of history; early representative systems include the Logic Theorist and the Resolution Prover from the 1950s.79% similarUnverified西蒙与艾伦·纽厄尔共同开发了'逻辑理论家'和'通用问题求解器'等早期AI程序73% similarUnverified有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论73% similarUnverifiedThe resolution method proposed by J.A. Robinson in 1965 became the cornerstone of automated reasoning in first-order logic.72% similarUnverifiedThe concept of artificial intelligence was first formally proposed by scholars including John McCarthy and Marvin Minsky at the Dartmouth Conference in 1956.71% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/824103API
curl https://kongchang.com/api/v1/knowledge/claims/824103MCP
get_claim(id=824103)