@misc{aihist_logic-theorist-1956,
  title        = {{Logic Theorist 运行，首个自动定理证明程序问世}}
  author       = {{AI 纪年}}
  date         = {1956-08}
  year         = {1956}
  month        = aug
  howpublished = {\url{https://aihist.net/e/logic-theorist-1956.html}}
  url          = {https://aihist.net/e/logic-theorist-1956.html}
  urldate      = {2026-11-03}
  language     = {zh-CN}
  keywords     = {算法, 符号推理, 科学}
  abstract     = {纽厄尔、肖与西蒙编写的 Logic Theorist 能证明《数学原理》中的命题，被视为第一个真正运行的 AI 程序。它与同年达特茅斯会议一起，把符号推理确立为早期 AI 的核心路线。}
  note         = {AI 纪年静态引用页（EB/OL），构建于 2026-11-03}
}