9月27日晚，数学与统计学院在2106教室举办了以“吴文俊与机械化证明”为主题的学术报告会。数学与统计学院党总支书记李建民教授担任主讲人，数学与统计学院17级全体学生参加了此次学术报告会。
李书记首先对自己的报告进行了简单的介绍，此次报告围绕“吴文俊的生平简介”、“吴文俊的科研成就”及“机械化证明简介”三个方面进行讲述。在报告中，李书记说：“机械化证明在国家科技的进步中起到了很大作用，而机械化的发展离不开数学。”李书记还强调到数学是一个应用广泛的学科，不仅应用于机械化的发展，还应用在生活的方方面面。在报告的最后，李书记真诚的说：“希望同学们能够多读书，为自己蓄力，同时也为国家的发展贡献一份力量。”在同学们的掌声中，报告会顺利结束。
此次报告会，不仅使同学们了解了机械化的进程，加深了同学们对数学这一学科的理解，还引发了同学们对专业学习的思考。
