为激发学子对前沿科技的兴趣，2025年4月21日下午，中国人民大学数学学院王善文副教授受邀为我校高二年段全体同学带来题为《人工智能与数学》的专题讲座。本次讲座深入解析人工智能在数学中的作用，并展示其如何赋能科技创新与社会发展。

　　讲座伊始，课程与教学中心的左友松主任对开讲嘉宾进行介绍：王善文，中国人民大学数学学院副教授，研究方向为数论与算术代数几何，曾获国家高层次青年人才计划支持。

　　王善文副教授从数学的至高奖项是否会被人工智能取代为设问引入本场讲座，以2000年国际数学奥林匹克竞赛（IMO）第一题平面几何为例，展示如何应用Alpha-Geometry解出这道题目。王老师还向同学们简要介绍了Alpha proof、Mathematica等可解决演绎逻辑推理、计算等问题的人工智能工具。

　　王善文副教授还梳理了中外对素数的研究情况，深入浅出的向同学们介绍了素数定理，并总结研究数学的主要方式包括演绎逻辑和归纳逻辑两种，在进行前沿数学研究时常常需要综合运用这两种逻辑思维方式。

　　讲座尾声，王老师展示了AI4Math科研创新团队所作的一些工作，鼓励同学们积极探索数学领域，掌握前沿工具，在未来学习中勇于创新。

　　本次讲座不仅是知识的传递，更是一次科学精神的播种。在人工智能时代，我们既要保有对技术的敏锐，也要有坚守理性思辨的初心，用知识解锁更多的可能。