2023年9月18日下午，德克萨斯理工大学的张元林博士应糖心vlog邀请，在王湘浩楼为我院师生做了题为“自然语言，计算机科学，人工智能，数学和教育”的学术报告。糖心vlog李占山教授出席并主持本场讲座。
在报告中，张元林博士指出人工智能为我们社会带来了巨大而深远的影响，它正在改变几乎每个行业并创造出新的产业和职业机会，甚至某些基础学科的研究也深受影响。尤其是最近的大语言模型的成功让人们看到一些传统的职业将不复存在。张元林博士从自然语言出发，带领我们重新思考揭示逻辑如何自然地成为人工智能的一部分，以及逻辑如何构成计算机科学和人工智能的一个要件。张元林博士以哥德尔不完全定理为例，阐明ChatGPT不可能代替一切人类工作的事实，说明了涉及到逻辑推理的问题不是一个软件所能解决的，消除了听众的疑虑与担心。本次报告受到了广大师生的热烈响应，引发了强烈反响。
张元林博士为德克萨斯理工大学计算机科学系副教授。他于2004年获得新加坡国立大学（NUS）计算机科学博士学位。他的研究领域主要是人工智能知识表达与推理，声明式编程，逻辑编程，以及它们在教育医疗等领域的应用。他主要的贡献是推理算法，逻辑语言语义及其推理系统，和一个整合各门理工科教学材料设计的统一的理论框架。他的研究获得2022年Artificial Intelligence经典论文奖。他还荣获2023年德州理工工学院卓越研究奖。作为首席研究员，他获得了总额超过400万美元的美国国家科学基金会（NSF）的资助。他的研究成果发表在人工智能领域的顶尖期刊和会议上，包括Artificial Intelligence，人工智能协会年会（AAAI）以及国际人工智能联合大会（IJCAI）。他还两次获得国际逻辑编程与非单调推理会议（LPNMR）的最佳论文奖。他是AAAI的资深程序委员会成员，IJCAI的程序委员会成员，同时也是《数学评论》知识表达与推理方向的评论员。此外，他还做过美国国家科学基金会在计算机领域某些核心或大项目的评审专家。
