AI自动发现数学证明现在蓬勃发展，作为数学的另一面，应用数学的研究在AI时代也有很大加速，但是从真实世界问题到数学模型这一基础过程却还不尽如人意。本期为AI for Math读书会第二季第2期，北京工业大学诸葛昌靖老师将以应用数学工作者的背景，以使用者的身份讨论AI和Agent数学建模应用的感受与思考，同时探讨对于数学教育问题的体会。

为系统梳理 AI 在科学与数学领域的最新进展，集智俱乐部联合同济大学数学科学学院长聘副教授陈小杨、北京工业大学数学统计学与力学学院副研究员诸葛昌靖共同发起「人工智能与数学」读书会第二季。组织对该主题感兴趣的研究者与探索者共同研读前沿文献、交流研究思路。

读书会将于2026年9月22日起，每周二19:30-21:30线上开展，持续8-10周，包含主讲分享与讨论交流，并提供会后视频回放，诚邀相关领域研究者及跨学科兴趣者参与。