报告题目：ReasLab:智能数学推理引擎
报告人：文再文博雅特聘教授北京大学
报告时间：2026年08月02日上午10:00-11:00
报告地点：正新楼201
校内联系人：温金明 [email protected]
报告摘要：
ReasLab是面向数学教育、数学研究与应用的一体化智能数学推理引擎，旨在构建可计算、可验证、可协同的数学智能基础设施。ReasLab以大语言模型和多智能体协作为核心，融合数学模型库、算法库、定理库与云端工作空间，打通问题理解、数学建模、算法设计、计算求解、形式化验证、代码生成、报告写作的完整流程。用户无需本地安装，即可在线开展优化建模、Lean形式化、LaTeX/Markdown写作、代码执行与科研协作。ReasLab已为上千位用户提供支持，并服务北京大学、上海交通大学等高校教学科研及华为等企业实际需求。我们将介绍ReasLab的理念、系统架构与核心智能体能力，展示其在AI for Math时代作为数学研究基础设施的潜力。
网址：//model.reaslab.io
报告人简介：
文再文，北京大学博雅特聘教授，主要研究最优化算法与理论、机器学习和人工智能。2016年获中国青年科技奖，2020年获国家万人计划科技创新领军人才，入选2023年度教育部长江学者特聘教授，获2025年度北京市科学技术奖自然科学奖一等奖和王选杰出青年学者奖，现为MOR、JSC、JORSC和CSIAM-AM等期刊编委，中国运筹学会副理事长。最优化教材入选教育部101计划核心教材、十四五国家重点出版物出版规划项目和十四五普通高等教育本科国家级规划教材，累计印刷13次超3.2万册。
