为深入学习贯彻习近平总书记关于以人工智能赋能高质量发展的系列重要讲话精神，落实学校关于人工智能赋能教学科研的战略部署，3月19日下午，理学院特邀北京大学博雅特聘教授文再文来校做人工智能学术报告《探索基于学习的数学优化算法与理论》。理学院党委书记李洪栋、副院长侯松波参加活动。

文再文教授主要研究最优化算法与理论及其在机器学习、人工智能中的应用。2016年获中国青年科技奖。2020年入选国家级科技创新领军人才，2023年入选“重大人才计划”特聘教授，现为JSC、JORSC和CSIAM-AM等期刊编委，中国运筹学会副理事长。2021年由高教出版社出版教材《最优化：建模、算法与理论》和《最优化计算方法》, 得到了北京大学、清华大学、复旦大学和中国科技大学等超百所高校采用。

在报告中，文再文教授围绕数学优化与人工智能的深度融合，探讨了大模型辅助建模与求解、机器学习与优化求解及大模型辅助定理证明等前沿进展。他以Alphago、大语言模型（如DeepSeek）等实际案例切入，展示人工智能在数学优化中的广泛应用，并通过智能制造工厂的形象化示例，使复杂的优化过程更加直观。他指出，当前优化领域的瓶颈主要在于建模、理解和计算理论，而大模型辅助建模（如OptMATH）正在推动自动建模技术的发展。在优化算法方面，文再文教授强调强化学习等人工智能方法在二元整数规划、最大割问题等不同问题中的共通性，为算法设计提供了新思路。此外，文再文教授还介绍了大模型在定理证明中的应用进展。虽然数学证明的严谨性仍是一大挑战，但目前已尝试将教材内容形式化，并取得初步成果。最后文再文教授总结“人工智能浪潮下，既充满挑战，也有很多机遇。我们应当抓住时代赋予的机会，不断探索。”

讲座由理学院教工数学第一党支部书记徐义田教授主持。他带领大学一起学习了习近平总书记关于人工智能的一系列重要讲话，启发大家深刻认识人工智能是新一轮科技革命和产业变革的重要驱动力量，人工智能在新时代既是抢占全球科技竞争制高点的重要战略抓手，又能激活传统产业、培育未来新兴产业、共筑数字未来。他表示，学校近期召开“人工智能赋能科技创新”会议，充分彰显了学校高度重视人工智能对科技创新的作用，希望通过此次讲座拓宽师生视野，进一步推动人工智能促进数学学科发展。

理学院应用数学系主任庞慧慧教授表示，人工智能的学习与实践不仅改变了传统数学猜想的认知模式，更为学科创新和全方位人才培养提供了有力支撑。此次讲座使师生对数学优化与人工智能的融合有了更深入的理解，进一步拓宽了学术视野，同时为未来在科研合作、项目申报等方面搭建了更广阔的平台。

本次讲座是数学文化节系列活动之一。讲座不仅加深了师生对数学优化与人工智能前沿技术的理解，也进一步激发了学术研究的热情。理学院将继续举办高水平学术交流活动，搭建多学科交叉融合的平台，共同推动基础学科建设与科技创新的高质量发展。