9月3日下午，中国科学院数学与系统科学研究院（以下简称数学院）举行科研人员座谈交流会。数学院学术委员会委员马志明院士、郭雷院士、席南华院士、袁亚湘院士、高小山研究员，院、所领导张平、赵刚、黄飞敏、戴彧虹、赵延龙、郑维喆、丁晓蕾、付保华、骆顺龙、郑伟英、刘劲松、王益、李启寨、刘歆，国科大数学学院党委副书记刘兰峰，科研人员代表以及相关管理支撑部门负责人等60余人参加会议。

院长兼党委书记张平简单介绍了本次会议的两个主题：一是AI技术挑战下数学研究思路应如何转型，数学院应提供哪些支持；二是在如何有效开展国际学术交流，以及鼓励科研人员中长期出访的举措。

“数学机械化智能体”研发团队负责人高小山研究员作专题报告，介绍了基于大语言模型与MechMath Agent Team（MMAT）的分析与应用探索。他系统汇报了“数学机械化智能体”的构建思路及实验进展，并就大模型账号配置、MMAT部署、API调用、内部部署及统一部署等四种方案提出了建议。图书网络中心主任田素芬作算力资源建设情况汇报，重点介绍了围绕数学算法验证搭建的三个算力平台、大模型智能平台建设进展、其他科研验证与支撑平台现状，以及当前面临的主要问题与困难。

在交流讨论环节，科研人员代表分享了使用人工智能工具的切身体会。大家普遍认为，AI在提升工作效率、拓展知识边界等方面具有显著优势，建议数学院层面加强各类AI工具使用的系统培训，并提供更多平台支持、大模型资源和政策支持。同时，与会人员也表达了对AI在学术研究中的局限性、学术道德界定及其对学生培养可能带来负面影响的担忧。

学术委员会委员在发言中指出，使用人工智能是发展的必然选择，建议加快部署超算平台、智算平台及私有云空间等基础设施，发挥多学科交叉优势，积极推动“MATH FOR AI”和“AI FOR MATH”双向研究，探索具有数学院特色的发展路径。同时强调，历次人工智能里程碑式突破的底层逻辑离不开数学的基础性支撑，AI无法真正替代数学家，应当相信并发挥数学家的作用。

此外，与会人员就开展国际学术交流方面提出了多项切实建议，包括科研人员出国（境）审批、鼓励外国学者来华交流访问等，以扩宽学术交流的广度与深度。

最后，张平院长作总结发言。他表示，领导班子和职能部门将认真梳理座谈会提出的意见建议，推动各项建议转化为可操作、可落地的具体政策，切实提升数学院在人工智能领域的研究能力和使用人工智能推动数学研究的能力，同时不断拓展国际学术交流的新空间。