被誉为中国人工智能之父，在几何定理的机器证实取得重大突破，并获得首届国家最高科学技术奖的数学家是（）

被誉为中国人工智能之父，在几何定理的机器证实取得重大突破，并获得首届国家最高科学技术奖的数学家是（）
A.张景中
B.吴文俊
C.华罗庚
D.陈景润
正确答案：B