芯片设计 VLSI 的核心技术 Eurisko 揭秘和重现! 史上第一个真正自主意识的人工智能--Douglas Lenat 的经典代码揭秘

“斯坦福大学教授Douglas Lenat 写的一个真正意义上的AI，使用最朴素最本原的数学方法，让机器自己发现新的事物，揭示新的规律。从集合的思想起源，把一些有意思的概念一点点的喂给机器，它就自己学会了计数、加法、乘法…然后它发现了质数的概念，直到最后…它发现了哥德巴赫猜想!”    ---- 集异壁GEB 《 Gödel, Escher, Bach》

上面这段文字描述的不是 Eurisko, 而是Automated Mathematician (AM), （Douglas Lenat 的博士毕业设计，并且赢得了IJCAI Computers and Thought Award。） Eurisko 是AM的升级版。 你也许没有听说过它，但是在顶级AI领域，Eurisko 直至今日仍然是一个传奇。它不仅是第一个真正能自己思考的机器，还启发了很多游戏，比如Traveller TCS，而且，更重要的是，它还是芯片设计 VLSI 的核心技术。

当Lenat第一次带 Eurisko去参加比赛的时候，它以遥遥领先于其他对手的优势赢得了比赛。第二年，大赛组织者在临近比赛一周前，更改了规则，结果Eurisko 自己发现了规则的改动并推理出了新的策略，又一次遥遥领先于其他对手，赢得了比赛。从此以后，大会组织者对Lenat 说，如果他再参加比赛，他们就取消比赛，Lenat 表示理解，从此不再参赛。

“知识就是力量”，Eurisko 受限于每次遇到新的领域，需要重新手动输入领域知识和常识规则。于是Lenat 启动了Cyc项目，将人类百科全书知识库和常识，用3000多名哲学家、逻辑学家和计算机学家（这三者可能是同一个人）、博士生等研究人员，花费了35年时间，打造了一个有上百万条规则的人类常识知识库 cyc。

AM、Eurisko、和Cyc的代码都是用LISP写的，Lenat 专门用LISP写了一个新的语言（LISP是 program language of program language，它天生就适合用来编写新的编程语言），使推理的效率大大提高。一直以来，Eurisko 的源代码是严格保密的，Lenat 关于 AM 和 Eurisko 的论文里，对技术细节也是语焉不详。直到去年8月份，Lenat 去逝后，他的SAILDART 账户被解锁，网友 WhiteFlame 发现了 AM 和 Eurisko 的源代码和资料，经过改进后，网友 seveno4 在 Medley Interlisp 上成功运行了 Eurisko！

为了方便中文网友了解，下面我重现了Eurisko 的运行过程，具体代码和资料在文后。

eurisko 运行

所需代码：

;; 运行 Eurisko 的方法
; https://blog.funcall.org/
; How to run
; Install Medley Interlisp
https://github.com/Interlisp/medley
; Open an Interlisp Exec by hold right-clicking on the background and releasing on "Interlisp" in the EXEC sub-menu.
; Change to the directory where you downloaded EURISKO
cd /home/foo/EURISKO/
; Compile (type 'n' to any questions it asks, except 'are you ready?')
(TCOMPL 'EUR)
; Load and run
(LOAD 'EUR.LCOM)
; 打开界面，查看运行输出
(Snazzy)
; 让运行不暂停，如果不希望不停的运行，就无需此命令，否则容易 stack overflow
(PAGEHEIGHT 0)
; 开始运行啦！
(Eurisko)

; 随时可以退出
CTRL-D 

原文地址：GitHub - seveno4/EURISKO

相关资料：

源代码发现博客：

Doug Lenat's source code for AM and EURISKO (+Traveller?) found in public archives

Lenat 的SAILDART资料地址：

https://www.saildart.org/[*,DBL]/https://www.saildart.org/%5B*,DBL%5D/

Eurisko 详细资料：

GitHub - aindilis/eurisko-resources: Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems. - aindilis/eurisko-resourceshttps://github.com/aindilis/eurisko-resources/tree/master

后记：

但是，在Lenat 的AAAI文章《Why AM and Eurisko Appear to Work》里，也记载了：

“自动生成代码的AI，也就是所谓的AI 产生自主意识，或者说所谓的真正的人工智能，只是依赖LISP语言对数学的高度契合、高效表达，才能在简单场景、短代码、小问题范围内，因为碰运气，偶然创造出有用的代码。就好像用大量电磁辐射生物组织的DNA，诱发它变异一样，在构造非常简单的生物组织里有可能碰巧产生有益的变异，但是对于大型高等生物，这种辐射几乎必然对生物体有害，甚至有毒。”

所以缺乏公众的监管，放任AI主宰人类，必然走向熵增，因为它没有真正的意识，不可能进行真正的创造。