主题︰浅谈人工智能与数学定理证明

时间︰3月25日（周二）14:45

地点︰学思楼127

主讲人：郁文生

主讲人及主讲内容简介：

郁文生，1998年毕业于北京大学，获理学博士学位。北京邮电大学教授、博士生导师，世纪学院计科系主任，中国仿真学会智能物联系统建模与仿真专业委员会副主任委员、北京市人工智能学会常务理事，目前研究方向为数学定理机器证明与人工智能。

1、形式化数学体系的公理化架构；

2、机器证明的算法逻辑；

3、AI大模型的可信数学推理。

提示：

●本次讲座为线下讲座。

●本次讲座由教务处现场提供讲座记录表，自带讲座表无效。听讲座要求有序入场、退场，入场时盖入场章，听讲座期间将个人信息、讲座信息按要求填写完整，出场时盖出场章，信息填写不完整者不予盖章。

●听讲座请提前5分钟入场。

教务处

计算机科学与技术系

 2025年3月25日