约瑟夫·希发基思提出模型检测理论，获2007年图灵奖。他认为模型检测暂无法应用于人工智能系统，因无法提取其数学模型。他强调中国有条件发展人工智能，需制定全面技术愿景，鼓励科研与产业合作。...