由中国数学会计算机数学专业委员会主办，哈尔滨师范大学、中国科学院数学与系统科学研究院数学机械化重点实验室承办，中国数学会协办的第十五届中国数学会计算机数学大会（CM2025）于8月8日至11日在黑龙江省哈尔滨市召开。本次会议聚焦数学机械化、符号计算、人工智能数学理论等前沿方向，积极回应新时代数学与信息技术深度融合的迫切需求，为国内外专家学者搭建了高水平的交流平台。来自清华大学、北京大学、中国科学院大学、中国科学院数学与系统科学研究院、武汉大学、国防科技大学等90余所高校、科研院所近300位代表齐聚冰城，共襄盛举。大会设有5个大会邀请报告，9个青年邀请报告，70个分组报告。

开幕式上，大会主席、哈尔滨师范大学校长蒋鲲教授，中国科学院数学与系统科学研究院副院长高小山研究员，第十五届中国数学会计算机数学大会专委会主任、中国科学院数学与系统科学研究院李洪波研究员，专委会副主任、中国科学院重庆研究院吴文渊研究员，中国科学院信息工程研究所王明生研究员，南开大学杨立波教授，大会程序委员会共同主席、湖北大学数学与统计学学院院长郑大彬教授等嘉宾出席会议。专委会秘书长、中国科学院数学与系统科学研究院陈绍示研究员主持开幕式。

第十五届中国数学会计算机数学大会专委会主任、中国科学院数学与系统科学研究院李洪波研究员致辞

大会程序委员会共同主席、湖北大学数学与统计学学院院长郑大彬教授致辞

专委会秘书长、中国科学院数学与系统科学研究院陈绍示研究员主持会议

首先蒋鲲教授代表学校对与会专家学者的到来表示热烈欢迎和诚挚问候，对中国数学会计算机数学专业委员会和中国科学院数学机械化重点实验室给予我校本次承办机会表示衷心感谢。他指出，本届大会聚焦的前沿方向，与新时代数学与信息技术深度融合的迫切需求高度契合。蒋鲲介绍了近年来学校的办学特色与建设发展情况，强调数学学科底蕴深厚，并期待与会专家深入交流前沿成果，为哈师大数学学科发展和龙江数字经济建言献策。李洪波研究员介绍了计算机数学专业委员会的发展历程与学术使命，强调了计算机数学在推动科技创新和产业升级中的关键作用，呼吁学界与产业界加强合作，深化基础理论研究，共同破解领域内的核心难题。郑大彬研究员围绕本次大会的议题设置思路进行了重点阐述，既覆盖计算机数学基础理论，又延伸至交叉领域应用，着重强调了对青年学者的培养与支持，希望通过大会促进学术传承与创新。

开幕式后，大会邀请中国科学院数学与系统科学研究院高小山研究员、王定康研究员，中国科学院重庆绿色智能技术研究院吴文渊研究员，北京大学董彬教授，武汉大学何德彪教授分别作了主题为《深度学习泛化与安全的数学理论》《Comprehensive Groebner System: Algorithms and Applications》《生物数据安全处理中的数学问题与医学应用》《AI for Mathematic：数学的数字化与智能化》《SecureGPT: GPT 模型的隐私保护安全多方推理》的大会报告。大会还邀请了在计算机数学领域近年来取得突出成果的9位青年报告人汇报最新的研究成果，70余位分组报告人围绕数学机械化理论与算法、自动推理和机器证明、计算机代数、计算机图形学与计算几何、智能制造、编码与密码、组合理论与算法、量子计算、人工智能中的数学理论、数学软件等研究方向相关主题进行汇报。

中国科学院数学与系统科学研究院副院长高小山研究员作大会报告

中国科学院数学与系统科学研究院王定康研究员作大会报告

专委会副主任、中国科学院、重庆研究院吴文渊研究员作大会报告

北京大学董彬教授作大会报告

武汉大学何德彪教授作大会报告

8月9日晚计算机数学专委会召开了换届大会。选举产生了由中国科学院数学与系统科学研究院陈绍示研究员为主任、中国科学院数学与系统科学研究院贾晓红研究员、中国科学院信息工程研究所王明生研究员、中国科学院重庆绿色智能技术研究院吴文渊研究员、南开大学杨立波教授为副主任、中国科学院数学与系统科学研究院叶科副研究员为秘书长的第五届计算机数学专业委员会。

大会期间，还安排了丰富的特色活动与专题报告。8月9日下午，Maplesoft 中国高级经理徐俊林博士作《Maple & MapleSim 2025 新功能解析：符号与数值混合计算助力教育与工业应用》Maple 软件宣讲，为参会者介绍了先进数学软件在教育和工业领域的应用前景。大会进行了 JSSC 期刊宣讲，为科研人员提供了学术成果发表的相关指导。8月8日，在2025年国家天元数学东北中心高校青年教师暑期培训班上，哈尔滨师范大学特邀中国科学院数学与系统科学研究院陈绍示研究员，在哈尔滨理工大学新主楼E区作题为《机器证明与AI新技术及其应用》的专题科普报告。报告系统梳理并深入探讨了该交叉领域的前沿成果与发展方向，吸引了众多师生及科研工作者到场聆听，现场反响热烈。

本届大会通过多场高质量报告、专题研讨和特色活动，全面展现了计算机数学领域的前沿动态与创新成果，实现了“学术交流、思想碰撞、合作共赢”的目标。

中国数学会计算机数学大会以服务国家战略需求为导向，聚焦计算机数学领域重大科学问题，积极推动学科创新发展。会议致力于促进计算机数学与相关领域的深度融合，重点开展数学软件开发与应用研究，同时注重计算机数学教育的普及与推广，为培养高素质专业人才、提升我国在该领域的国际竞争力提供重要支撑。

未来，我校将着力构建支撑人工智能时代黑龙江省数学教育高质量发展的长效机制，通过深化智能技术与数学教育的融合创新，打造具有龙江特色、全国示范价值的数学教育智能化发展新模式。我们将充分发挥学科优势与区域引领作用，为推进我国数学教育现代化进程持续贡献“哈师大智慧”与“哈师大方案”。

（李井申/文）