数学机械化属于机器学习吗?
关注者
2被浏览
1,409登录后你可以
不限量看优质回答私信答主深度交流精彩内容一键收藏
数学机械化,我的理解,在于用计算机算法解决数学求解及证明问题,和“学习”没有关系。但是从广义上说,强化学习又含有自动寻解的意义,所以从广义上说,还是和机器学习有关系。可以关注“归纳程序综合”学术问题,和这个相关。
数学机械化,我的理解,在于用计算机算法解决数学求解及证明问题,和“学习”没有关系。但是从广义上说,强化学习又含有自动寻解的意义,所以从广义上说,还是和机器学习有关系。可以关注“归纳程序综合”学术问题,和这个相关。