1月31日，由深圳市大数据研究院、深圳国际工业与应用数学中心主办，中国工业与应用数学学会数学与产业专委会、广东省人工智能数理基础重点实验室、刘徽实验室协办的大模型时代的数学与产业融合发展研讨会在香港中文大学（深圳）顺利举办。中国科学院数学与系统科学研究院袁亚湘院士，中国工业与应用数学学会（CSIAM）理事长、武汉大学校长张平文院士，香港中文大学（深圳）副校长、CSIAM数学与产业专委会主任、深圳市大数据研究院院长罗智泉院士，重庆国家应用数学中心主任、CSIAM数学与产业专委会副主任杨新民教授，粤港澳国家应用数学中心主任、CSIAM数学与产业专委会副主任姚正安教授等80余位专家、企业代表、学生出席了本次会议。

会议开始，罗智泉院士对各位嘉宾的到来表示欢迎，杨新民教授与姚正安教授主持了本次研讨会。

汕头大学校长郝志峰教授以“机器自动数学建模的思考与探索”为题，从结构化偏代数的统一结构出发，探讨了机器自动数学建模的可能性；并通过案例研究，展示了算法复杂度估计、因果关系发现和自动生成结构方程等数学模型选择和评估的实践案例。

华为诺亚方舟实验室AI基础理论实验室主任李震国博士分享了“大语言模型在数学定理自动化证明上的实践成果-LEGO-Prover”；展示了通过结合形式化验证技术和大语言模型技术，LEGO-Prover可以学习如何证明定理，自动发现和生成可复用的引理；并展望了AI在数学领域的应用前景。

华院计算技术（上海）股份有限公司高级研究员蔡华博士探讨了“大语言模型在产业落地中的数学问题”。这些问题包括位置编码、高效参数微调和注意力机制优化等，解决这些问题将推动大语言模型技术在产业应用中的进一步发展。

华东师范大学计算机科学与技术学院院长、上海智能教育研究院院长周爱民教授以“大模型时代下的数学教育智能平台”为题探讨了数学教育与人工智能大模型的交叉，包括引导式教学和辅导、自适应学习和数字化学习平台等方面的创新，预示着大模型技术在未来数学教育领域的发展潜力。

深圳国际工业与应用数学中心副主任、香港中文大学（深圳）长聘副教授孙若愚分享了关于“面向运筹学产业应用的AI智能体”的思考和成果。他将运筹学产业应用分为建模、算法、代码和应用四个环节，并指出应该为每个环节分别设计AI智能体；此外，他分享了这个思路在云计算调度优化上的实践工作。

这些报告展示了数学为大模型产业赋能的广泛应用前景，为加强学界与产业界的交流与合作、促进多方的交叉融合与协同发展提供了全新契机。

圆桌论坛期间，袁亚湘院士、张平文院士分别总结了本次会议，并对大模型时代数学与产业融合发展提出了期望。

会后，CSIAM数学与产业专委会秘书长孙若愚教授主持召开了第二届CSIAM数学与产业专委会会议，对2023年工作进行总结汇报并提出了2024年工作计划，CSIAM数学与产业专委会各位委员进行了热烈的讨论。

学会数学与产业专业委员会供稿