主要内容：本报告系统探讨通用人工智能的发展路径，提出了一个包含三层认知层级（知识复用、实例构造、抽象创新）和六大核心组件（思想构建、形式规约、谓词构造、演绎推理、规范检查、归纳抽象）的完整理论框架。通过回顾人工智能发展的关键里程碑，解析大语言模型的核心技术原理，报告旨在为理解智能行为的本质提供系统性视角，揭示从基础认知到高阶创新的完整逻辑链条，为构建真正的通用人工智能提供理论指导和实践路径。

讲座嘉宾：陈炜 华为剑桥研究所首席计算数学计算理论与算法专家

讲座主题：通用人工智能的逻辑之路：从理论框架到实践路径

讲座时间：2026年9月14日下午2:00-4:00

讲座地点：兴文楼A区315学术教研室

嘉宾简介：陈炜，华为剑桥研究所首席计算数学计算理论与算法专家。长期聚焦形式化验证、组合算法优化、类人智能、人工智能系统与并行加速以及芯片设计研究，深耕组合数学与芯片交叉领域，依托扎实的数学建模与计算理论功底，攻坚智能计算架构的底层理论与核心技术难题。先后就读于南京理工大学、清华大学与英国诺丁汉大学，获理学学士、工学硕士、哲学博士学位。曾先后任职华为智能网软件工程师、德国慕尼黑大学从事类型系统博士后研究员、英国爱丁堡大学计算机安全高级研究员。

主办单位：天津师范大学国家社会科学基金重大招标项目（25&ZD055）课题组