6月8日下午，数学与统计学院在数学楼2-1会议室举办题为“AI辅助数学研究：从开放问题到论文写作的实践与反思”的学术报告。本次报告由数学试验班2201班学生汤泉宇主讲，学院相关教师、研究生及本科生参加报告会。报告结合汤泉宇同学围绕 Erdős Problems 等开放问题开展AI辅助数学研究的实践经历，重点分享人工智能工具在开放问题筛选、证明思路探索、文献核查和论文写作中的应用方法、作用边界与风险反思。

报告会由王卫老师主持。王卫老师对汤泉宇同学来院作报告表示欢迎，并简要介绍了本次报告的背景与意义。他表示，人工智能正在深刻影响数学研究和科研训练方式，本次报告聚焦AI辅助数学研究的真实案例和实践流程，对青年学生理解前沿科研范式、拓展学术视野、提升问题意识和研究能力具有积极意义。

报告中，汤泉宇同学围绕“为什么不能把AI输出直接当成证明”“为什么要区分联网求解和不联网求解”“怎样从错误证明中提取有用结构”“怎样把聊天记录整理成可读的数学证明”等问题展开讲解。他介绍了利用AI开展文献检索、引用核查、候选思路生成、证明草稿整理和LaTeX改写的具体方法，并结合若干开放问题案例，系统展示了从文献核查、不联网求解、证明格式化到人工检查和形式化验证的工作流程。他指出，AI生成的错误证明并非完全没有价值，关键在于识别其中可保留的数学结构，并通过人工重写和逐步验证，将其发展为可靠的数学论证。交流环节中，与会师生围绕AI在不同数学领域中的适用性、多个智能体协同求解的可能性以及AI时代学生应具备的能力等问题进行了深入讨论。

报告最后，孙建永院长作总结讲话。他对汤泉宇同学的精彩报告表示感谢，并对其在数学研究和AI辅助探索方面取得的成绩给予充分肯定。孙建永院长指出，人工智能正在推动科研范式发生深刻变化，师生既要积极拥抱新工具、新方法，也要清醒认识到数学研究的核心责任仍然在人，研究者需要理解问题本质、判断研究方向、发现证明漏洞、重写论证过程，并最终对研究结果负责。本次报告内容充实、案例鲜活，既展示了AI辅助数学研究的前沿实践，也引发了师生对未来数学研究范式、人才培养模式和科研评价方式的深入思考。