数学与产业专业委员会-工作动态
复杂网络与复杂系统专业委员会
几何设计与计算专业委员会
气候与环境数学专业委员会
数学模型专业委员会
图论组合及应用专业委员会
体育数学专业委员会
系统与控制数学专业委员会
油水资源数值方法专业委员会
不确定性量化专业委员会
数学生命科学专业委员会
金融数学与工程和精算保险专业委员会
大数据与人工智能专业委员会
高性能计算与数学软件专业委员会
区块链专业委员会
数学与产业专业委员会
数学与医学交叉学科专业委员会
编码密码及相关组合理论专业委员会
信息和通讯技术领域的数学专业委员会
数学力学专业委员会
金融科技与算法专业委员会
数学与航天交叉学科专业委员会
反问题与成像专业委员会
谱方法及其应用专业委员会
大模型时代的数学与产业融合发展研讨会在香港中文大学（深圳）顺利举办
发布时间：2024/02/29 18:45
分享：
1月31日，由深圳市大数据研究院、深圳国际工业与应用数学中心主办，中国工业与应用数学学会数学与产业专委会、广东省人工智能数理基础重点实验室、刘徽实验室协办的大模型时代的数学与产业融合发展研讨会在香港中文大学（深圳）顺利举办。中国科学院数学与系统科学研究院袁亚湘院士，中国工业与应用数学学会（CSIAM）理事长、武汉大学校长张平文院士，香港中文大学（深圳）副校长、CSIAM数学与产业专委会主任、深圳市大数据研究院院长罗智泉院士，重庆国家应用数学中心主任、CSIAM数学与产业专委会副主任杨新民教授，粤港澳国家应用数学中心主任、CSIAM数学与产业专委会副主任姚正安教授等80余位专家、企业代表、学生出席了本次会议。
会议开始，罗智泉院士对各位嘉宾的到来表示欢迎，杨新民教授与姚正安教授主持了本次研讨会。
汕头大学校长郝志峰教授以“机器自动数学建模的思考与探索”为题，从结构化偏代数的统一结构出发，探讨了机器自动数学建模的可能性；并通过案例研究，展示了算法复杂度估计、因果关系发现和自动生成结构方程等数学模型选择和评估的实践案例。
华为诺亚方舟实验室AI基础理论实验室主任李震国博士分享了“大语言模型在数学定理自动化证明上的实践成果-LEGO-Prover”；展示了通过结合形式化验证技术和大语言模型技术，LEGO-Prover可以学习如何证明定理，自动发现和生成可复用的引理；并展望了AI在数学领域的应用前景。
华院计算技术（上海）股份有限公司高级研究员蔡华博士探讨了“大语言模型在产业落地中的数学问题”。这些问题包括位置编码、高效参数微调和注意力机制优化等，解决这些问题将推动大语言模型技术在产业应用中的进一步发展。
华东师范大学计算机科学与技术学院院长、上海智能教育研究院院长周爱民教授以“大模型时代下的数学教育智能平台”为题探讨了数学教育与人工智能大模型的交叉，包括引导式教学和辅导、自适应学习和数字化学习平台等方面的创新，预示着大模型技术在未来数学教育领域的发展潜力。
深圳国际工业与应用数学中心副主任、香港中文大学（深圳）长聘副教授孙若愚分享了关于“面向运筹学产业应用的AI智能体”的思考和成果。他将运筹学产业应用分为建模、算法、代码和应用四个环节，并指出应该为每个环节分别设计AI智能体；此外，他分享了这个思路在云计算调度优化上的实践工作。
这些报告展示了数学为大模型产业赋能的广泛应用前景，为加强学界与产业界的交流与合作、促进多方的交叉融合与协同发展提供了全新契机。
圆桌论坛期间，袁亚湘院士、张平文院士分别总结了本次会议，并对大模型时代数学与产业融合发展提出了期望。
会后，CSIAM数学与产业专委会秘书长孙若愚教授主持召开了第二届CSIAM数学与产业专委会会议，对2023年工作进行总结汇报并提出了2024年工作计划，CSIAM数学与产业专委会各位委员进行了热烈的讨论。
学会数学与产业专业委员会供稿
中国工业与应用数学学会办公室
地址：北京市海淀区清华大学数学科学系B202室
电话：010-62787525 建模竞赛咨询电话：010-62781785
学会总部办公基地（长沙）
地址：湖南省长沙市龙喜路2号星沙区块链产业园三楼
电话：0731-86207515
学会邮箱：office@csiam.org.cn
扫描二维码关注中国工业与应用数学学会微信公众号
中国工业与应用数学学会 版权所有