b****u
发帖数: 1130 | 1 公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。 |
n******g
发帖数: 2201 | 2 银行保险类吧 不懂装懂的人多
[在 bobohu (bobohu) 的大作中提到：]
:公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
:下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。 |
b****u
发帖数: 1130 | 3 的确是在基金公司里。想当年，AI都要自己实现，没有现成的。
妈的吃屎都没赶上热的。
【在 n******g 的大作中提到】
: 银行保险类吧 不懂装懂的人多
: [在 bobohu (bobohu) 的大作中提到：]
: :公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: :下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。
|
s*****l
发帖数: 7106 | |
w***g
发帖数: 5958 | 5 R已经很好了开什么玩笑。我在一个data mining群，还有发excel教程的...
【在 b****u 的大作中提到】
: 公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: 下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。
|
m******r
发帖数: 1033 | 6 如果有一个软件， 或者平台， 让你免费用一些数学系,生物系，心里系或者计算机系
教授，博士，或者研究人员写的算法。 楼主怎么看？
我看R干的就是这个事情。 |
w***g
发帖数: 5958 | 7 如果放在以前这当然好啦。
但是这波AI是要把数学系，生物系，心理系的教授，博士外加医生律师搞失业啊。
要什么算法啊，都是普世算法+暴力拟合。走的是暴力计算代替聪明脑子的路子。
就只剩下CS码工啦。不然资本家怎么会高兴得这么上窜下跳给人发天价包裹。
现在群上一堆统计背景的同学上串下跳，我其实看得挺悲哀。他们以为自己运气
来了...所以加入我司，第一件事情就是把R的功夫废了。不然没法传功。
当然现在统计作为前几年大数据热潮的延续还能再干几年。但要注意大数据和AI
的区别。
【在 m******r 的大作中提到】
: 如果有一个软件， 或者平台， 让你免费用一些数学系,生物系，心里系或者计算机系
: 教授，博士，或者研究人员写的算法。 楼主怎么看？
: 我看R干的就是这个事情。
|
a*****g
发帖数: 19398 | 8 能做这个就不错了
【在 b****u 的大作中提到】
: 公司一帮人天天把AI挂在嘴边，也就是下几个R library然后把数据放进去稍微整理一
: 下跑一下程序。每天都把AI挂嘴边。我现在都受不了这帮人了。
|
h**c
发帖数: 1979 | 9 做伪化生的千老连微积分都不会不照样搞科研发nature |
s*****V
发帖数: 21731 | 10 没那么乐观，说老实话如果数学家失业了，人类就基本就没用了。能解决一些基本问题
就不错了
【在 w***g 的大作中提到】
: 如果放在以前这当然好啦。
: 但是这波AI是要把数学系，生物系，心理系的教授，博士外加医生律师搞失业啊。
: 要什么算法啊，都是普世算法+暴力拟合。走的是暴力计算代替聪明脑子的路子。
: 就只剩下CS码工啦。不然资本家怎么会高兴得这么上窜下跳给人发天价包裹。
: 现在群上一堆统计背景的同学上串下跳，我其实看得挺悲哀。他们以为自己运气
: 来了...所以加入我司，第一件事情就是把R的功夫废了。不然没法传功。
: 当然现在统计作为前几年大数据热潮的延续还能再干几年。但要注意大数据和AI
: 的区别。
|
|
|
m*****n
发帖数: 3575 | 11 暴力计算这个概念不是一天两天了
但是计算机的效率一直是瓶颈
到现在量产最快的cpu也就3GHz
好不容易有个GPU，也是有瓶颈的
都说AlphaGo暴力
但是大家都忽视它把传统算法效率提高千倍了
也就是说实际还是算法进化了
【在 w***g 的大作中提到】
: 如果放在以前这当然好啦。
: 但是这波AI是要把数学系，生物系，心理系的教授，博士外加医生律师搞失业啊。
: 要什么算法啊，都是普世算法+暴力拟合。走的是暴力计算代替聪明脑子的路子。
: 就只剩下CS码工啦。不然资本家怎么会高兴得这么上窜下跳给人发天价包裹。
: 现在群上一堆统计背景的同学上串下跳，我其实看得挺悲哀。他们以为自己运气
: 来了...所以加入我司，第一件事情就是把R的功夫废了。不然没法传功。
: 当然现在统计作为前几年大数据热潮的延续还能再干几年。但要注意大数据和AI
: 的区别。
|
g****t
发帖数: 31659 | 12 数学有两种。一种是发明乘法怎么算的。一种是算的快的。
其实后者被歧视是没什么道理的。 |
x****u
发帖数: 44466 | 13 万一机器证明的比人快，简单，漂亮咋办？
【在 s*****V 的大作中提到】
: 没那么乐观，说老实话如果数学家失业了，人类就基本就没用了。能解决一些基本问题
: 就不错了
|
g****t
发帖数: 31659 | 14 现在数字电路设计和验证很多tool大量用的就是过去的机器证明技术。也没怎么着。淘
汰了一批不会用的人。比人不知道快多少倍。
数学家就去研究这些tool解决不了的问题呗。例如黎曼猜想。
: 万一机器证明的比人快，简单，漂亮咋办？
【在 x****u 的大作中提到】
: 万一机器证明的比人快，简单，漂亮咋办？
|
x****u
发帖数: 44466 | 15 过去以为围棋策略只能人肉做，结果被ResNet上了节课啊
【在 g****t 的大作中提到】
: 现在数字电路设计和验证很多tool大量用的就是过去的机器证明技术。也没怎么着。淘
: 汰了一批不会用的人。比人不知道快多少倍。
: 数学家就去研究这些tool解决不了的问题呗。例如黎曼猜想。
:
:
: 万一机器证明的比人快，简单，漂亮咋办？
:
|
d********m
发帖数: 3662 | 16 这个群好玩
【在 w***g 的大作中提到】
: R已经很好了开什么玩笑。我在一个data mining群，还有发excel教程的...
|
g*******u
发帖数: 3948 | 17 就因为数学不好才搞 这波ai
这波ai其实就是马工的活， 使劲调参数就行了 |
w*****r
发帖数: 197 | 18 还是alpha go的套路：
如果把所有已知的几何定理输入数据库，它们的因果性用graph来建模。再把所以已知
的定理证明当作训练样本，用ML的方法针对特定命题和求证结论定义节点间的link
strength，在适当pruning之后，再在这个被缩小的收索空间，用symbolic reasoning
加暴力搜索找寻命题和结论的因果性。
数学家的job是不是也没了？
【在 x****u 的大作中提到】
: 过去以为围棋策略只能人肉做，结果被ResNet上了节课啊
|
w***g
发帖数: 5958 | 19 数学定理自动证明，缺少的是一个棋盘。
没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
有无穷种添法，就没法玩了。
reasoning
【在 w*****r 的大作中提到】
: 还是alpha go的套路：
: 如果把所有已知的几何定理输入数据库，它们的因果性用graph来建模。再把所以已知
: 的定理证明当作训练样本，用ML的方法针对特定命题和求证结论定义节点间的link
: strength，在适当pruning之后，再在这个被缩小的收索空间，用symbolic reasoning
: 加暴力搜索找寻命题和结论的因果性。
: 数学家的job是不是也没了？
|
i*****9
发帖数: 3157 | 20 码工不调参数，码工一是先办法找（造）新 feature 往模型里塞，二是琢磨怎么暴力
穷举参数组合来自动调参数。
其实调参数作为一个已经可以被很好定义的优化问题，很适合扔给AI做，不是吗？
：就因为数学不好才搞 这波ai
：这波ai其实就是马工的活， 使劲调参数就行了 |
|
|
i*****9
发帖数: 3157 | 21 辅助线这个问题规模还真不算大。能用的尺规作图的辅助线的种类就那么多，每一步的
决策空间其实是有限的。
反倒是要描述题目本身比较困难，因为没有棋盘。
：数学定理自动证明，缺少的是一个棋盘。
：没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线 |
g****t
发帖数: 31659 | 22 数学证明就是一个句子，结尾是A=1
A是要证明的命题。中间的步骤是逻辑规则和公理的套用。
Rename,apply等等。
本质的麻烦是数学定理有自己的内部表示。
可以用素数的指数来一一对应的表示数学定理。
这就是Godel coding。
停机问题的困难是类似的。
从实用的角度来看。把真值表或者
整数多维数组弄弄好，是很有意义的软件项目。
: 数学定理自动证明，缺少的是一个棋盘。
: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
: 有无穷种添法，就没法玩了。
: reasoning
【在 w***g 的大作中提到】
: 数学定理自动证明，缺少的是一个棋盘。
: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
: 有无穷种添法，就没法玩了。
:
: reasoning
|
x****u
发帖数: 44466 | 23 很有可能啊
reasoning
【在 w*****r 的大作中提到】
: 还是alpha go的套路：
: 如果把所有已知的几何定理输入数据库，它们的因果性用graph来建模。再把所以已知
: 的定理证明当作训练样本，用ML的方法针对特定命题和求证结论定义节点间的link
: strength，在适当pruning之后，再在这个被缩小的收索空间，用symbolic reasoning
: 加暴力搜索找寻命题和结论的因果性。
: 数学家的job是不是也没了？
|
x****u
发帖数: 44466 | 24 围棋基本也是无限种走法啊，学一个最优策略
【在 w***g 的大作中提到】
: 数学定理自动证明，缺少的是一个棋盘。
: 没有棋盘，问题就是开放性的，下一步有无穷种可能，比如辅助线
: 有无穷种添法，就没法玩了。
:
: reasoning
|
