近日,2024年世界人工智能大会期间,由斯梅尔数学与计算研究院主办的“数学与人工智能”学术会议在上海世博中心举办。来自全球多位知名数学家和科学家围绕机器学习与人工智能的数学基础、人工智能中的算法研究等主题进行深入讨论,共同探讨数学与人工智能领域的最新研究成果和未来发展趋势。
作为全球性高级别学术研讨会,此次会议由华院计算技术(上海)股份有限公司创始人董事长、斯梅尔数学与计算研究院执行院长宣晓华担任主持,来自卡内基梅隆大学、上海交通大学、牛津大学、伦敦大学等多位知名数学家和科学家参与了此次圆桌讨论,上海市经济和信息化委员会主任张英出席会议并致辞。
会上,94岁高龄的斯梅尔数学与计算研究院名誉主席斯蒂芬·斯梅尔教授以线上视频的形式,发表了他关于“21世纪的18道数学问题”中的“智能的极限”的观点。会议围绕三大议题进行探讨,其中包括:“如何借助数学打造更好的人工智能算法基础(特别是深度神经网络和Transformer领域),从而提升人工智能算法的效率和鲁棒性、增加因果推理能力和可解释性,消除模型的幻觉现象等?”“对于通用人工智能(AGI)、大模型的涌现现象、意识智能等前沿研究领域有哪些好的数学模型?智能的极限又是什么?”“人工智能如何助力数学研究,特别是在定理证明、证明验证以及猜想生成方面?”
张英在致辞时指出,上海正全力构建一个技术策源、应用示范和制度创新人才集聚的高地。从技术策源的角度来看,数学就是推动技术策源最为核心与关键的力量。鉴于数学与人工智能之间不可分割的紧密联系,政府高度重视人工智能的应用发展,以及数学和人工智能之间的关系和推动力。这不仅是本次“数学与人工智能”学术会议得以成功举办的重要背景,也对会议寄予厚望的根源所在。