道格拉斯·莱纳特自动数学家源代码
Douglas Lenat's Automated Mathematician Source Code

原始链接: https://github.com/white-flame/am

此档案包含来自 SAIL-DARTS 项目的软件,具体来说是 1975 年 1 月在 PDP-10 机器(SUMEX、KI-10)上使用 Interlisp 语言开发的程序代码。代码源自 Bruce Baumgart 的收藏,并在相关的博士论文(ADA155378.pdf)中有详细说明。 核心文件 – LT、TA、TB 和 CON6 – 旨在按顺序加载,其中 CON6 是较新的补充。该系统利用 256k 核心内存,Interlisp 本身占用 140k,但提供额外的“阴影空间”用于编译后的代码。 由于其 ARPA 资助,并且论文明确鼓励使用、修改和分发,因此认为该软件属于公共领域。更多文档和相关文件可以在 SAILDART 档案中找到([https://www.saildart.org/[AM,DBL]/](https://www.saildart.org/[AM,DBL]/)),有关 DBL 区域的信息可在 EURISKO 项目 wiki 上找到。Discord 服务器([https://discord.gg/vhsmVCwgvK](https://discord.gg/vhsmVCwgvK))可用于讨论。

一篇 Hacker News 帖子介绍了道格拉斯·莱纳特(Douglas Lenat)的“自动数学家”的源代码,该项目是 1970 年代具有历史意义的早期人工智能项目。这个符号人工智能系统是 Cyc 和 Eurisko 等项目的先驱,旨在利用规则和符号来发现和证明数学定理。 尽管在当前性能上已被大型语言模型(LLM)超越,但评论员指出它作为人工智能先驱的重要性,展示了任务之间的早期知识迁移——例如将芯片设计中的策略应用于游戏。该系统甚至在 1980 年代通过 Eurisko 激发了超人游戏能力。 讨论承认符号人工智能在取得突破之前经历了停滞期(“人工智能寒冬”),这与神经网络发展的类似模式相呼应。这次发布提供了一窥现代深度学习之前的早期人工智能工作,其灵感来自雄心勃勃的 Cyc 项目的同一思想。 附加链接分享了相关的 SAIL(斯坦福人工智能实验室)材料,包括一部电影甚至一个 D&D 角色表。
相关文章

原文

These files are extracted from the SAILDART archive maintained by Bruce Baumgart, in Douglas Lenat's AM section here: https://www.saildart.org/[AM,DBL]/

The accompanying PhD thesis can be found here: https://apps.dtic.mil/sti/pdfs/ADA155378.pdf

Quoted from the thesis, page 124:

Machine: SUMEX, PDP-10, KI-10 uniprocessor, 256k core memory.

Language: Interlisp, January '75 release, which occupies 140k of the total 256k, but which
provides a surplus "shadow space" of 256k additional words available for holding compiled
code.

LT is the initial loader file, which will load the others. While the thesis notes that the file TOP6 will be loaded, at some point this was split into loading TA and TB.

The CON6 file is much newer than the others. While I grabbed the newest version, older versions still exist on the archive above and might be required instead.

Any other applicable files found in the SAILDART archive such as documentation or demonstration logs should be committed here as well. A general description of the DBL areas can be found in the EURISKO project wiki.

This should be in the public domain, or international equivalent, as it was funded by the USA government through ARPA. The thesis additionally encourages others to copy, modify, and use the software.

Discord: https://discord.gg/vhsmVCwgvK

联系我们 contact @ memedata.com