我觉得能搞出数学证明的话，AI就真的对人构成威胁了
回答: 最早的AI就是搞数学证明，导致AI的冬天，商业意义不大。现在的AI主要是以machine learning 的数据科学，商业前景
由 QualityWithoutName
于 2017-06-07 19:14:43
所有跟帖：
•
数学证明比较纯粹，对计算机是一个搜索问题。计算机语意学比较难，计算机还不如幼儿园的小朋友。
-QualityWithoutName-
♂
(0 bytes)
()
06/07/2017 postreply
19:26:57
WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.
Copyright ©1998-2025 wenxuecity.com All rights reserved. Privacy Statement & Terms of Use & User Privacy Protection Policy
