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