报告题目：数学智能与智能数学

主讲人：郭田德教授，中国科学院大学

时间：2024年6月7日

地点：第三报告厅

参加人员：计算机与软件学院、数理学院部分师生

报告摘要：

数学被公认为是人工智能的基础，人工智能归根到底都是建立在数学模型之上，称之为数学智能。本报告将阐述现有的联结主义、符号主义和行为主义三个主要的人工智能学派所蕴含的数学机理和具体实现的数学方法, 从数学的层面解释现有的人工智能技术的本质。另外，人类从事科学研究的范式一直在“迭代”，从经验范式、理论范式、计算范式到数据范式。近几年来提出的AI for Science（AI4S），作为人工智能加速科学发现的新方法，是区别于以往传统科研范式的第五范式，即AI范式。本报告还将简要介绍科学研究以往四种范式的特点，接下来介绍AI4S第五范式的产生和发展，着重介绍AI for Mathematics，即智能数学的一些研究趋势和最新研究成果。

个人简介：

  郭田德 博士，中国科学院大学讲席教授、二级教授。中国运筹学会副理事长，中国运筹学会首届会士。主要研究方向包括最优化的理论与算法、人工智能的基础与应用、生物特征识别等。多年从事指纹自动识别算法和指纹自动识别系统的研发工作，指纹自动识别算法成功地应用到我国一些省市自治区的指纹自动识别系统中，在刑事侦查、反恐、国家安全、公共安全等领域发挥了重要作用。先后获得公安部科学技术奖二等奖、中国运筹学会科学技术奖、国际运筹学会运筹学发展奖二等奖，中国科学院教学成果一等奖和特等奖，北京市教学成果奖一等奖。