B体育-第四届“三校图灵中心交流论坛”在上海交通大学举办

6月22日，第四届“三校图灵中心交流论坛”在上海交通大学徐汇校区举办，此次论坛由上海交通大学约翰·霍普克罗夫特计算机科学中心、清华大学交叉信息研究院、北京大学前沿计算研究中心联合主办，上海交通大学约翰·霍普克罗夫特计算机科学中心承办，上海期智研究院协办，论坛主题为“图灵薪火，青年论道”。来自上海交通大学、清华大学、北京大学、复旦大学、中国科学技术大学、浙江大学、上海期智研究院等十余所知名高校、科研院所的师生，以及华为、腾讯、合合信息、阿里云等高科技企业代表共计近200人参会。论坛由上海交通大学电子信息与电气工程学院党委书记苏跃增、约翰·霍普克罗夫特计算机科学中心执行主任郁昱共同主持。

上海交通大学副校长张兆国致欢迎辞。他代表学校对各位专家学者的到来表示热烈欢迎，并对此次论坛的召开致以衷心祝贺。他表示，在John Hopcroft教授和姚期智院士的引领下，三所顶尖学府的计算机科学中心（清华交叉信息研究院、上海交大约翰·霍普克罗夫特计算机科学中心、北大前沿计算研究中心）在青年人才引育和本科生培养方面均取得了显著成绩，希望他们带领大家继续探索创新人才自主培养模式，打造高水平的人才培养和科技创新基地。

作为论坛的发起者，两位计算机领域最高奖项图灵奖得主——中国科学院外籍院士、上海交通大学约翰·霍普克罗夫特计算机科学中心主任John Hopcroft，以及中国科学院院士、清华大学交叉信息研究院院长姚期智分别致辞。

John Hopcroft分享了自己曾经在学术论坛中结识资深前辈和优秀朋辈的经历，鼓励与会者深入交流、积极探索，为解决计算机科学核心问题和人工智能前沿问题集思广益。同时，他也希望论坛能够在举办过程中不断摸索新的形式，为青年学者提供更多学术交流的机会。

姚期智在视频致辞中对John Hopcroft不远万里再次来到中国表示由衷的感谢，对他为提升中国教育和研究水平的慷慨相助表示敬意。希望本次论坛如同过去的每一届论坛一样，收获圆满成功。

开幕式后，我国人工智能、量子信息和量子计算、计算机系统等领域的五位顶尖学者分别作主旨报告。中国科学院院士、清华大学基础科学讲席教授、姚期智讲座教授段路明以《离子量子计算机进展与规模化》为题，介绍了一种新的规模化量子计算方案——二维离子阵列系统。报告中，他介绍了团队基于二维离子阵列对拥有225个单元的量子存储器的实现，首次实验实现了拉比-哈珀德模型在2^57维希尔伯特态空间中的量子模拟，以及首次利用同种离子编码两种类型的量子比特，将串扰错误率降低至容错量子计算阈值下的工作。

北京大学教授、多媒体信息处理全国重点实验室主任黄铁军作题为《技术思维与科学思维——以AI为例》的主旨报告。他以什么是技术、什么是科学以及两者之间的关系为切入点，通过讲述飞机制造的过程，指出人们常误以为科学是技术的先导，但这种观念并不全面。他提到，虽然理论有其局限性，但它为技术发展提供了重要指导，并推动科学不断进步。

华为公司人工智能首席科学家、国际欧亚科学院院士田奇以《AI大模型：从2B到2C的一些实践与思考》为题分享了对AI大模型的行业实践和未来竞争形式的思考。他强调了基础硬件对大模型科技竞争的重要性，并指出全栈自主可控AI的必要性。同时，他分享了盘古大模型在各领域的应用，认为AI正从局部走向全行业部署，未来将更依赖行业数据，多模归一，且端侧大模型将更贴近生活。

浙江大学求是特聘教授吴飞在题为《101 计划核心课程 < 人工智能引论 >建设实践与通识教育思考》的报告中介绍了计算机“101计划”及其核心课程“人工智能引论”。他强调了高质量语料数据对模型的重要性，并介绍了使用教育学语料垂直训练的“智海三乐”模型及其应用。关于人工智能通识教育，他认为，在有限的课堂时间内，教师不必追求覆盖所有的知识点，而应注重培养学生的思路和体系化能力。

北京大学特聘教授詹乃军作题为《Formal design of embedded systems》的主旨报告。他分享了模型驱动的安全攸关系统的形式化设计工作，从建模、形式验证和代码生成三个部分对系统验证过程进行了详细介绍。同时，他介绍了基于AADL+Simulink/Stateflow和HSCP的建模仿真工具，基于混合Hoare逻辑的验证理论和不变式生成技术，以及最后从HCSP到SystemC的代码生成过程。

下午，四场分论坛同步举行，24位专家学者共同“论道”计算机科学研究的当下和未来。“人工智能的可信与安全”分论坛从理论机理、工程应用，以及伦理与治理层面介绍了人工智能的可信与安全问题。“生成式人工智能及应用”分论坛围绕生成式人工智能的原理探究进行深入交流，并介绍了其在文档恢复、二维码美化等实际应用中的落地情况。“量子信息与量子计算”分论坛从量子物理和计算机科学两个方向探讨量子信息与量子计算的交叉研究。“程序语言与程序验证”分论坛围绕算法与程序的自动生成、编译器验证、编程语言新范式、程序自动验证、系统软件验证分享最新研究成果。分论坛分别由上海交通大学副教授张拳石、林洲汉、吴亚东、曹钦翔主持。

近二十年来，John Hopcroft和姚期智两位图灵奖得主全身心投入我国的计算机科学教育事业，分别在清华大学、上海交通大学、北京大学领衔创立了计算机科学研究和人才培养“特区”。历经多年发展，这些“特区”已逐步构建起世界一流的学术环境，汇集了大批优秀的海外青年人才。自2018年起，三所顶尖学府的计算机科学“特区”轮流举办“图灵中心交流论坛”，旨在为领域内的青年学者搭建高水平的学术交流平台，接触领域内的资深专家，增进学术沟通和友谊。