2026年数学与人工智能前沿国际暑期学校各项日程于7月28日全部结束，结业仪式于7月27日在内蒙古师范大学赛罕校区田家炳教育书院楼举行。beat365官网副院长、暑期学校项目负责人萨和雅，班主任周艳娇出席仪式，副院长萨和雅为全体学员颁发结业证书并作总结讲话。

副院长萨和雅在结业仪式上作总结讲话

培训期间，来自国内外的知名专家学者先后为学员带来了数学与人工智能交叉研究的国际前沿视角。7月22日，加拿大滑铁卢大学Yaoliang Yu教授、俄罗斯联合核子研究所Chuluunbaatar院士、蒙古科技大学Tsedenbayar院士、俄罗斯联合核子研究所Gusev Alexander首席研究员分别作专题报告。

加拿大滑铁卢大学Yaoliang Yu教授授课

Chuluunbaatar院士作专题报告

Tsedenbayar院士作专题报告

Gusev Alexander首席研究员作专题报告

7月23日至24日为"数学形式化"专题，北京大学文再文教授及其团队李晨毅、王梓琛、苗澍系统讲授Lean与交互式定理证明课程。学员在"专题讲授+上机实践"相结合的教学模式下，切实掌握了数学形式化方法。

文再文团队李晨毅、王梓琛、苗澍授课

7月25日为"AI赋能科学计算"专题，北京大学黄政宇老师、宁波东方理工大学毛志平教授系统展示了人工智能方法赋能科学计算的最新研究进展。

宁波东方理工大学毛志平教授作报告

北京大学黄政宇老师作报告

7月26日为"AI赋能优化"专题，西安交通大学陈志平教授、石家隆、张昊天先后讲授"梯度类算法的学习复杂性""连续优化算法自动设计""大语言模型辅助的运筹优化自动建模与算法自动设计"；南开大学李安琪讲授"组合优化的人工智能求解方法"，并开展软件介绍、答疑与讨论，推动理论学习与应用实践深度衔接。

西安交通大学陈志平教授授课

西安交通大学石家隆授课

西安交通大学张昊天授课

南开大学李安琪授课

7月27日，中国科学院大学郭田德教授、香港理工大学孙德锋教授、北京航空航天大学韩德仁教授、中国科学院数学与系统科学研究院刘歆研究员、西安交通大学孙建永教授、北京大学文再文教授、中国科学院数学与系统科学研究院陈旭瑾研究员、浙江师范大学张昭教授、中国科学院数学与系统科学研究院王勇教授、北师香港浸会大学曾铁勇教授、东南大学虞文武教授先后作学术报告，围绕人工智能驱动的运筹优化、广义方程的Aubin性质、自适应动量算法、非负正交约束优化、大模型辅助自动优化建模、智能数学推理引擎、混合图覆盖、不完全扫描覆盖近似算法、多组学数据整合优化模型、图像去模糊、博弈智能理论等前沿主题分享最新研究成果。学员们近距离聆听名家报告，进一步拓宽了学术视野，启发了研究思路。

中国科学院大学郭田德教授作报告

香港理工大学孙德锋教授作报告

北京航空航天大学韩德仁教授作报告

中国科学院数学与系统科学研究院刘歆研究员作报告

北京大学文再文教授作报告

中国科学院数学与系统科学研究院陈旭瑾研究员作报告

浙江师范大学张昭教授作报告

中国科学院数学与系统科学研究院王勇教授作报告

北师香港浸会大学曾铁勇教授

东南大学虞文武教授

全部课程结束后，萨和雅在总结讲话中回顾了七天来的学习历程，对全体学员坚持认真听讲、积极互动研讨的学习态度给予充分肯定，向不辞辛劳、远道而来的各位授课专家致以诚挚感谢，并勉励全体学员将所学收获运用于今后的研究工作，在学术道路上不断前行。随后，萨和雅、周艳娇为全体学员逐一颁发结业证书，并与大家合影留念。

全体学员合影留念