中国科学院数学与系统科学研究院

科研进展与学术交流报告会

（第146期）

报告人：文再文 教授（北京大学）

题  目：ReasLab: 智能数学推理引擎

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

网址：https://model.reaslab.io

时  间：2026.7.10, 10:40-11:50

地  点：南楼204会议室，腾讯会议907-5908-5643

          注：本视频未经允许不得转载，违者将依法追究侵权法律责任。