为拓宽师生人工智能专业视野，夯实前沿技术理论基础，2026年7月1日，贝博官网人工智能学院于图书馆学术报告厅开展“人工智能中的自动推理技术与前沿问题”主题学术讲座。本次讲座由人工智能学院承办，学院教师、人工智能学院学生共307人到场参与，讲座特邀曾振柄教授担任主讲人。曾振柄教授为博士生导师，拥有中科院重点实验室管理与多所高校从教经历，手握多项国家级科研成果，2026年受聘贝博官网人工智能学院专家工作室，具备深厚的学术积淀与行业研究经验。

讲座正式开始后，人工智能学院院长向宁简短致辞，向在场师生隆重介绍本次主讲嘉宾曾振柄教授，勉励同学们珍惜学习机会、认真聆听讲座内容。致辞完毕，曾振柄教授正式展开专题分享，报告分为四大板块展开：首先梳理推理在人类思想史上的完整发展脉络，其次回顾自动推理技术在人工智能领域的演变历程，接着聚焦大语言模型浪潮下自动推理的当下技术前沿，最后客观剖析该领域现阶段亟待攻克的各类难题，同时重点讲解了我国科学家在“数学机械化”方向的突出科研成果。

本次专题讲座为学院师生搭建起高水平学术交流平台，一方面让在场师生系统了解自动推理技术发展的历程，进一步掌握国内相关领域科研优势与待突破的技术难点，有效补足专业知识短板；另一方面进一步激发师生钻研人工智能基础理论的科研热情，为学院后续人工智能相关课题研究、创新人才培育提供清晰思路指引，有力推动贝博官网人工智能学科教学水平。

人工智能学院供稿

图 文：赵宇维 淡秋星

编辑：熊乾琳

审核：王渊民