不用Lisp号称要搞AGI的都是耍流氓 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

不用Lisp号称要搞AGI的都是耍流氓

不用Lisp号称要搞AGI的都是耍流氓# Programming - 葵花宝典

h*e2019-03-01 08:03

1 楼

家人本来是去中信续签，照片有些问题，来回走两趟结果丢了我爸那本护照，
看来免面试续签不行了，请问谁有经验，
请告知。补办遗失护照，再约面试，再签，谁有新的经验
十年前我是这里的常客，发了本版很多精华区置顶的帖子，这几年来得少了。
请各位不管有什么经验的都分享一下。

a*82019-03-01 08:03

2 楼

Best Buy (in store only) is offering 50% off HP Touchpad Accessories. Plus
receive extra 20% off automatically when you buy 4 or more accessories. For
example: Touchstone Charging Dock for $31.99.
Walmart has HP TouchPad Travel AC Wall Adapter/Charger for $11 with in-store
pickup.
http://www.bestbuy.com/site/searchpage.jsp?_dyncharset=ISO-8859

h*i2019-03-01 08:03

3 楼

引用的时候别忘了给hci credit. 嗯

g*o2019-03-01 08:03

4 楼

想搞个蓝牙键盘

For
store

【在 a********8 的大作中提到】

: Best Buy (in store only) is offering 50% off HP Touchpad Accessories. Plus
: receive extra 20% off automatically when you buy 4 or more accessories. For
: example: Touchstone Charging Dock for $31.99.
: Walmart has HP TouchPad Travel AC Wall Adapter/Charger for $11 with in-store
: pickup.
: http://www.bestbuy.com/site/searchpage.jsp?_dyncharset=ISO-8859

g*t2019-03-01 08:03

5 楼

AGI是王培他们那个圈子自己的名字吧。美国政府报告用的是general AI?
王培本来是java写了一个库，后来也写了一点clojure。

【在 h*i 的大作中提到】

: 引用的时候别忘了给hci credit. 嗯

n*72019-03-01 08:03

6 楼

32刀charger 不便宜。本子才一百。

h*i2019-03-01 08:03

7 楼

王培的东西我研究过，他的书和代码我都研究过。研究王培的东西让我得出这个结论：
AGI其实就是图遍历，最后还是要靠暴力搜索。各种技术无非是减小搜索空间的手段，
但非暴力搜索不可。
图的搜索和遍历可以被转换为矩阵相乘来做，所以能用硬件加速，所以我认为AGI是
可能实现的。

【在 g****t 的大作中提到】

: AGI是王培他们那个圈子自己的名字吧。美国政府报告用的是general AI?
: 王培本来是java写了一个库，后来也写了一点clojure。

a*82019-03-01 08:03

8 楼

无线的.

【在 n******7 的大作中提到】

: 32刀charger 不便宜。本子才一百。

g*t2019-03-01 08:03

9 楼

AGI我认为是narrow AI的一种方法。
narrow AI vs general AI 之分是另外一回事。

【在 h*i 的大作中提到】

: 王培的东西我研究过，他的书和代码我都研究过。研究王培的东西让我得出这个结论：
: AGI其实就是图遍历，最后还是要靠暴力搜索。各种技术无非是减小搜索空间的手段，
: 但非暴力搜索不可。
: 图的搜索和遍历可以被转换为矩阵相乘来做，所以能用硬件加速，所以我认为AGI是
: 可能实现的。

k*a2019-03-01 08:03

10 楼

20% is dead now. after 3 ordres.

For
store

【在 a********8 的大作中提到】

h*i2019-03-01 08:03

11 楼

我对这玩意叫什么没兴趣，我就叫这个训龙。
关键是要把东西做出来。

【在 g****t 的大作中提到】

: AGI我认为是narrow AI的一种方法。
: narrow AI vs general AI 之分是另外一回事。

S*r2019-03-01 08:03

12 楼

你定的太多了。我刚才订了一个，没问题。

【在 k*******a 的大作中提到】

: 20% is dead now. after 3 ordres.
:
: For
: store

g*t2019-03-01 08:03

13 楼

用错名字会被误解为他们那个圈子的。他们有一些组织活动,money,award什么的。
这玩意我也是花了时间才搞清楚。等于是一个坑。
不然你写proposal搞专利也不方便。说不定都有人注册了也未可知。

【在 h*i 的大作中提到】

: 我对这玩意叫什么没兴趣，我就叫这个训龙。
: 关键是要把东西做出来。

k*a2019-03-01 08:03

14 楼

one account can only use one 20%, one 15%,
limit 2 orders per account.
change a new account get through.

【在 S***r 的大作中提到】

: 你定的太多了。我刚才订了一个，没问题。

h*i2019-03-01 08:03

15 楼

写proposal搞专利不能这么写，得写具体的问题。
AGI搞出来是不会申请专利的。
直接造机器人组织军队了。嗯。哈哈。

【在 g****t 的大作中提到】

: 用错名字会被误解为他们那个圈子的。他们有一些组织活动,money,award什么的。
: 这玩意我也是花了时间才搞清楚。等于是一个坑。
: 不然你写proposal搞专利也不方便。说不定都有人注册了也未可知。

N*w2019-03-01 08:03

16 楼

不能帮 BB 清仓
让他们送 biglots, overstock, woot 去，俺们再买

【在 S***r 的大作中提到】

: 你定的太多了。我刚才订了一个，没问题。

d*r2019-03-01 08:03

17 楼

大牛能简要说说为啥一定要用 Lisp?
当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

【在 h*i 的大作中提到】

: 引用的时候别忘了给hci credit. 嗯

h*i2019-03-01 08:03

18 楼

Code generation on the fly. In other words, a programmable
programming language.
To understand, Enlightenment is required. Sorry, can’t help there.
Why AI requires this? Do some introspection, ain’t you generating
code in your head everyday?

: 大牛能简要说说为啥一定要用 Lisp?

: 当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

【在 d*******r 的大作中提到】

: 大牛能简要说说为啥一定要用 Lisp?
: 当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

h*i2019-03-01 08:03

19 楼

另一个答案如下。
我问，“Alexa Skills" work不work？代表主流AI学界认识的同学回答："Yes, it
does. In a very limited and fragile fashion, lacking the flexibility of
human intelligence."
看到没有，其实AI目前是有work的方案的，但还不够flexible。
那可不可以更flexible？最简单的办法，就是用更flexible的工具。人类已知的最
flexible的计算机工具，就是Lisp，所以得用Lisp。
Lisp能不能解决问题，不知道，但不用Lisp，那肯定是没有try hard enough, you
have left money (flexibility) on the table.
上述推理，应该是没有问题的吧？

【在 d*******r 的大作中提到】

: 大牛能简要说说为啥一定要用 Lisp?
: 当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

h*i2019-03-01 08:03

20 楼

说说之前那波AI吧：
* 符号是对的。
* 逻辑推理是不对的。
* 另外知觉没有搞定。
所以搞砸了。
现在：
* DL让知觉还算可用了。
* 认识到了逻辑的局限性。
* 更好的硬件。
所以是时候重新捡起来了。
这就是我在做的事情。
其实大家有意无意都在做。
但这样公开明确提出的人不多，公开点赞的也不多。

【在 d*******r 的大作中提到】

: 大牛能简要说说为啥一定要用 Lisp?
: 当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

d*r2019-03-01 08:03

21 楼

大概理解你的意思了, 你上几个回帖看完受益匪浅，看来还是要多回编程版来逛逛！

【在 h*i 的大作中提到】

: 说说之前那波AI吧：
: * 符号是对的。
: * 逻辑推理是不对的。
: * 另外知觉没有搞定。
: 所以搞砸了。
: 现在：
: * DL让知觉还算可用了。
: * 认识到了逻辑的局限性。
: * 更好的硬件。
: 所以是时候重新捡起来了。

g*t2019-03-01 08:03

22 楼

处理符号计算，lisp风格的系统确实是必须。但是
clojure距离mathematica, maple,差距还是太大了。无
法使用。我博士论文是symbolic computation处理非线性力学方程。
符号计算还有开发优势。maple写个谱方法求解泊松方程的程序，五行就可以。cpp要几
百行。

: 说说之前那波AI吧：

: * 符号是对的。

: * 逻辑推理是不对的。

: * 另外知觉没有搞定。

: 所以搞砸了。

: 现在：

: * DL让知觉还算可用了。

: * 认识到了逻辑的局限性。

: * 更好的硬件。

: 所以是时候重新捡起来了。

【在 h*i 的大作中提到】

g*t2019-03-01 08:03

23 楼

Mathematica做AI的人很多。但后来他家彻底流氓了。

: 另一个答案如下。

: 我问，“Alexa Skills" work不work？代表主流AI学界认识的同学回答："Yes,
it

: does. In a very limited and fragile fashion, lacking the flexibility
of

: human intelligence."

: 看到没有，其实AI目前是有work的方案的，但还不够flexible。

: 那可不可以更flexible？最简单的办法，就是用更flexible的工具。人类已知的最

: flexible的计算机工具，就是Lisp，所以得用Lisp。

: Lisp能不能解决问题，不知道，但不用Lisp，那肯定是没有try hard enough,
you

: have left money (flexibility) on the table.

: 上述推理，应该是没有问题的吧？

【在 h*i 的大作中提到】

d*r2019-03-01 08:03

24 楼

"彻底流氓" 是啥意思? A New Kind of_Science 这类东西么?
https://en.wikipedia.org/wiki/A_New_Kind_of_Science
我觉得 Lisp 能做到代码就是数据, 基本直接跳过语法分析, 直接写语意树，
也算是一种设计上的极致体现了，Mathematica, Maple 在底层设计上达到了这种极致
么?

,
的最

【在 g****t 的大作中提到】

: Mathematica做AI的人很多。但后来他家彻底流氓了。
:
:
: 另一个答案如下。
:
: 我问，“Alexa Skills" work不work？代表主流AI学界认识的同学回答："Yes,
: it
:
: does. In a very limited and fragile fashion, lacking the flexibility
: of
:
: human intelligence."
:
: 看到没有，其实AI目前是有work的方案的，但还不够flexible。
:
: 那可不可以更flexible？最简单的办法，就是用更flexible的工具。人类已知的最

g*t2019-03-01 08:03

25 楼

Wolfram说，凡是他那个网站alpha wolfram产生的结果他都有法律权力。你用他的网站
输入进去x’=x求解。这个解，就是指数函数，他有权力。
这意思是说，不但代码，代码产生的结果也要lisense 了。这个门一开，那比Bill
Gates还流氓啊。后来Richard stellman 都出来发言了。
你想想，假如产生了这种lisense. 例如用在pandas上，pandas整理出来的数据，
pandas作者
都有权利。这是什么后果。这就是魔鬼之门啊。有大利润在里面。
我多年前在本版讲过这件事。反正不会再对这个公司这个人的产品有任何信任了。绝对
不碰。不然说不定就出什么问题了。
Mathematica本身就是lisp的最强大变种。我認為沒有之一。
你说的东西都是小菜。

: "彻底流氓" 是啥意思? A New Kind of_Science 这类东西么?

: https://en.wikipedia.org/wiki/A_New_Kind_of_Science

: 我觉得 Lisp 能做到代码就是数据, 基本直接跳过语法分析, 直接写语意
树，

: 也算是一种设计上的极致体现了，Mathematica, Maple 在底层设计上达
到了这
种极致

: 么?

: ,

: 的最

【在 d*******r 的大作中提到】

: "彻底流氓" 是啥意思? A New Kind of_Science 这类东西么?
: https://en.wikipedia.org/wiki/A_New_Kind_of_Science
: 我觉得 Lisp 能做到代码就是数据, 基本直接跳过语法分析, 直接写语意树，
: 也算是一种设计上的极致体现了，Mathematica, Maple 在底层设计上达到了这种极致
: 么?
:
: ,
: 的最

n*p2019-03-01 08:03

26 楼

There is no language's macro system can match lisp's, period.
https://www.reddit.com/r/Clojure/comments/960bhv/macros_and_dsls_in_clojure_
and_rust/

【在 d*******r 的大作中提到】

: 大牛能简要说说为啥一定要用 Lisp?
: 当然, 之前那波 AI (符号推理) 确实是用 Lisp 在搞.

h*i2019-03-01 08:03

27 楼

这个其实没啥可以争论的，不信邪的人总有。
所以叫Enlightment嘛，中文应该叫“开悟”吧。开悟这个事情只能靠自己，别人说
啥其实也没用。当然人的悟性也不一样。
就这么简单一个事。

clojure_

【在 n***p 的大作中提到】

: There is no language's macro system can match lisp's, period.
: https://www.reddit.com/r/Clojure/comments/960bhv/macros_and_dsls_in_clojure_
: and_rust/