数学不好编程不行张口闭口AI咋搞 - 未名空间MITBBS历史存档

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

Redian新闻

>未名空间

>Programming - 葵花宝典

数学不好编程不行张口闭口AI咋搞

数学不好编程不行张口闭口AI咋搞# Programming - 葵花宝典

H*y2017-12-14 08:12

1 楼

☆─────────────────────────────────────☆
koalakoala (koala | 我的，我的，全是我的) 于 (Sun Jun 5 18:58:56 2011, 美东) 提到:
我初恋男友。。。
简直是soulmate，可惜当时太年轻不懂的。。。
☆─────────────────────────────────────☆
koalakoala (koala | 我的，我的，全是我的) 于 (Sun Jun 5 18:59:45 2011, 美东) 提到:
我觉得这个星盘，很plain。。。
想法很多，但是不善于表达，但是说出来的都很犀利。
是那种活得比较沉重的人（没有空相位）。
财一般，事业一般，聪明也一般。但是还算努力上进。
这是我能够看出来的。
大师们有啥说法？
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:01:39 2011, 美东) 提到:
本来想插下嘴的，但是一看考拉姐在呼唤大师
只能悻悻走开了。。。。:(

☆─────────────────────────────────────☆
koalakoala (koala | 我的，我的，全是我的) 于 (Sun Jun 5 19:02:25 2011, 美东) 提到:
跟我比，谁都是大师的啊！
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:02:52 2011, 美东) 提到:
别谦虚了~
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:03:54 2011, 美东) 提到:
偶不素大师，但是感觉此盘主似乎心地善良，女人缘不错，对女生也应该很好
MS婚姻会很不错
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:04:34 2011, 美东) 提到:
不是谦虚，我只能凭感觉，完全没啥理论
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:06:26 2011, 美东) 提到:
我的盘，你看了？
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:11:13 2011, 美东) 提到:
没啊，你贴过。。
真得不是大师，我的任何言论都要等小8或者和尚来confirm才是
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:12:32 2011, 美东) 提到:
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:15:02 2011, 美东) 提到:
mm行事比较火爆，但是持久力不够？
还有内心总是有点纠结？
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:15:47 2011, 美东) 提到:
唔，唔。
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:17:43 2011, 美东) 提到:
还有咩？
☆─────────────────────────────────────☆
koalakoala (koala | 我的，我的，全是我的) 于 (Sun Jun 5 19:17:57 2011, 美东) 提到:
人超好，非常好。
分手是我提出来的。然后没多久，他就结婚了。他比我大很多，很想安定下来了。现在
对老婆简直是超级好。
我们现在还会经常聊聊，但是应该永远不会再见面了。
唏嘘下，谁的手里没有握过一把苍凉。。。
☆─────────────────────────────────────☆
silviamm (小东邪) 于 (Sun Jun 5 19:20:06 2011, 美东) 提到:
哇。。。可怜的最后一句！
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:20:38 2011, 美东) 提到:
我觉得都还不错啊
相位都还不错，木土合相用好了力量也很强大，不过可能要克服火星冲动力量容易被消
耗的毛病
月金六合，整体不错，但月冥型还是稍有纠结，不过问题不大
星星排位也蛮有艺术感，很美很紧密
☆─────────────────────────────────────☆
hymie (知足常乐，热情谦卑) 于 (Sun Jun 5 19:21:27 2011, 美东) 提到:
抓紧大师～
以免今后再次后悔
☆─────────────────────────────────────☆
koalakoala (koala | 我的，我的，全是我的) 于 (Sun Jun 5 19:21:39 2011, 美东) 提到:
是，我能感觉到。
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:21:51 2011, 美东) 提到:
哇，看你说的，我心结算是解开了。
让和尚说的我，有点抑郁，哈哈。
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:24:17 2011, 美东) 提到:
是咩？
不然我能纠结死？
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:27:55 2011, 美东) 提到:
你的确很纠结，需要个不拧巴的人配你。
☆─────────────────────────────────────☆
mariah (hot in herre) 于 (Sun Jun 5 19:32:42 2011, 美东) 提到:
自己百度
☆─────────────────────────────────────☆
Meixing (一生有你) 于 (Wed Jun 8 02:34:07 2011, 美东) 提到:
纯属好奇。这个星盘是如何搞出来的？
多谢。
☆─────────────────────────────────────☆
Hower (人生若只如初见) 于 (Wed Jun 8 13:50:45 2011, 美东) 提到:
梅兴抬头看置顶
http://cn.astrodoor.cc/horoscope.jsp
☆─────────────────────────────────────☆
Rhein (^o^) 于 (Wed Jun 8 15:20:25 2011, 美东) 提到:
如果投缘，和双鱼男很容易soulmate
☆─────────────────────────────────────☆
Meixing (一生有你) 于 (Wed Jun 8 18:43:44 2011, 美东) 提到:
多谢初见兄。
☆─────────────────────────────────────☆
Hower (人生若只如初见) 于 (Wed Jun 8 18:46:10 2011, 美东) 提到:
把你的贴出来，我给你免费菜鸟分析 :)

a*y2017-12-14 08:12

2 楼

原文
三虱食彘，相与讼。
一虱过之，曰：“讼者奚说？”
三虱曰：“争肥饶之地。”
一虱曰：“若亦不患腊之至而茅之躁耳，若又奚患？”
于是乃相与聚嘬其身而食之。彘臞，人乃弗杀。
——《韩非子·说林下》
译文
叮在一头肥猪身上的三只虱子，互相争吵起来。
有一只虱子经过它们身旁，便问：“你们为什么吵啊？”
三只虱子回答说：“我们在争猪身上的肉肥血多的地方。”
那只虱子说：“难道你们也不怕腊祭之日马上要到，就要烧茅草杀猪祭祖，连你们
一起烧死吗？你们又何必在这上面计较呢？”
三只虱子听了醒悟过来，于是赶紧聚在一起，拼命吮吸猪身上的血。猪因此而变瘦
了，到了腊祭时，主人就没有杀这只猪。
这则故事寓意是，不要为了争夺眼前的小利而忘掉维护共同的根本利益。

d*r2017-12-14 08:12

3 楼

谁拿个ipad当照相机啊

b*u2017-12-14 08:12

4 楼

公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。

w*r2017-12-14 08:12

5 楼

不如三个和尚的故事动人.

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

: 原文
: 三虱食彘，相与讼。
: 一虱过之，曰：“讼者奚说？”
: 三虱曰：“争肥饶之地。”
: 一虱曰：“若亦不患腊之至而茅之躁耳，若又奚患？”
: 于是乃相与聚嘬其身而食之。彘臞，人乃弗杀。
: ——《韩非子·说林下》
: 译文
: 叮在一头肥猪身上的三只虱子，互相争吵起来。
: 有一只虱子经过它们身旁，便问：“你们为什么吵啊？”

f*a2017-12-14 08:12

6 楼

只有后面的？对facetime没用？

n*g2017-12-14 08:12

7 楼

银行保险类吧不懂装懂的人多
[在 bobohu (bobohu) 的大作中提到：]
:公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
:下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。

l*l2017-12-14 08:12

8 楼

没见水王来个动人的？

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

: 不如三个和尚的故事动人.

b*u2017-12-14 08:12

9 楼

的确是在基金公司里。想当年，AI都要自己实现，没有现成的。
妈的吃屎都没赶上热的。

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

: 银行保险类吧不懂装懂的人多
: [在 bobohu (bobohu) 的大作中提到：]
: :公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: :下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。

w*r2017-12-14 08:12

10 楼

想得美，　就不给大头写．

【在 l*******l 的大作中提到】

: 没见水王来个动人的？

s*l2017-12-14 08:12

11 楼

都差不多吧
谁也不比谁多知道多少

w*g2017-12-14 08:12

12 楼

R已经很好了开什么玩笑。我在一个data mining群，还有发excel教程的...

【在 b****u 的大作中提到】

: 公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: 下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。

m*r2017-12-14 08:12

13 楼

如果有一个软件，或者平台，让你免费用一些数学系,生物系，心里系或者计算机系
教授，博士，或者研究人员写的算法。楼主怎么看？
我看R干的就是这个事情。

w*g2017-12-14 08:12

14 楼

如果放在以前这当然好啦。
但是这波AI是要把数学系，生物系，心理系的教授，博士外加医生律师搞失业啊。
要什么算法啊，都是普世算法+暴力拟合。走的是暴力计算代替聪明脑子的路子。
就只剩下CS码工啦。不然资本家怎么会高兴得这么上窜下跳给人发天价包裹。
现在群上一堆统计背景的同学上串下跳，我其实看得挺悲哀。他们以为自己运气
来了...所以加入我司，第一件事情就是把R的功夫废了。不然没法传功。
当然现在统计作为前几年大数据热潮的延续还能再干几年。但要注意大数据和AI
的区别。

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

: 如果有一个软件，或者平台，让你免费用一些数学系,生物系，心里系或者计算机系
: 教授，博士，或者研究人员写的算法。楼主怎么看？
: 我看R干的就是这个事情。

a*g2017-12-14 08:12

15 楼

能做这个就不错了

【在 b****u 的大作中提到】

: 公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: 下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。

h*c2017-12-14 08:12

16 楼

做伪化生的千老连微积分都不会不照样搞科研发nature

s*V2017-12-14 08:12

17 楼

没那么乐观，说老实话如果数学家失业了，人类就基本就没用了。能解决一些基本问题
就不错了

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

: 如果放在以前这当然好啦。
: 但是这波AI是要把数学系，生物系，心理系的教授，博士外加医生律师搞失业啊。
: 要什么算法啊，都是普世算法+暴力拟合。走的是暴力计算代替聪明脑子的路子。
: 就只剩下CS码工啦。不然资本家怎么会高兴得这么上窜下跳给人发天价包裹。
: 现在群上一堆统计背景的同学上串下跳，我其实看得挺悲哀。他们以为自己运气
: 来了...所以加入我司，第一件事情就是把R的功夫废了。不然没法传功。
: 当然现在统计作为前几年大数据热潮的延续还能再干几年。但要注意大数据和AI
: 的区别。

m*n2017-12-14 08:12

18 楼

暴力计算这个概念不是一天两天了
但是计算机的效率一直是瓶颈
到现在量产最快的cpu也就3GHz
好不容易有个GPU，也是有瓶颈的
都说AlphaGo暴力
但是大家都忽视它把传统算法效率提高千倍了
也就是说实际还是算法进化了

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

g*t2017-12-14 08:12

19 楼

数学有两种。一种是发明乘法怎么算的。一种是算的快的。
其实后者被歧视是没什么道理的。

x*u2017-12-14 08:12

20 楼

万一机器证明的比人快，简单，漂亮咋办？

【在 s*****V 的大作中提到】

: 没那么乐观，说老实话如果数学家失业了，人类就基本就没用了。能解决一些基本问题
: 就不错了

g*t2017-12-14 08:12

21 楼

现在数字电路设计和验证很多tool大量用的就是过去的机器证明技术。也没怎么着。淘
汰了一批不会用的人。比人不知道快多少倍。
数学家就去研究这些tool解决不了的问题呗。例如黎曼猜想。

: 万一机器证明的比人快，简单，漂亮咋办？

【在 x****u 的大作中提到】

: 万一机器证明的比人快，简单，漂亮咋办？

x*u2017-12-14 08:12

22 楼

过去以为围棋策略只能人肉做，结果被ResNet上了节课啊

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

: 现在数字电路设计和验证很多tool大量用的就是过去的机器证明技术。也没怎么着。淘
: 汰了一批不会用的人。比人不知道快多少倍。
: 数学家就去研究这些tool解决不了的问题呗。例如黎曼猜想。
:
:
: 万一机器证明的比人快，简单，漂亮咋办？
:

d*m2017-12-14 08:12

23 楼

这个群好玩

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

: R已经很好了开什么玩笑。我在一个data mining群，还有发excel教程的...

g*u2017-12-14 08:12

24 楼

就因为数学不好才搞这波ai
这波ai其实就是马工的活，使劲调参数就行了

w*r2017-12-14 08:12

25 楼

还是alpha go的套路：
如果把所有已知的几何定理输入数据库，它们的因果性用graph来建模。再把所以已知
的定理证明当作训练样本，用ML的方法针对特定命题和求证结论定义节点间的link
strength，在适当pruning之后，再在这个被缩小的收索空间，用symbolic reasoning
加暴力搜索找寻命题和结论的因果性。
数学家的job是不是也没了？

【在 x****u 的大作中提到】

: 过去以为围棋策略只能人肉做，结果被ResNet上了节课啊

w*g2017-12-14 08:12

26 楼

数学定理自动证明，缺少的是一个棋盘。
没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
有无穷种添法，就没法玩了。

reasoning

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

: 还是alpha go的套路：
: 如果把所有已知的几何定理输入数据库，它们的因果性用graph来建模。再把所以已知
: 的定理证明当作训练样本，用ML的方法针对特定命题和求证结论定义节点间的link
: strength，在适当pruning之后，再在这个被缩小的收索空间，用symbolic reasoning
: 加暴力搜索找寻命题和结论的因果性。
: 数学家的job是不是也没了？

i*92017-12-14 08:12

27 楼

码工不调参数，码工一是先办法找（造）新 feature 往模型里塞，二是琢磨怎么暴力
穷举参数组合来自动调参数。
其实调参数作为一个已经可以被很好定义的优化问题，很适合扔给AI做，不是吗？

：就因为数学不好才搞这波ai
：这波ai其实就是马工的活，使劲调参数就行了

i*92017-12-14 08:12

28 楼

辅助线这个问题规模还真不算大。能用的尺规作图的辅助线的种类就那么多，每一步的
决策空间其实是有限的。
反倒是要描述题目本身比较困难，因为没有棋盘。

：数学定理自动证明，缺少的是一个棋盘。
：没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线

g*t2017-12-14 08:12

29 楼

数学证明就是一个句子，结尾是A=1
A是要证明的命题。中间的步骤是逻辑规则和公理的套用。
Rename,apply等等。
本质的麻烦是数学定理有自己的内部表示。
可以用素数的指数来一一对应的表示数学定理。
这就是Godel coding。
停机问题的困难是类似的。
从实用的角度来看。把真值表或者
整数多维数组弄弄好，是很有意义的软件项目。

: 数学定理自动证明，缺少的是一个棋盘。

: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线

: 有无穷种添法，就没法玩了。

: reasoning

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

: 数学定理自动证明，缺少的是一个棋盘。
: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
: 有无穷种添法，就没法玩了。
:
: reasoning

x*u2017-12-14 08:12

30 楼

很有可能啊

reasoning

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

x*u2017-12-14 08:12

31 楼

围棋基本也是无限种走法啊，学一个最优策略

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