w**********g
发帖数: 5486 | 1 AI可以自动推理出100条定理吗？比如毕氏定理
不要求推出这个公理系统下的全部定理，就100条
之前碰到一个码农，说ai可以推出欧几里得、牛顿、爱因斯坦的成果，把我给雷惨了 |
s***c
发帖数: 1926 | 2 那个AI不是现在火的这个AI
【在 w**********g 的大作中提到】
: AI可以自动推理出100条定理吗？比如毕氏定理
: 不要求推出这个公理系统下的全部定理，就100条
: 之前碰到一个码农，说ai可以推出欧几里得、牛顿、爱因斯坦的成果，把我给雷惨了
|
d********m
发帖数: 3662 | 3 据说现在的AI本质还是functional fitting，大牛来科普下。 |
n****4
发帖数: 12553 | 4 怎么可能，首先爱因斯坦的相对论就不是欧氏几何，如果你说给了机器人里曼几何还有
可能
【在 w**********g 的大作中提到】
: AI可以自动推理出100条定理吗？比如毕氏定理
: 不要求推出这个公理系统下的全部定理，就100条
: 之前碰到一个码农，说ai可以推出欧几里得、牛顿、爱因斯坦的成果，把我给雷惨了
|
d********m
发帖数: 3662 | 5 那比如我给机器概率论里的两个还是三个集合论里的公理，能推出整个概率论体系吗？
【在 n****4 的大作中提到】
: 怎么可能，首先爱因斯坦的相对论就不是欧氏几何，如果你说给了机器人里曼几何还有
: 可能
|
n****4
发帖数: 12553 | 6 不知道。如果机器人的大脑确实和人类接近，那么未来做数学确有可能。但是物理不大
可能。物理不是单纯的演算，比数学难多了
【在 d********m 的大作中提到】
: 那比如我给机器概率论里的两个还是三个集合论里的公理，能推出整个概率论体系吗？
|
w**********g
发帖数: 5486 | 7 那我主楼里说的呢？能不能推100条欧几里得的定理
: 不知道。如果机器人的大脑确实和人类接近，那么未来做数学确有可能。但是物
理不大
: 可能。物理不是单纯的演算，比数学难多了
【在 n****4 的大作中提到】
: 不知道。如果机器人的大脑确实和人类接近，那么未来做数学确有可能。但是物理不大
: 可能。物理不是单纯的演算，比数学难多了
|
w**********g
发帖数: 5486 | 8 欧氏几何我只是打个比方，代表一种方法，牛顿爱因斯坦也是用欧氏方法做出来的
给定概念和公理，AI能否推出几十条定理出来
: 怎么可能，首先爱因斯坦的相对论就不是欧氏几何，如果你说给了机器人里曼几
何还有
: 可能
【在 n****4 的大作中提到】
: 不知道。如果机器人的大脑确实和人类接近，那么未来做数学确有可能。但是物理不大
: 可能。物理不是单纯的演算，比数学难多了
|
n****4
发帖数: 12553 | 9 个人认为不是不大可能。这个超出了AI的学习能力。AI是用经验库来认识世界的，它的
目标也很简单，就是概率。AI还是一种计算，不是人脑。
【在 w**********g 的大作中提到】
: 那我主楼里说的呢？能不能推100条欧几里得的定理
:
:
: 不知道。如果机器人的大脑确实和人类接近，那么未来做数学确有可能。但是物
: 理不大
:
: 可能。物理不是单纯的演算，比数学难多了
:
|
X******2
发帖数: 5859 | 10 这是机器学习的路子。
【在 d********m 的大作中提到】
: 据说现在的AI本质还是functional fitting，大牛来科普下。
|
|
|
d********m
发帖数: 3662 | 11 唉，我是被这几个概念搞晕了。
【在 X******2 的大作中提到】
: 这是机器学习的路子。
|
X******2
发帖数: 5859 | 12 ai里面不少路子，像以前的专家系统，推理系，仿生系，
当然还有机器学习系。机器学习是噪音下的函数估计，
估计好坏的评价或者是跟经验（数据）符合很好，或是将
来预测很准，其理论基础是概率统计，
【在 d********m 的大作中提到】
: 唉，我是被这几个概念搞晕了。
|
w**********g
发帖数: 5486 | 13 是不是N元方程，根据历史数据做回归，估计出一组最优的系数？
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
: 当然还有机器学习系。机器学习是噪音下的函数估计，
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
: 来预测很准，其理论基础是概率统计，
【在 X******2 的大作中提到】
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
: 当然还有机器学习系。机器学习是噪音下的函数估计，
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
: 来预测很准，其理论基础是概率统计，
|
x****6
发帖数: 4339 | 14 自然语言是这么处理的，应用是 谷歌翻译和语音识别
【在 w**********g 的大作中提到】
: 是不是N元方程，根据历史数据做回归，估计出一组最优的系数？
:
:
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
:
: 当然还有机器学习系。机器学习是噪音下的函数估计，
:
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
:
: 来预测很准，其理论基础是概率统计，
:
|
d********m
发帖数: 3662 | 15 这个东西得看数据量和系数数量。前者多的话简单的很，后者多的话就是高难度了。话
说回来，搞这个东西好像又是以斯坦佛为据点的一群人。
【在 w**********g 的大作中提到】
: 是不是N元方程，根据历史数据做回归，估计出一组最优的系数？
:
:
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
:
: 当然还有机器学习系。机器学习是噪音下的函数估计，
:
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
:
: 来预测很准，其理论基础是概率统计，
:
|
d********m
发帖数: 3662 | 16 受教了
【在 X******2 的大作中提到】
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
: 当然还有机器学习系。机器学习是噪音下的函数估计，
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
: 来预测很准，其理论基础是概率统计，
|
X******2
发帖数: 5859 | 17 这是内在规律比较简单的情形。
【在 w**********g 的大作中提到】
: 是不是N元方程，根据历史数据做回归，估计出一组最优的系数？
:
:
: ai里面不少路子，像以前的专家系统，推理系，仿生系，
:
: 当然还有机器学习系。机器学习是噪音下的函数估计，
:
: 估计好坏的评价或者是跟经验（数据）符合很好，或是将
:
: 来预测很准，其理论基础是概率统计，
:
|
c****3
发帖数: 10787 | |
