11月13日，分布式系统领域的奠基者、2013年图灵奖获得者莱斯利兰伯特博士，受邀到桂林学院开展以“分布式计算、形式化方法与人工智能的未来”为主题的人工智能学术交流座谈会。活动由桂林市贸促会（桂林国际商会）和桂林学院共同举办。交流过程中，莱斯利兰伯特博士分享了自己的学术发展方向、思路。参与座谈会的高校师生、企业技术人员围绕“人工智能领域的学术前沿与人才培养”与莱斯利兰伯特博士展开互动交流，并围绕大语言模型在形式化验证中的潜力、AI系统的可解释性与安全性，以及人才培养中课程设置与底层理解的权衡等内容，进行了深入探讨。

　　座谈会汇聚了桂林各高校的专家学者和知名企业的技术精英，不仅是学术思想的碰撞，更是连接国际前沿与地方发展的有益实践，有效促进了产学研深度融合，为区域数字经济发展注入新动力。

（文涛　实习　闻名天夏）