4月9日上午，由数学学院主办的“合肥工业大学数学文化大讲坛”2026年第二期报告会（总第八期）在翡翠科教楼大数据中心举行。中国科学院院士、北京大学数学科学学院院长刘若川教授应邀作了题为“当数学遇见AI：从前沿进展到北大探索”的专题报告。

报告中，刘若川院士从范式演变的视角，将AI与数学的融合发展划分为计算辅助、逻辑验证、模式发现和协同推理四个阶段，生动阐释了机器角色从工具向数学家“协作者”的转变。他重点介绍了北京大学AI4Math团队的最新研究进展：团队在形式化与非形式化两条路径上同步推进，研发了智能体系统Archon与Rethlas，并成功解决了交换环论中的Anderson猜想——通过构造反例否定了该猜想，展示了AI自主发现新定理并进行形式化验证的能力。此外，刘院士还展望了“数学赋能AI、AI反哺数学”的双向发展前景，他呼吁数学家主动与工程师深度协作，培养兼具数学思维与工程能力的复合型人才，推动科研模式与评价体系转型。

此次报告让师生们近距离领略了数学与人工智能交叉领域的前沿成果，拓宽了学术视野，激发了跨学科研究的热情。数学学院将持续举办高品质学术活动，进一步推进学院“数学文化+思政教育”育人品牌和特色建设。