芯片设计 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]/icon-default.png?t=N7T8https://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-resourcesicon-default.png?t=N7T8https://github.com/aindilis/eurisko-resources/tree/master

后记:

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

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

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

  • 18
    点赞
  • 9
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值