提出几何定理的自动证明方法的著名人工智能专家是（）。

强人工智能与弱人工智能就等于专业人工智能与通用人工智能（） 首次提出“人工智能”概念是在()年。   人工智能的发展愿景中提出人工智能将成为()的新焦点。 人工智能产品为我们带来很多的方便，全自动洗衣机属于人工智能产品。() 人工智能的外延分为弱人工智能、强人工智能和（） 人工智能的出现和发展证明了（） ()?是人工智能最主流的方法 人工智能判断癌症的方法是( )。 人工智能判断癌症的方法是（）。 能够推进人工智能智能的研究最好方法是 能够推进人工智能智能的研究最好方法是( ) 人工智能的概念在（）年提出。 首次提出人工智能实在（）年 首次提出人工智能是在1956年（） 首次提出人工智能是在1956年（） 现在的人工智能系统都是专用人工智能而非通用人工智能 现在的人工智能系统都是专用人工智能而非通用人工智能（） 提到人工智能发展历程，在它的起源阶段，有三位名人和一个关键地点，第一位名人和关键地点，第一位名人就是大名鼎鼎的人工智能之父图灵，她对人工智能的贡献主要体现在两篇论文，一篇对可计算性下了一个严格的定义，并提出著名的图灵机设想，从数理上为人工智能用上机械大脑开设了理论先河，另外一篇提出了一种判定机器是否具有智能的试验方法，即著名的图灵测试；如果一台机器能够与人类展开对话而不能被辨认出其机器身份，那么这 传统人工智能领域将人工智能划分为强人工智能与弱人工智能两大类。所谓强人工智能指的就是达到人类智能水平的技术或机器，否则都属于弱人工智能技术。（ ） 弱人工智能是指在（）比较牛的人工智能程序。