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

相关题目

• <img alt="" src="https://learnfile.20230611.cn/learnAppQuestion/
• <img alt="" src="https://learnfile.20230611.cn/learnAppQuestion/
• <p>函数y=-χ·cos的部分图象是()<img alt="" src="https://learnfile.20230611
• <p>如图，α⊥β，α∩β=l，A∈α，B∈β， A，B到l的距离分别是a和b，AB与a，β所成的角分别是θ和φ，AB在α，β
• <p>设{χn}是数列，下列命题中不正确的是()<img alt="" src="https://learnfile.20230