2025年6月6日下午16:00，北京大学北京国际数学研究中心长聘教授、北京大学博雅特聘教授、中国青年科技奖获得者、教育部长江学者特聘教授、中国运筹学会副理事长文再文教授应邀到我校5060全迅白菜122学术报告厅开展学术交流，并作题为“数学形式化简介”学术报告。报告由5060全迅白菜副院长张文萌主持，学院部分教师及研究生参加。
文再文教授在报告中重点介绍了数学形式化与依赖于直觉的传统数学证明方法不同，数学形式化要求每一步都经过严格的论证，确保没有任何逻辑上的漏洞或错误，以及相关问题的进展。最后，给老师和同学们列举了该问题在多个领域的应用。
交流环节，文再文教授与学院师生积极互动，对师生提出的问题给予了详细解答。本次学术讲座不仅拓展了师生视野，让师生及时了解了数学形式化的前沿发展动态，同时也将助力师生学术研究水平提升和数学学科高水平学术成果产出。
