（)先生是中国科学院数学与系统科学研究院的研究员，中国科学院的院士，对国际数学与人工智能的研究影响深远。