11月30日,中国科学院数学与系统科学研究院研究员袁亚湘受邀莅临重庆交通大学,围绕“人工智能的数学基础”主题开展学术交流。会前,校党委书记宫辉与袁亚湘研究员亲切会见,副校长郑丹,数学与统计学院党委书记刘君、院长王其林等共同参加会见;会后,专题学术报告在学校408报告厅举行,由副校长郑丹主持,全校百余名师生代表现场聆听,共同感受顶尖学术思想的碰撞。

会前的会见环节,宫辉书记代表学校对袁亚湘研究员的到来表示热烈欢迎,对其在数学优化领域的卓越成就及为我国人工智能基础研究作出的开创性贡献致以崇高敬意。他介绍,重庆交通大学始终以“明德行远、交通天下” 为校训,立足交通行业特色,近年来持续推进数学、计算机科学与交通工程的跨学科融合,数统学院作为学校基础学科建设的核心力量,在数学理论研究、交通数据建模、人工智能算法应用等方面积累了扎实成果,已成为支撑学校智慧交通、智能制造等特色学科发展的重要基石。
副校长郑丹补充介绍了学校在跨学科人才培养与科研平台建设方面的具体举措。他提到,学校组建跨院系科研团队攻关山区公路灾害预警、桥梁健康监测等领域的AI技术难题,目前已取得多项具有工程应用价值的成果,希望袁亚湘研究员能为学校基础学科发展与跨学科创新指明方向。
数统学院党委书记刘君、院长王其林分别就学院学科建设、师资队伍、科研方向作详细汇报。刘君书记介绍,学院聚焦数学与交通、人工智能的交叉领域,推动科研成果与工程实践深度结合;王其林院长则重点分享了学院在数学优化算法、概率统计建模等方向的研究进展,以及在服务交通流预测、桥梁结构安全评估等实际需求中的探索成果,期待能与袁亚湘研究员团队建立长期学术交流机制,提升学院科研与教学水平。
袁亚湘研究员认真听取汇报,对重庆交通大学立足交通特色、推动数学与应用学科深度融合的发展路径给予高度认可。他指出,交通领域的智能化转型是国家交通强国战略的重要方向,而数学正是支撑人工智能技术在交通场景落地的核心基础,重庆交大在这一交叉领域的探索具有重要现实意义。针对数统学院的发展,他建议进一步聚焦交通场景下的数学问题,如动态交通流的随机建模、桥梁损伤识别的算法优化等,形成差异化研究优势,并表示愿意为学院师生提供学术指导,期待共同推动数学与人工智能领域的创新突破。

会见结束后,“人工智能的数学基础” 专题学术报告正式拉开帷幕。副校长郑丹在主持致辞中强调,数学是人工智能发展的 “源头活水”,而交通领域是人工智能技术创新应用的重要 “试验场”,袁亚湘研究员作为数学与AI交叉领域的顶尖专家,其研究成果为破解复杂工程问题提供了关键理论支撑。他希望在场师生能珍惜此次交流机会,深入学习前沿学术思想,将数学理论与交通实践紧密结合,为学校学科发展注入新动能。
袁亚湘研究员开篇点明核心观点:“数学是人工智能的基础,但人工智能的数学原理还远未被完全理解”。他结合中国科学院、基金委“人工智能的数学基础”战略咨询报告成果,系统阐释了人工智能的本质与发展脉络。从《列子・汤问》中偃师造人的古老传说,到2024年诺贝尔物理学奖、化学奖中人工智能相关成果的突破性进展,袁亚湘研究员用古今贯通、中外结合的案例,生动展现了人工智能从想象到现实的演进历程。
在讲解人工智能的模型基石时,袁亚湘研究员详细剖析了符号主义、连接主义、行为主义三大流派的数学建模逻辑:符号主义以知识表示与推理为核心,模拟人脑功能;连接主义借鉴神经网络结构,约翰・霍普菲尔德与杰弗里・欣顿的诺奖成果正是其杰出代表;行为主义则聚焦人机交互过程,通过强化学习等方式实现智能模拟。他强调,模型与算法是人工智能的核心,计算与数据是基础,而数学为这些核心要素提供了坚实的理论支撑。
报告中,袁亚湘研究员深入解读了支撑人工智能发展的关键数学领域。逻辑推理作为第一代人工智能的关键理论,为机器提供了“规则大脑”;概率统计与随机过程成为处理数据不确定性的核心工具,贝叶斯网络、隐马尔可夫模型等在自然语言处理、计算机视觉中发挥重要作用;逼近论通过Cybenko定理、Hornik定理等奠定了神经网络的逼近能力基础;统计物理、最优化、图论、博弈论等则分别从复杂系统分析、高效求解算法、数据关联建模、智能决策等维度,为人工智能发展提供了多元支撑。
针对人工智能与数学的双向赋能关系,袁亚湘研究员指出,人工智能的崛起离不开数学的深厚滋养,而人工智能的快速发展也为数学研究带来了新机遇与新范式。从统计学到泛函分析,从最优传输理论到定理自动证明,人工智能正在推动数学研究拓展新领域、探索新方法。他特别提到“Math for AI & AI for Math”的发展趋势,强调两者的深度融合将成为未来数学科学的重要研究方向。
在展望未来时,袁亚湘研究员表示,人工智能将更加依赖深度学习与数学优化解决复杂问题,而数学将在提升人工智能可解释性、安全性、可扩展性,破解大模型数学机理等方面发挥关键作用。他鼓励师生们重视基础学科学习,把握跨学科融合机遇,在人工智能与数学的交叉领域勇攀科研高峰。
报告结束后,在郑丹副校长的主持下,教师提问环节开始。他鼓励在场教师结合自身研究方向积极提问:“希望大家抓住与顶尖专家交流的机会,把科研中遇到的实际问题提出来,让学术交流真正服务于研究实践。”数学与统计学院柴浪老师提出了科研中AI的数学理论支撑困惑。袁亚湘研究员基于数学理论,紧密关联实际应用,为相关领域的后续研究指明了清晰的学术方向。现场不少教师表示,此次交流不仅解决了当前研究中的具体难题,更启发了“用数学思维破解交通领域AI问题” 的新视角。

此次袁亚湘研究员莅临重庆交通大学,通过会前深入交流与专题学术报告,为学校数学学科建设、人工智能与交通领域的交叉创新提供了宝贵指导。副校长郑丹在总结中表示,学校将以此次交流为契机,进一步整合数统学院等学科资源,深化数学与交通、AI的融合研究,推动科研成果转化与人才培养质量提升。数统学院党委书记刘君、院长王其林也表示,将组织师生深入学习报告内容,落实专家的建议,聚焦交通特色数学问题,加强学术研究与团队建设,为学校服务交通强国战略贡献更多力量。