最早的AI就是搞数学证明，导致AI的冬天，商业意义不大。现在的AI主要是以machine learning 的数据科学，商业前景

来源: QualityWithoutName 于 2017-06-07 19:14:43 [] [博客] [旧帖] [给我悄悄话] 本文已被阅读： 次 (0 bytes)
回答: AI要是能证明数学题了那就真厉害了 由 cutedolphin 于 2017-06-07 18:32:10

所有跟帖： 

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

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

请您先登陆，再发跟帖！

发现Adblock插件

如要继续浏览
请支持本站 请务必在本站关闭Adblock

关闭Adblock后 请点击

请参考如何关闭Adblock

安装Adblock plus用户请点击浏览器图标
选择“Disable on www.wenxuecity.com”

安装Adblock用户请点击图标
选择“don't run on pages on this domain”