报告承办单位: 数学与统计学院

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

报告人姓名: 文再文

报告人所在单位: 北京大学

报告人职称: 教授、博士生导师

报告时间: 2026年6月28日 星期日 下午15:00

报告地点: 理科楼A212

邀请人：李景

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

报告人简介：文再文，北京大学博雅特聘教授，主要研究最优化算法与理论、机器学习和人工智能。2016年获中国青年科技奖，2020年获国家级人才，入选2023年度教育部人才计划，获2025年度北京市科学技术奖自然科学奖一等奖和王选杰出青年学者奖，现为MOR、JSC、JORSC和CSIAM-AM等期刊编委，中国运筹学会副理事长。最优化教材入选教育部101计划核心教材、“十四五”国家重点出版物出版规划项目和“十四五”普通高等教育本科国家级规划教材，累计印刷13次超3.2万册。