达特茅斯会议被认为是全球人工智能研究的起点，在之后的十几年中，数学证明系统语言学习人机对话系统等技术的开发应用掀起了第一波AI热潮，然而由于当时计算机运算能力程序设计及算...