Speaker: 粟文泽博士，清华大学

Inviter: 流体力学方程研究中心

Title: AI辅助的PDE研究

Language: Chinese

Time & Venue: 2026.10.15 09:30-10:30 南楼N204

Abstract: 本报告结合偏微分方程研究中的具体实践，介绍通用编程智能体与基于大语言模型的自动定理证明系统，讨论如何通过专用工具与工作流程设计，辅助数学推导、估计检验及证明方案的迭代。同时，概览相关系统的发展现状，讨论证明搜索、验证反馈、上下文管理与智能体协作等定理证明系统的关键设计问题，并探讨这些方法在 PDE 研究中的应用前景与局限。