感联智信,数创未来。7月5至7日,2024中国图灵大会在长沙举行。来自全国各地的1800余名顶尖学者、专业人士、师生汇聚一堂。

大会邀请国际计算机学会主席Yannis Ioannidis、图灵奖获得者Manuel Blum教授、何积丰院士、梅宏院士、张平文院士、王耀南院士、冯登国院士、蒋昌俊院士、尼玛扎西院士、阿里云智能集团资深副总裁李飞飞、华为编译器与编程语言首席科学家高耀清、百度技术委员会主席吴华等业内知名专家学者作报告,交流、探讨信息领域最前沿的科研技术。

国际计算机学会主席Yannis Ioannidis作题为《Open Science》的报告,报告给出了开放科学的基本定义及其重要性,指出了目前存在的主要难题,并介绍了其课题组近年来在“欧洲开放科学云”等项目上的重要研究进展,同时呼吁研究者们一起加入到开放科学项目中。

图灵奖得主Manuel Blum教授作题为《The Conscious Turing Machine (CTM) as a model for Artificial General Intelligence (AGI)》的报告,本次报告主旨围绕“意识图灵机(CTM)”的概念,并对其将人工智能(AI)转换通用人工智能(AGI)的潜力进行了介绍,同时围绕意识科学与通用人工智能之间的联系进行了探讨。

何积丰院士作题为《人工智能的形式化方法》的报告,阐述了统一编程理论,以及形式化存在的难题。主要介绍了其课题组针对贝叶斯网络在编程形式化上的应用成果,构建了一种概率编程语言的形式化描述,以及在软件工程形式化上的应用与重要研究进展。

梅宏院士作题为《对当前人工智能热潮的几点冷思考》的报告,首先介绍了人工智能领域的发展历史以及在近几年取得的令人惊艳的进展,然后就现代人工智能发展热潮中所存在的问题给予了多方面的思考,包括AI应用是否正在开启繁荣期、AIGC如何权衡利弊等。

张平文院士作题为《探寻数学与人工智能的未来》的报告,介绍了数学与人工智能的关联的历史、现状和未来。主要介绍了人工智能发轫于数学,并对人工智能的现状进行剖析,表示人工智能学术界(包括数学)与产业界应协同共进。

王耀南院士作题为《智能自主作业机器人及展望》的报告。王耀南院士从研究背景与意义、研究现状与面临挑战、关键技术等方面介绍自主作业机器人的现实发展与未来趋势,并介绍了目前自主作业机器人总体技术路线与关键科学问题,包括机构设计、环境感知、自主学习控制等方面。

冯登国院士作题为《具体高效的安全多方计算协议:现状与展望》的报告,对安全多方计算的背景与分类进行了介绍,主要详细介绍了基于秘密分享的安全多方计算和基于混淆电路的安全多方计算,同时探讨了隐私保护机器学习应用。

蒋昌俊院士作题为《智能算网系统》的主题报告,介绍了国家东数西算背景下算力网络建设的主要难题与基本情况。主要介绍了其课题组近年面向算力网络在算力资源的管理、调度、运营、安全等层面的重要研究进展,实现了算力资源的统筹编排管理与安全运营保障。

尼玛扎西院士以《国产操作系统多语言支撑技术》为题与大家进行交流,他表示提高我国基础软件竞争力需采取有效策略,要充分利用丰富的语言文字资源,积极响应国家需求,开发实用、好用的多语言操作系统,推动我国科技创新和发展。

阿里云智能集团资深副总裁李飞飞作题为《Data+AI与云原生时代的数据管理与存储》的报告,阐述了云计算与人工智能结合的时代下分布式数据库系统面临的新需求。主要介绍了阿里云自研的云原生数据库系统、数据仓库及多模数据库,为应用级云原生数据库的新型体系架构提供了关键技术支撑。

华为编译器与编程语言首席科学家高耀清作题为《探索智慧未来,编程编译技术的智能革命》的报告。高耀清提出,为满足AI大模型开创的新时代人机交互、加速器性能、可编程性等前沿需求,以仓颉编程语言、毕昇编译器与毕方IDE为中心的生态三件套,通过异构融合、协同创新以及全栈优化的方式,可以为开发者提供全场景、全流程的高效智能开发体验。

百度技术委员会主席吴华作题为《大模型与语言智能》的报告,详细介绍了百度文心一言等大模型的基本情况、发展历程、广泛应用以及目前面临的主要挑战。重点展示了百度大模型在语言理解和生成方面的最新研究进展,包括其在大规模数据训练、模型优化和多任务学习方面的技术突破。吴华分享了实际应用中的成功案例与经验,并探讨了未来的发展方向,特别是如何进一步提高大模型的智能化水平和实用性。大会同时设9个ACM China SIG分会论坛,泛在智能计算操作系统workshop,阿里云论坛,京东物流具身智能高峰论坛,主要面向青年博士研究生的大师面对面活动,面向青年学者的未来新星论坛,以及ACM China理事会发起的全新学术品牌活动——ACM China杰出学者论坛。聚焦前沿热点及趋势,交流领域发展新思路,深入呈现计算机领域学术研究、技术创新与行业应用的最新成果。大会期间,与会者参加各种技术交流和专业论坛,分享,经验和见解,共同交流、探讨信息领域最前沿的科研技术。ACM图灵大会是计算机领域内的一次盛会,必将为计算机领域的发展注入新的动力和活力。
来源:融媒体中心、信科院
通讯员:何莎、向星烁
实习编辑:余路遥
责任编辑:余楚倩