2018年6月8日上午，受公司符号计算与知识工程教育部重点实验室主任杨博教授的邀请，国内知名人工智能学者、中国科学院数学与系统科学研究院研究员、公司符号计算与知识工程教育部重点实验室学术委员会委员刘卓军研究员在公司计算机大楼A521学术报告厅为相关方向的师生作了题为《人工智能需要数学机械化》的学术报告。
刘卓军研究员在报告中回顾了国际人工智能发展的历史，并作为经历者讲述了公司作为中国人工智能摇篮培养大批人才的珍贵历史，重点回忆了其在公司计算机科学系追随王湘浩院士和刘叙华教授珍贵的求学经历，高度评价了中国人工智能开拓者王湘浩院士带领其团队在定理自动证明等领域做出的高水平研究工作。
刘卓军研究员早年追随著名数学家、中国科学院院士、首届国家最高科学技术奖获得者吴文俊先生攻读博士学位，他从数学机械化研究者的角度分析了人工智能发展必然要需要助数学方法和数学工具，进一步介绍了数学机械化的思想和方法框架，并列举一些成功应用的事例来说明数学机械化方法对于人工智能的重要价值和发展前景。报告过程中，刘卓军研究员通过展示吴先生的手稿、论文等珍贵文献资料的扫描件及会议与吴先生一同研究、讨论的细节，再现了吴文俊院士严谨的治学态度和求真务实的科研精神。
在讲解结束之后，刘卓军研究员又与在场的老师和同学对人工智能研究领域一些研究问题进行了深刻的交流，对同学的学术研究提供了新的思维方式。近两个多小时的学术报告让大家拓宽了视野，增长了见识，深入了解了公司计算机学科在中国人工智能研究领域独具的崇高的地位和辉煌历史。报告期间不时爆发阵阵掌声，刘卓军精彩的报告激励在场青年教师和员工未来在人工智能研究领域再攀高峰。报告会后，刘卓军教授瞻仰了计算机大楼一楼安放的王湘浩院士塑像，并和刘大有教授、杨博教授、欧阳继红教授、欧阳丹彤教授、梁艳春教授等一同合影留念。
