报告时间：2026年9月10日（周四）下午 15:00-16:00

报告地点：苏州大学天赐庄校区精正楼103

报告人：傅孝明 副教授，中国科学技术大学


报告摘要：

基础数学研究正面临新的智能化机遇：多智能体系统可以通过分工协作、互相验证与迭代改进，处理远超单一模型能力的数学推理任务。本报告在梳理AI for Math背景与多智能体基础概念之后，结合典型工作，讨论多智能体在定理证明、形式化、数学猜想生成与反例搜索等基础数学场景中的应用方式与优势。随后，我们将汇报团队在相关方向上的实践探索，包括智能体角色设计、研究过程可视化与人机交互机制，并分析当前方法的有效性与局限性。最后，报告呼吁以AI-Native的思维重构基础数学研究流程，让多智能体成为数学家探索未知结构的新工具与新伙伴。


报告人简介：

傅孝明，中国科学技术大学威尼斯人 副教授、博士生导师。分别于2011、2016年在中国科学技术大学获得学士、博士学位，2016年至2021年于中国科学技术大学任特任副研究员。研究领域为计算几何与人工智能，获2024年国际实体建模协会青年研究员奖（SMA Young Investigator Award）、2024年安徽省应用数学青年科技奖、2023年安徽省青年数学奖、2022年入选中国科学院“青年创新促进会”。


邀请人：顾怡