报告题目：大语言模型的数学计算与逻辑推理
报告摘要：集成机器学习和自然语言理解为一体的大语言模型强势地将人工智能第三次高潮推向了高峰，但一本正经得胡说八道的大帽子又盖在了大语言模型头上。本报告通过对典型大语言模型DeepSeek的数学计算和逻辑推理测试，从中可以窥视到大语言模型的天生基因缺陷，为大语言模型的提升以及可信人工智能的研究提供学术参考。
报告人简介：陈仪香，华东师范大学软件学院教授、博士生导师，中国人工智能学会人工智能逻辑专委会主任委员、中国计算学会杰出会员、中国计算机学会形式化方法专委会委员、上海市人工智能学会可信智能系统专委会主任委员。主要研究方向：智能系统的可信基础、智能系统形式化规范语言、智能嵌入式系统设计方法、软件可信度量评估方法和增强规范。承担973、863、国家基金委以及国防基础重点研究等国家级项目10余项。出版国家自然科学基金研究成果专著2部、出版教材1部，发表学术论文100余篇。荣获教育部自然科学一等奖1项、北京市科技进步奖一等奖1项、中国计算机学会科技进步奖二等奖1项（2022）、上海市课程思政示范课程1项。
报告时间：2025年6月6日14:30
报告地点：数学与统计学院四楼会议室
主办单位：湖北民族大学数学与统计学院
联系人：孙全
欢迎广大师生参加！