AI要是能证明数学题了那就真厉害了

自己不断学习，证明/否定新的猜想，无穷尽也... 可能吗？

所有跟帖： 

• AI要是能代替作家也挺好的！！！ LOL -linda2- ♀ (0 bytes) () 06/07/2017 postreply 18:44:57

• 微软小冰能写诗。也会作画。 -熙来熙往- ♂ (0 bytes) () 06/07/2017 postreply 18:51:11

• 最早的AI就是搞数学证明，导致AI的冬天，商业意义不大。现在的AI主要是以machine learning 的数据科学，商业前景 -QualityWithoutName- ♂ (0 bytes) () 06/07/2017 postreply 19:14:43

• 我觉得能搞出数学证明的话，AI就真的对人构成威胁了 -cutedolphin- ♂ (0 bytes) () 06/07/2017 postreply 19:20:47

• 数学证明比较纯粹，对计算机是一个搜索问题。计算机语意学比较难，计算机还不如幼儿园的小朋友。 -QualityWithoutName- ♂ (0 bytes) () 06/07/2017 postreply 19:26:57