报告题目：面向数学的人工智能技术
报告人：王元宏 吉林大学人工智能学院助理教授
报告摘要：
在人工智能时代， AI4MATH作为交叉领域前沿，正推动数学研究范式的革新。数学问题求解是人类智能的核心体现，而人工智能的发展为突破传统数学研究的边界提供了新路径。本讲座聚焦人工智能在数学领域的核心价值与关键技术，系统阐述其理论基础、方法体系及前沿应用。讲座将分别从机器辅助计算、自动求解、定理证明、机器学习驱动的数学探索以及LLM4MATH几个方面展开，以排列组合问题自动求解、结不变量关系发现、四色定理形式化验证等案例，展示AI在数学研究中的实际价值。AI4MATH不仅是工具的革新，更是数学思维的延伸，通过整合多模态数据、优化算法框架，人工智能将在定理发现、跨学科应用中发挥关键作用，为数学研究与实际问题解决开辟新范式。
报告人简介：
王元宏博士，2024年在北京航空航天大学获得博士学位。目前为吉林大学人工智能学院助理教授，研究方向为统计关系学习、概率推理及神经符号模型，已在CCF A类会议期刊发表论文5篇，其中包括理论计算机顶会LICS一篇，为国内机构第一单位第14篇。曾荣获北京航空航天大学优秀硕士学位论文、优秀博士学位论文奖。
报告时间：2025年3月27日 3-4节
报告地点：吉林大学前卫校区-逸夫楼-611
