主要观点：20 世纪 70 年代至 80 年代，Douglas Lenat 的 AM 和 Eurisko 这两个 AI 程序能在概念空间中自主做出有趣发现，AM 从集合论基本原理中重新发现素数等概念，Eurisko 扩展了 AM 的通用性，在 VLSI 设计等领域取得突破，还用于创建《旅行者》空间战斗 RPG 的策略并连续两年获胜。其最初的 Cyc 是为 Eurisko 的发现引擎服务。这两个程序 40 多年来吸引了符号 AI 领域关注，但见证者少，Lenat 对 Eurisko 源代码保密。后来发现 AM 的源代码在计算机历史博物馆和 saildart.org 上，且 DBL（Douglas Bruce Lenat）的相关文件在 saildart.org 上，目前这些文件已解密，有用户运行了 Eurisko，还在探索运行 AM 及相关事宜，感谢相关人员的贡献，AM 和 Eurisko 的 Github 仓库已创建，相关讨论在 Discord 和 Hacker News 上。
关键信息：

• AM 从集合论原理发现数学概念。
• Eurisko 扩展 AM 通用性并在多领域有突破。
• AM 和 Eurisko 的相关文件在 saildart.org 上。
• 有用户运行了 Eurisko。
• 创建了 AM 和 Eurisko 的 Github 仓库。
  重要细节：
• Lenat 曾鼓励下载并修改 AM 代码，后又对软件保护。
• 计算机历史博物馆有 AM 源代码打印件待扫描。
• saildart.org 上有 DBL 的各种文件及索引。
• 编码风格为那个时代的密集且少注释型。