Speaker: 文再文教授，北京大学

Inviter: 中国科学院数学院学术报告会组委

Title: ReasLab: 智能数学推理引擎

Language: Chinese

Time & Venue: 2026.07.10 10:40-11:50 数学院南楼N204（数学院交流报告会）

Abstract: ReasLab 是面向数学教育、数学研究与应用的一体化智能数学推理引擎，旨在构建可计算、可验证、可协同的数学智能基础设施。ReasLab以大语言模型和多智能体协作为核心，融合数学模型库、算法库、定理库与云端工作空间，打通问题理解、数学建模、算法设计、计算求解、形式化验证、代码生成、报告写作的完整流程。用户无需本地安装，即可在线开展优化建模、Lean 形式化、LaTeX/Markdown 写作、代码执行与科研协作。ReasLab 已为上千位用户提供支持，并服务北京大学、上海交通大学等高校教学科研及华为等企业实际需求。我们将介绍 ReasLab 的理念、系统架构与核心智能体能力，展示其在 AI for Math 时代作为数学研究基础设施的潜力。