2026年6月16日下午，中国科学院数学与系统科学研究院高小山研究员、袁春明研究员、张国强副研究员，中国科学院大学申立勇教授来院访问，并受邀主讲“信息技术前沿论坛”系列报告。本次活动在开发区校区信息楼302会议室进行，学院党委书记雷娜、副院长刘日升出席活动，师生踊跃到场参与学习与交流。
雷娜代表学院对来访专家致以热烈欢迎，并简要介绍了学院及学科建设发展情况。她表示，学院高度重视跨学科、跨领域的交叉融合，期待通过本次报告会的多元学术思想交流与碰撞，孕育前沿思路、激发学术创新动能。
报告会上，高小山研究员以《数学与人工智能》为题作主旨演讲，系统回顾了符号主义人工智能发展的历史脉络，深入剖析了深度学习的数学理论边界，并探讨了利用大模型智能体进行数学定理自动证明的可行性。申立勇教授、袁春明研究员、张国强副研究员分别围绕《几何数据的信息分析与拟合》《数控制造中的数学理论与方法》《Riemann-Hilbert Analysis and its Application》进行了精彩分享，展示了数学方法在数字化设计、智能制造及非线性波理论等领域的深刻应用。雷娜、刘日升也分别作了专题报告，分享了我院在相关前沿领域的研究进展。
本次报告会融合了软件工程及数学、人工智能、智能制造等多领域知识，现场学术氛围浓厚，师生积极参与互动交流，专家们以深厚的学术造诣和严谨的治学态度逐一进行细致解答。
活动期间，专家们还参观了学院水下机器人实验室、智能无人系统实验室，深入了解学院在智能装备与无人系统领域的研究进展与平台建设情况。
本次交流活动围绕软件工程、数学、人工智能、智能制造等多个前沿方向展开深入交流，充分展现了学院在推进学科交叉融合方面的创新活力，搭建了师生与业界知名专家面对面交流的桥梁。未来，学院将持续开展各类高水平学术活动，不断推动学科交叉创新，助力人才培养与科研工作再上新台阶。
文章来源：综合办公室
编辑排版：陆勇青
审核校对：李鹏、刘日升
