李鹏，清华大学智能产业研究院副研究员，分别于清华大学计算机科学与技术系获得学士和博士学位。主要研究方向包括大模型、智能体、AI4Math 与 AI 驱动的科学发现，在人工智能重要国际会议和期刊发表论文 100 余篇。

他曾获 ACL 2023 Outstanding Paper Award、ICAIS 2025 Responsible AI Research Award、中国中文信息学会钱伟长中文信息处理科学技术奖一等奖等荣誉，主持科技创新 2030 重大项目课题、国家自然科学基金面上项目等科研项目，并曾担任 ICLR、ACL、EMNLP、NAACL 等国际会议领域主席。其研究成果曾应用于腾讯微信、百度等大规模线上产品。

个人主页：

http://www.lpeng.net

教育经历：

2009-2015 清华大学计算机科学与技术系 博士

2005-2009 清华大学计算机科学与技术系 学士

工作经历：

2022-至今 清华大学智能产业研究院 副研究员

2018-2022 腾讯微信模式识别中心 专家研究员、组长

2015-2017 百度深度学习研究院 资深研发工程师

研究领域：

大模型、智能体、AI4Math、AI 驱动的科学发现

代表性论文：

1. AI Mathematician: Towards Fully Automated Frontier Mathematical Research.

Yuanhang Liu, Yanxing Huang, Yanqiao Wang, Peng Li, Yang Liu. arXiv.

提出 AI Mathematician（AIM）框架，探索人工智能参与前沿数学研究的可能性，推动 AI4Math 从求解基准测试迈向数学发现。

System: https://github.com/TheoryFoundry

Blog: https://ai-mathematician.net

2. Pessimistic Verification for Open Ended Math Questions

Yanxing Huang, Zihan Tang, Zejin Lin, Peng Li, Yang Liu. ICML 2026.

提出悲观验证（Pessimistic Verification）框架，面向开放式数学问题中的推理错误检测，提升 AI 对数学证明与推理过程的可靠性验证能力。

3. AIGS: Generating Science from AI-Powered Automated Falsification

Zijun Liu, Kaiming Liu, Yiqi Zhu, Xuanyu Lei, Zonghan Yang, Zhenhe Zhang, Peng Li, Yang Liu. Preprint.

提出 AI-Generated Science（AIGS）框架，以自动化证伪为核心推动科学发现，使 AI 能够生成科学假设并主动检验和修正生成结果。

4. Position: Towards Unified Alignment Between Agents, Humans, and Environment

Zonghan Yang, An Liu, Zijun Liu, Kaiming Liu, Fangzhou Xiong, Yile Wang, Zeyuan Yang, Qingyuan Hu, Xinrui Chen, Zhenhe Zhang, Fuwen Luo, Zhicheng Guo, Peng Li, Yang Liu. ICML 2024.

提出智能体-人类-环境统一对齐（UA2）理念，将智能体的对齐目标从遵循人类偏好扩展至兼顾环境约束以及时间、成本等现实因素。

5. A Dynamic LLM-Powered Agent Network for Task-Oriented Agent Collaboration

Zijun Liu, Yanzhe Zhang, Peng Li, Yang Liu, Diyi Yang. COLM 2024.

提出动态多智能体协作框架 DyLAN，根据任务需求自适应优化智能体之间的协作关系，提升复杂任务中的协同推理能力。

主要荣誉：

ICAIS 2025 Responsible AI Research Award (2025)

ACL 2023 Outstanding Paper Award (2023)

CIKM 2021 Best Resource Paper Nomination (2021)

中国中文信息学会钱伟长中文信息处理科学技术奖一等奖 (2020)