我国学者吴文俊院士在人工智能的（）领域作出了贡献。

我国学者吴文俊院士在人工智能的（）领域作出了贡献。
A.机器证明(正确答案)
B.模式识别
C.人工神经网络
D.智能代理