7月26日，由斯梅尔数学与计算研究院、中国工业与应用数学学会主办，华院计算技术（上海）股份有限公司承办，世界人工智能大会组委会办公室指导的2025年世界人工智能大会“数学与人工智能”学术会议在世博中心圆满落幕！

作为WAIC的核心活动之一，会议由斯梅尔数学与计算研究院执行院长，华院计算技术（上海）股份有限公司董事长、创始人，中国工业与应用数学学会副理事长，中国人工智能学会逻辑专委会常务委员宣晓华主持。

上海市经济和信息化委员会副主任张宏韬为本次会议致辞。他指出上海始终高度重视数学与人工智能融合发展，推动数学基础创新与人工智能产业发展更上新台阶，实现1+1大于2的效能，让数据源的理论研究与产业应用需求精准对接，搭建各类产学研用的平台，营造创新人才优越的发展环境。

会议围绕三大核心议题展开深入探讨，为数学与人工智能的交叉融合提供了创新思路与发展路径。

如何看待“数学与人工智能”的关系？在这一领域，您有哪些观点、兴趣或研究工作？

Eva Miranda教授指出传统数学研究方法在人工智能时代正经历革命性变革，并以自身研究为例介绍了团队运用人工智能技术来证明流体运动轨迹的研究。她强调这种交叉研究拓展了人工智能的应用边界，呈现出数学与人工智能呈现协同发展的良性关系。随着技术进步，人类将能更好地理解和解决复杂系统问题，为数学研究开辟了新的可能性，也推动着人工智能向更深层次发展。

数学如何为人工智能提供更坚实的基础，特别是在学习、推理和规划等方面，从而提升算法的效率、鲁棒性、可解释性与泛化能力？”

许进超院士强调数学家不应仅满足于对已有AI模型的"事后解读"，而应主动引领下一代AI发展。当前AI研究面临资源分配的结构性困境，数学家虽能提供理论突破，但缺乏大算力、大数据和团队支持，难以快速验证构想。为此，他提出数学界需建立更紧密的产学研合作机制，将逼近论、优化理论等传统优势领域转化为AI创新的核心驱动力，提升模型架构设计、优化算法解释等关键环节。

您希望人工智能在数学教育与研究中发挥哪些作用？特别是在数学问题求解、定理证明、验证，乃至猜想生成等方面，您有哪些期待？

金石院士认为AI与数学的结合本质上是一种"认知增强"，它打破了人类固有思维的限制，使得研究者能够同时处理多尺度、高维度的复杂问题（如跨行星科学计算与微观分子模拟的协同）。因此，AI for Math的真正价值不在于替代传统方法，而在于创造更多新的机会去探索更多未知世界，系统性地拓展人类科学的认知边界，最终实现从解决既定问题到发现未知问题的范式转换。

上海市经济和信息化委员会主任张英受邀出席了此次会议并和与会嘉宾进行了交流。

此次会议，与会专家学者就数学与人工智能的融合发展提出了诸多前瞻性见解，不仅搭建了跨国界、跨学科的高端对话平台，更推动了全球科研机构与企业间的深度协同。斯梅尔数学与计算研究院、中国工业与应用数学学会也将持续深化国际合作，通过开放共享的研究范式，加速数学与人工智能领域的交叉创新，为人类社会智能化转型提供坚实的理论基础与技术支撑，并继续搭建高水平国际交流平台，助力开创更具包容性与可持续性的智能未来。（王津）