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