人工智能是计算科学，在2011年吴文俊的机械数学就有讲，到2012年就有人工智能论文发表。模式匹配是命题证明，一组规则定义下的推导。北大的模式匹配是查红斌负责，我当年考了374，去他们实验室没有要我，有一个360的被要了，他告诉我，老师说了只要听话就要。