报告题目：数理医学智能体

报告时间：2025-09-22   16:30-17:30

报  告 人 ：孔德兴  教授 （浙江大学）

报告地点：雷军科技楼六楼报告厅（644）

腾讯会议：799-769-242（同步直播）

Abstract:

大语言模型（LLMs）在医疗领域的发展非常迅猛，应用潜力巨大，但其固有的模型“幻觉”、逻辑不一致以及不可靠性等问题，严重制约其在临床方面的应用。本报告主要介绍我们团队研发的“数理医学智能体”及其在医疗领域中的几个典型应用案例。具体地讲，通过将医学知识与实践流程构建于数学公理化体系之上，我们开发出一款基于严格规则的多模态神经符号系统。其核心思想是：将多模态大模型的强大模式识别与归纳能力，同自动定理证明器（ATP，如Lean4）的严谨演绎推理能力深度融合。本系统旨在大幅消除LLM的随机性和不合规性，为临床诊疗、医疗文书质控、医保审核、DRG/DIP分组、新药/器械审批等方面，提供安全、可靠、可解释的AI支持，推动医疗人工智能进入一个全新的高可信时代。