11月14日下午，北京大学文再文教授应邀来院作“探索基于学习的数学优化算法与理论”专题学术报告，报告会由学院副院长朱海燕主持。
报告中，文再文教授围绕数据、模型、算法和理论在数学优化领域融合的新模式展开了深入探讨，重点阐述了大模型辅助建模与求解。他指出，当前大模型的迅猛发展对科研人员提出了新的能力需求，如何提取实际应用甚至数学理论研究中的问题然后协同大模型进行求解将成为一种新的研究范式。他以俄罗斯方块这一经典游戏为例，分享了人工智能驱动下如何设计高效优化求解算法的研究经验。此外，还介绍了他们正在进行的通过形式化建立数学优化知识库推动自动定理证明的研究项目，这一前瞻性的项目将为解决复杂数学问题提供强有力的理论支持和技术手段。
报告展示了人工智能与数学优化深度融合的魅力，报告内容丰富精彩，报告现场热烈活跃，多位师生在报告中积极提问交流。报告让我校师生对数学优化领域的前沿动态有了更清晰的认识和理解。
