【名词&注释】
人工智能(artificial intelligence)、科学技术(science and technology)、数学史(history of mathematics)、重大突破(great breakthrough)、陈景润、华罗庚(hua)、数学家的观点
[单选题]被誉为中国人工智能之父,在几何定理的机器证实取得重大突破,并获得首届国家最高科学技术奖的数学家是().
A. 张景中 B. 吴文俊 C. 华罗庚(hua) D. 陈景润