首个AI自动定理证明器迎来70周年

人工智能历史上的里程碑——Logic Theorist 迎来发布 70 周年。该程序由 Allen Newell、Herbert A. Simon 和 Cliff Shaw 在 1950 年代中期共同开发，通常被视为首个自动定理证明器和首个 AI 程序。它的诞生为后来人工智能与自动化推理技术的发展奠定了重要基础。

2026-07-18 ~ 2026-07-19 · 2 条相关