g****t 发帖数: 31659 | 1 Turing Award 50多年,5次给了AI。最新一次是贝叶斯网.
语言更多. 其他的都是relative small 分支。
(ALGOL, Fortran,ML,SmallTalk,pascal,C...) |
x****u 发帖数: 44466 | 2 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
【在 g****t 的大作中提到】 : Turing Award 50多年,5次给了AI。最新一次是贝叶斯网. : 语言更多. 其他的都是relative small 分支。 : (ALGOL, Fortran,ML,SmallTalk,pascal,C...)
|
g****t 发帖数: 31659 | 3 我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常
用所以不叫ai
: 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
【在 x****u 的大作中提到】 : 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊
|
x****u 发帖数: 44466 | 4 问题不在于能否,而在于速度
图灵奖的那些手段,需要指数时间才能搞定日常问题
【在 g****t 的大作中提到】 : 我之前解释过了。定理机器证明其实是数字电路验证的常用工具的一部分了。因为太常 : 用所以不叫ai : : : 图灵奖的5个AI加起来也不如深度学习一条腿值钱啊 :
|
g****t 发帖数: 31659 | 5 人家是开创者。约束的处理是engineer的活。
: 问题不在于能否,而在于速度
: 图灵奖的那些手段,需要指数时间才能搞定日常问题
【在 x****u 的大作中提到】 : 问题不在于能否,而在于速度 : 图灵奖的那些手段,需要指数时间才能搞定日常问题
|