北大智能学院 张驰 助理教授
报告生成时间：2026年9月15日
个人主页：张驰（Chi Zhang）个人主页 wellyzhang.github.io；北京大学智能学院教师页面
所属团队：北京大学智能学院 ARIA 实验室（Agency · Reasoning · Intelligence · Autonomy，2026年7月成立，张驰任 PI）；智能学院官网"认知推理"学科方向骨干名单（负责人王亦洲）中目前未列入张驰，其官方标注研究领域为"语言模型、智能体、常识推理、认知计算"
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 张驰（Chi Zhang） |
| 职称 | 助理教授（Tenure-Track，北京大学智能学院，2026年3月入职） |
| 所属单位 | 北京大学智能学院；ARIA 实验室创始人暨 PI |
| 电子邮箱 | chizhang.cz@pku.edu.cn |
| 研究领域（官方口径） | 语言模型、智能体、常识推理、认知计算；具体涵盖认知推理、抽象推理、视觉推理、概念学习与神经符号方法、推理过程的结构化表示与优化、概率建模、大模型推理优化等 |
| 师承 | UCLA 计算机科学博士（2022年），导师朱松纯（Song-Chun Zhu）教授（智能学院官网明确记载） |
| 早期学术经历 | 本科期间在浙江大学与蔡登（Deng Cai）教授合作；曾在香港科技大学与杨迪一（Dit-Yan Yeung）教授合作（据其个人主页自述） |
| 同名消歧 | 本报告所述张驰为北京大学智能学院助理教授（wellyzhang.github.io），与西湖大学工学院助理教授张驰、印第安纳大学医学院副教授张驰、中国科大谈海生门下2023届博士毕业生张驰（网络/在线算法方向，洪堡博士后）、上海交大张驰豪（Chihao Zhang）等重名学者均无关 |
二、教育背景与职业履历
张驰 2017 年于浙江大学获计算机科学与技术专业学士学位（注意：本科院校为浙江大学，非北京大学，已据智能学院官网核实，修正用户背景中的疑点）。本科阶段他在浙大与蔡登教授开展数据挖掘方向合作（产出 Neurocomputing 期刊论文及一项数据手套三维建模国家专利 CN104778746 B），其后赴香港科技大学与杨迪一教授合作（产出 IJCAI 2018 无人机控制论文，合作者含沈劭劼）。
2017 年本科毕业后，张驰赴美国加州大学洛杉矶分校（UCLA）计算机科学系攻读博士学位，2022 年获博士学位，导师为朱松纯教授。博士期间他以视觉抽象推理为主线，产出了 RAVEN 数据集（CVPR 2019，关系与类比视觉推理领域的标杆基准）、CoPINet（NeurIPS 2019 Spotlight）、ACRE 抽象因果推理（CVPR 2021）、PrAE 概率溯因与执行（CVPR 2021）、ALANS 代数表示系统泛化（ECCV 2022）等系列工作，并与朱毅鑫、Ying Nian Wu、Hongjing Lu、Mark Edmonds 等朱松纯学术体系成员密切合作；博士后期还与 Google 研究人员合作发表 DETR++（CVPR 2022 T4V 研讨会）。
2022 年博士毕业后，张驰回国加入北京通用人工智能研究院（BIGAI）任全职研究科学家（据其个人主页，"a few wonderful ones at BIGAI as a full-time research scientist"），期间完成基于极小极大熵学习的人类水平少样本概念归纳框架（Science Advances, 2024，第一作者，与贾宝雄、朱毅鑫、朱松纯合作，获人民日报、新华网、光明网、科技日报报道）等代表作。2025 年至 2026 年，他在字节跳动 Seed 大模型团队从事数学与代码推理模型研发，主导研发面向自动定理证明的深度推理系统 Seed-Prover（2025年7月技术报告）。2026 年 3 月，张驰加入北京大学智能学院任助理教授；同年 7 月在北大创立 ARIA 实验室并任 PI，实验室方向覆盖智能体（Agency）、高效推理（Reasoning）、专项超人类智能（Intelligence）与具身自主（Autonomy）四大板块，其团队工作登上 Nature Machine Intelligence 封面（通几何 Tong Geometry）。
职业履历要点（时间线）：
| 时间 | 事件 |
|---|---|
| 2013–2017 | 浙江大学计算机科学与技术专业，学士（期间与蔡登合作） |
| 约2016–2017 | 香港科技大学合作研究（与杨迪一、沈劭劼合作 IJCAI 2018） |
| 2017–2022 | UCLA 计算机科学博士，导师朱松纯 |
| 2022–2025 | 北京通用人工智能研究院（BIGAI）全职研究科学家 |
| 2025–2026 | 字节跳动 Seed 大模型团队（数学与代码推理模型，主导 Seed-Prover） |
| 2026.3 至今 | 北京大学智能学院助理教授（Tenure-Track） |
| 2026.7 | 创立 ARIA 实验室（北大），任 PI |
三、学生培养情况
张驰 2026 年入职后组建 ARIA 实验室，团队处于初创阶段。据 ARIA 实验室官网人员页面（2026年7月上线），其名下及联合指导学生情况如下：
1. 名下招收学生
- 穆湛存（Zhancun Mu）：北京大学智能学院博士生，ARIA 实验室技术骨干序列成员。
- 郑欣悦（Xinyue Zheng）：北京大学智能学院博士生。
- 彭永骞（Yongqian Peng）：北京大学智能学院硕士生，已作为共同作者参与 NarrativeLoom（CHI 2026）、组合创造力（CogSci 2025）等工作。
2. 联合培养学生
- 李恒立（Hengli Li）：智能学院博士生（与朱松纯联合指导）。
- 崔欢（Huan Cui）：北京大学王选计算机研究所博士生（与孙军联合指导）。
- 徐曼洁（Manjie Xu）、李士奇（Shiqian Li）、杨心怡（Xinyi Yang）、马雨溪（Yuxi Ma）：智能学院博士生（与朱毅鑫联合指导）。其中徐曼洁、李士奇为张驰在主动推理（NeurIPS 2023、NeurIPS 2025）与直觉物理（NeurIPS 2022 Spotlight、ICLR 2024、ICLR 2026×2）方向上的长期合作学生；马雨溪为 NMI 2026 通几何论文作者之一。
3. 代表性学生成果
2026 年 7 月，ARIA 成员（马雨溪、彭永骞等）以论文《Timing is Everything: Temporal Scaffolding of Semantic Surprise in Humor》获认知科学学会年会 CogSci 2026 马尔奖（Marr Prize，最佳论文奖），张驰与朱毅鑫为该论文的共同资深作者，这是 ARIA 实验室成立后首个标志性学生成果。
需要说明的是，张驰独立招收的首届学生入学时间尚短，毕业生去向暂无公开记录，后续培养成效有待观察。
四、学术合作网络
4.1 学院/实验室内部合作（北大—通院体系）
- 朱松纯（北京大学讲席教授、智能学院院长、BIGAI 院长）：博士导师与最核心合作者。二人合作贯穿 RAVEN（CVPR 2019）至通几何（NMI 2026）近十年，张驰是"UCLA 博士生回流北大智能学院"谱系（朱毅鑫、张驰、刘航欣）中的关键一环（详见本库 pku_sai_zhusongchun_network 报告）。
- 朱毅鑫（北京大学心理与认知科学学院助理教授、人工智能研究院院长助理）：最高频合作者之一，合作论文逾十篇，覆盖抽象推理、直觉物理、主动推理、创造力与大模型人格评测等方向；ARIA 实验室多名学生与其联合指导。
- 王亦洲（北京大学博雅特聘教授、认知推理方向负责人）：组合创造力（CogSci 2025）等论文合作者，ARIA 官网列其为合作者。
- 梁一韬（智能学院助理教授）：通几何（NMI 2026）论文共同作者。
- 彭玉佳（北大心理学院助理教授）：直觉物理双过程模型（CogSci 2025）合作者，ARIA 官网合作者。
- BIGAI 体系：王威（Wei Wang，通几何合作者）、郑子隆（Zilong Zheng）、贾子夏（Zixia Jia）、代博（Bo Dai，X-VoE 等直觉物理工作合作者）等 BIGAI 研究科学家均列于 ARIA 合作者名单，体现"北大智能学院—BIGAI"双平台的持续联动（张驰本人亦为 BIGAI 前全职研究科学家，属"回流"而非双聘）。
4.2 国内学术合作网络
- 浙江大学：本科母校，经蔡登教授（数据挖掘/机器学习）接入浙大 CAD&CG 体系。
- 北京理工大学：梁伟教授（主动推理、具身交互方向），NeurIPS 2023/2025 系列工作合作者，ARIA 官网合作者。
- 清华大学通班/通院生态：通过朱松纯—朱毅鑫体系间接接入（如通智测试相关合作），直接署名合作公开记录有限。
4.3 国际学术合作网络
- UCLA：博士母校。除朱松纯外，与 Ying Nian Wu（统计系，ALANS、ICRA 2021 合作者）、Hongjing Lu（心理学系，CoPINet 合作者）、Mark Edmonds（ACRE 合作者）等保持合作；Ying Nian Wu 列于 ARIA 官网合作者名单。
- MIT：与 Joshua Tenenbaum 合著立场论文《Dark, Beyond Deep》（Engineering, 2020）；MIT 博士生 Guangyuan Jiang（大模型人格评测 NeurIPS 2023 Spotlight、MEWL ICML 2023 一作）列于 ARIA 合作者名单。
- 香港科技大学：杨迪一教授（本科后期合作导师）、沈劭劼教授（IJCAI 2018 合作者）。
- Google：博士期间 DETR++ 论文与 Google 研究人员（Frederick Liu、Hao Zhang 等）合作。
五、业界合作关系深度分析
张驰的业界关系呈现"一段深度雇佣 + 一段研发机构任职 + 若干项目合作"的结构：
- 字节跳动 Seed（2025–2026，全职）：这是其最深入的产业经历。他在 Seed 大模型团队从事数学与代码推理模型研发，主导研发面向自动定理证明的深度推理系统 Seed-Prover（2025年7月发布技术报告并开源），该系统在 Lean 定理证明上达到国际前沿水平，是字节 AI4Math 方向的标志性工作。这段经历使其研究重心从视觉抽象推理扩展至大模型推理优化，也构成其入职北大后 ARIA 实验室"高效推理（Reasoning）"方向的产业技术底色。
- BIGAI（2022–2025，全职研究科学家）：BIGAI 为北京市支持的新型研发机构（朱松纯任院长），介于学术界与产业界之间。张驰在此完成 Science Advances 2024 代表作，并深度参与"通"系列 AGI 研究（通几何代码库托管于 bigai-ai 组织），该经历是其"北大—通院"双平台网络的核心纽带。
- Google（项目合作）：博士期间与 Google 研究人员的检测变换器合作（CVPR 2022 T4V），公开资料未披露正式实习或雇佣关系，不作延伸。
- 技术转化形态：本科期间已有一项国家发明专利（数据手套三维建模，CN104778746 B）；入职北大后未见创业或企业兼职的公开记录，其产业连接主要通过"人才环流"（自身在 BIGAI、字节与高校之间的流动）而非横向项目或创业实现。
六、重要奖项与学术兼职
| 类别 | 名称/内容 |
|---|---|
| 论文奖 | CogSci 2026 马尔奖（Marr Prize，最佳论文奖，《Timing is Everything: Temporal Scaffolding of Semantic Surprise in Humor》，张驰为共同资深作者；ARIA 实验室官网与新闻明确记载） |
| 顶会亮点论文 | NeurIPS 2019 Spotlight（CoPINet，录取率 2.43%）；NeurIPS 2022 Spotlight（直觉物理学习机制）；NeurIPS 2023 Spotlight（大模型人格评测）；AAAI 2020 Oral（Machine Number Sense）；ICCV 2023 Oral（X-VoE） |
| 代表性期刊论文 | Science Advances 2024（人类水平少样本概念归纳，第一作者）；Nature Machine Intelligence 2026（通几何，封面文章，第一作者，获新华社、人民日报、科技日报报道） |
| 学术服务 | 会议审稿人：CVPR（2019 起）、ICCV（2019 起）、ECCV（2020 起）、NeurIPS（2020 起）、ICLR（2020 起）、ICML（2021 起）、AAAI（2020 起）；期刊审稿人：IEEE TIP、Psychological Review |
| 专利 | 数据手套自然手势精确三维建模方法（CN104778746 B，共同发明人，本科阶段成果） |
| 人才计划/其他奖项 | 公开资料未披露其入选国家级人才计划或其他个人荣誉的记录 |
七、Connection 圈层总结
张驰是朱松纯学派第二代中最具"推理"标签的青年学者，其学术关系网络可概括为"一师门、双平台、三圈层"：
- 核心圈（朱松纯师门）：导师朱松纯为其网络的原点与主轴，同门朱毅鑫（最高频合作者）、刘航欣（AAAI 2019 合作者、同批回流北大）构成同代骨干。张驰在学派中的功能定位清晰——从 RAVEN 到通几何再到 Seed-Prover，他始终承担"推理"这条主线的攻坚角色，是朱松纯"小数据、大任务"认知 AI 路线与大模型推理技术路线之间的接驳点。
- 双平台（北大智能学院 + BIGAI）：博士毕业后先 BIGAI 后北大，2026 年创立 ARIA 实验室并与 BIGAI 研究科学家群体（王威、郑子隆、贾子夏、代博）保持合作署名，属"北大—通院"人才环流的最新样本；但截至目前其为北大全职教职，未见双聘的公开记录。
- 三圈层：内圈为 ARIA 实验室初创团队与朱毅鑫联合指导的学生群（直觉物理、主动推理方向）；中圈为北大认知推理/机器学习方向同事（王亦洲、梁一韬、彭玉佳）及国内合作者（北理工梁伟、浙大蔡登）；外圈为国际节点（UCLA 的 Ying Nian Wu、Hongjing Lu，MIT 的 Tenenbaum 合作脉络与 Guangyuan Jiang，港科大杨迪一）与产业节点（字节 Seed、Google 合作者）。
- 风格特征：其一，"基准—方法—系统"的完整研究链——从 RAVEN 数据集到 ALANS 方法再到 Seed-Prover 系统，显示其兼具学术定义问题与工程实现的能力；其二，罕见的"学界—新型研发机构—大厂—学界"四段履历，使其网络天然横跨学术与产业；其三，作为 2026 年新入职的青年 PI，其网络价值仍在快速扩张期，CogSci 2026 马尔奖（学生成果）预示其正从"被培养者"向"培养者"角色切换。
主要资料来源
- 北京大学智能学院官网：张驰教师页面（sai.pku.edu.cn/info/1362/9415.htm，职称、研究领域、教育履历、代表成果、入职时间的最终依据）；专职教师名录（sai.pku.edu.cn/szdw/zzjs.htm）；学科方向页面（sai.pku.edu.cn/xkjs/xkfx.htm 及认知推理方向详情页 info/1087/2310.htm，核实张驰未列入认知推理方向官方骨干名单）。
- 张驰个人主页（wellyzhang.github.io）：教育经历、BIGAI 全职研究科学家任职、字节 Seed 经历、完整论文列表、审稿服务、早期合作者（蔡登、杨迪一）自述。
- ARIA 实验室官网（aria-ai-lab.github.io）：实验室成立时间（2026年7月1日）、四大方向、人员页面（名下及联合指导学生名单）、合作者名单、CogSci 2026 马尔奖新闻。
- 本库既有报告：pku_sai_zhusongchun_network.md（朱松纯报告中关于张驰的核实结论，本报告与其保持一致并据官网进一步确认本科院校为浙江大学）。
- 论文原始页面：Science Advances 2024（DOI: 10.1126/sciadv.adg2488）；Nature Machine Intelligence 2026（DOI: 10.1038/s42256-025-01164-x，通几何，bigai-ai/tong-geometry 代码库）；Seed-Prover 技术报告（arXiv:2507.23726）；NeurIPS 2019 CoPINet、CVPR 2019 RAVEN、ECCV 2022 ALANS 等（均见个人主页论文列表）。