《中国人工智能简史》：数学家翻开了中国人工智能研究的第一页(人工智能定理证明数学吉林大学)

纪录片《地平线系列：寻找人工智能》（2012）剧照。人工智能最早的学派是符号主义学派，最早一批人工智能科学家多半是数学家和逻辑学家...