学过初中数学的人都知道，定理证明看起来是件非常需要动脑子的事。一般来说，绝大部分人都会觉得自己面对定理证明都会智商不够。那么，机器如何实现定理证明？


需要下载该视频，扫码关注公众号后台回复“视频下载”即可