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

来源: cutedolphin 于 2017-06-07 18:32:10 [] [旧帖] [给我悄悄话] 本文已被阅读： 次 (88 bytes)

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

所有跟帖： 

• AI要是能代替作家也挺好的！！！ LOL -linda2- ♀ 给 linda2 发送悄悄话 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- ♂ 给 QualityWithoutName 发送悄悄话 QualityWithoutName 的博客首页 (0 bytes) () 06/07/2017 postreply 19:14:43

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

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

请您先登陆，再发跟帖！