报告时间：2026年11月18日（周三）下午 16:00-17:00

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

报告人：王语同 博士生，北京大学

报告摘要：

最近，前沿大模型接连攻克重要猜想，OpenAI 发布 722 篇数学成果，这对数学学科产生了很大的冲击。一些我们曾经视为明珠的问题、理论，仿佛在一夜之间被颠覆。站在这个学科的十字路口，我们都不免去思考 AI 与数学的关系以及未来的方向。在这个报告中，作为 AI4Math 领域的研究者，我会分享我在数学智能体设计、数学推理模型训练等工作中的相关心得，并向大家介绍 AI4Math 的领域前沿和基本风味。以此出发，我也想与大家一同探讨，在 AI 时代数学专业同学的优势和选择。

报告人简介：

王语同，北京大学博士生。本科20级数学基地班学生，硕士就读于新加坡国立大学。博士师从董彬教授，主要研究兴趣是自动定理证明和推理模型训练，在ICLR、NeurIPS等期刊上一作发表多篇论文。

邀请人：梁兵兵