数学机械化属于机器学习吗?

关注者
2
被浏览
1,409
登录后你可以
不限量看优质回答私信答主深度交流精彩内容一键收藏

数学机械化,我的理解,在于用计算机算法解决数学求解及证明问题,和“学习”没有关系。但是从广义上说,强化学习又含有自动寻解的意义,所以从广义上说,还是和机器学习有关系。可以关注“归纳程序综合”学术问题,和这个相关。