7月19日下午，2026年上海交通大学——清华大学——北京大学“成长伙伴”计算机科学国际暑期学校重磅学术活动“图灵奖得主学术报告暨炉边对话”在上海交通大学致远学院报告厅举行。活动邀请1986年图灵奖得主、康奈尔大学荣休教授John Hopcroft，2000年图灵奖得主、中国科学院院士、清华大学交叉信息研究院院长姚期智，以及2025年图灵奖得主、加拿大蒙特利尔大学教授、量子信息科学先驱Gilles Brassard担任主讲与对话嘉宾。三位嘉宾围绕计算机科学基础、AI for Science、量子信息与青年科研成长等议题，与现场师生展开深入交流。致远学院党委书记周申申、常务副院长何峰，上海财经大学计算机与人工智能学院院长陆品燕，致远学院副院长周栋焯、党委副书记刘延、计算机科学方向（约翰·霍普克罗夫特班）项目主任郁昱、院长助理李冰出席了活动。
追问计算本质：从图灵论文到可计算实数
Gilles Brassard教授以“Alan Turing and Me”为题作学术报告。作为量子密码学奠基人之一，Brassard教授从艾伦·图灵1936年发表的奠基性论文出发，带领听众重新审视“可计算”这一计算机科学基本概念。他围绕可计算实数的不同表示方式，阐释“逐位打印”与“有效逼近”之间看似细微却影响深远的差别，并进一步讨论实函数可计算性、连续性、不可判定性以及构造性数学等问题。报告以图灵思想为线索，展现了基础理论在现代计算科学中的持久生命力。
展望AI for Science：从实验科学到理论科学
姚期智教授以“Recent Developments in AI for Science”为题作学术报告。作为理论计算机科学和量子信息科学领域著名学者，姚期智教授系统梳理了人工智能赋能科学研究的最新进展。他指出，自ChatGPT问世以来，人工智能不仅在医学、天文学等实验科学领域推动研究效率和发现能力提升，也开始在理论科学中展现出重要突破潜力。报告中，他结合AI辅助早期宇宙暗弱天体探测、DrugCLIP推动大规模药物虚拟筛选、AI赋能量子纠错与量子计算，以及AI在宇宙弦问题、单位距离问题等理论研究中的进展，展示了AI for Science正在成为人工智能和科学研究共同面对的重要方向。
