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

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

巧妙而简洁地证明了存在某种不能用开方运算求解方程的方法，同时还提出了一个代数方程能用根式求解的判定定理的数学家是（ ）。