2021年在北大创办的第五届智能优化与决策前沿论坛把眼光投向了AI与数学的交叉创新。3月27日到30日，中科院数学与系统科学研究院联合北京雁栖湖应用数学研究院，还有北京大学、清华大学、南开大学这些高校教授们，一起在雁栖湖搭建了一个学术交流的平台，要把前沿方法跟实际应用给融合起来。到了3月29日上午的学术报告环节，北京大学的文再文教授带着“智能数学推理”的话题亮相，他给大伙介绍了数学形式化怎么推动智能推理，还有不少创新工具；清华大学的游科友教授就盯着多参数二次规划问题不放，提出了一种基于学习的约束去除办法，给控制优化领域弄出了新方案。听说这个论坛已经办了四届了，这一次是它的第五届，安排了16场专题报告。除了文再文和游科友这两位教授外，还有孙海琳这样的知名学者都上台分享了自己的心得。夏梦、李晶还有张祎璠也都忙着给这次活动做报道和拍照。清华的博士后李玥瑶就感慨说：“这次来参会见到了不少前辈老师，对我启发挺大的。”特别是昨天听孙海琳老师讲关于鲁棒稳定性的内容，“对我来说太有帮助了。”END