2026年7月17日下午，数学与统计学院“数统华章2026”系列学术活动第47期——“人工智能+科研”专题报告在长安校区文津楼1319举行。西安交通大学汤泉宇应邀作题为“AI辅助数学研究的实践与思考”的学术报告，学院院长周红军主持报告会，学院党委书记鲜路和其他班子成员、中青年教师、研究生、本科生等300余人到场参会。

报告中，汤泉宇结合自身利用人工智能探索数学开放问题的实践，系统介绍了AI辅助数学研究的基本流程，包括文献检索、提示词设计、人机交互证明生成、交叉审查及形式化验证等环节。他通过多个数学公开问题案例，分析了AI在发现证明思路、构造中间对象和推动问题求解方面的潜力，同时指出，AI生成的证明仍可能存在隐蔽错误，研究者必须进行严格的人工核验，真正理解并规范重写证明，对最终研究结果负责。

在问答环节，汤泉宇围绕AI工具选择、提示词迭代、资料提供、学术伦理及使用规范等问题，与现场师生进行了深入交流。现场互动积极，学术氛围浓厚。

报告人汤泉宇，西安交通大学本科生，研究兴趣涵盖组合数学、图论、数论、矩阵分析、复分析与偏微分方程等方向。本科期间，他已在 Bull. London Math. Soc.、Proc. Amer. Math. Soc.、Math. Proc. Cambridge Philos. Soc.、European J. Combin.等国际数学期刊发表或接收论文十余篇。他积极探索人工智能辅助数学研究，成功解决了 Erdős 公开问题网站第 543 号和第 650 号问题等，相关工作得到菲尔兹奖得主陶哲轩教授的关注与认可。

本次报告使我院师生进一步认识了人工智能赋能数学研究的应用价值与能力边界，为探索人机协同科研模式、提升数学研究创新能力提供了有益启发。