报告摘要：ReasLab 是面向教育、科研与复杂决策场景的一站式智能数学推理引擎，致力于让数学和应用触手可及，突破手工作业传统模式，构建从专家直觉驱动走向大众化、可计算、可验证的智能化基础设施。针对数学建模、算法设计与定理证明等关键环节长期相互割裂、深度依赖人工经验的问题，ReasLab 以大语言模型为基座，采用多智能体架构，融合数学模型库、算法库与定理知识库，将模型构建、算法设计、计算求解、自然语言和形式化证明及Markdown/LaTeX 报告生成等能力纳入统一环境，实现数学对象在不同表示层次与任务环节之间的贯通协同。依托云计算，用户无需安装即可在线使用。ReasLab 已为千位用户提供形式化、优化建模、数学建模竞赛和科学写作等支持，已形式化陶哲轩Analysis II、Rockafellar 的 Convex Analysis 等书籍。网址：https://model.reaslab.io
报告人简介：文再文，北京大学北京国际数学研究中心长聘教授，北京大学博雅特聘教授，主要研究最优化算法与理论、机器学习和人工智能。2016年获中国青年科技奖。2020年获国家万人计划科技创新领军人才，入选2023年度教育部长江学者特聘教授，现为MOR、OMS、JSC, JORSC和CSIAM-AM等期刊编委，中国运筹学ballbet贝博BB娱乐登录副理事长。主编的《最优化方法与理论》入选教育部101计划核心教材和“十四五”普通高等教育本科国家级规划教材。
报告时间：2026年5月30日 19：00-21：00
报告地点：腾讯ballbet贝博BB娱乐登录议 991-8609-3283 密码202503
English