近日，2025年“华为杯”第二十二届中国研究生数学建模竞赛成绩揭晓，我校研究生团队荣获全国一等奖3项、二等奖17项、三等奖31项，再次获得“优秀组织单位”称号。“中国研究生数学建模竞赛”是由教育部学位管理与研究生教育司指导，中国学位与研究生教育学会、中国科协青少年科技中心主办的“中国研究生创新实践系列大赛”主题赛事之一。本届竞赛于2025年9月21－25日顺利举行，吸引了来自国际和全国各省、自治区、直辖市、特别行政区的共631个研究生培养单位的24371队研究生交卷参赛。...

12月7日，2025高教社杯全国大学生数学建模竞赛颁奖典礼在清华大学举行。全国大学生数学建模竞赛组委会主任、中国科协副主席袁亚湘院士，中国工业与应用数学学会理事长包刚院士，教育部原副部长周远清，清华大学副校长彭刚，中国科学院院士陈松蹊，高等教育出版社副总编辑阳化冰出席典礼。西南交通大学师生团队共获得国家级一等奖5项、国家级二等奖6项，获奖质量、数量总成绩继续保持全国前列。其中，由计算机与人工智能学院刘灿、交通运输与物流学院周智涵、...

为充分发挥数学学科在铸魂育人、文化涵育、科技创新中的独特作用，进一步搭建校际协同平台，探索新时代高校学生会组织服务学科发展与青年成长的有效路径，12月4日，四川大学数学学院、电子科技大学数学科学学院、西南交通大学数学学院、西南财经大学数学学院学生会交流论坛在我校犀浦校区举行。成都市学生联合会驻会执行主席黄越鑫、四川大学数学学院团委书记何杰、西南交通大学校团委组织工作办公室主任张敬文、数学学院党委副书记黄祥以及四所学校数学学院学生会骨干参加活动。...

11月21日，《International Journal of Computational Intelligence Systems》（国际计算智能系统杂志）以徐扬、郭海林、陈树伟（西南交通大学数学学院系统可信性自动验证国家地方联合工程实验室）和Jun Liu（英国Ulster大学计算机系）为共同第一作者发表了“Δ1：An Automated Theorem Generator（Δ1：一个自动定理生成器）”。这项最新研究成果——命题逻辑和一阶逻辑自动定理生成器Δ1，是中国西南交通大学和英国Ulster大学在自动定理生成方面合作取得的突破进展。...