已收录文章摘要，完整内容可前往原文阅读。
导语AI自动发现数学证明现在蓬勃发展，作为数学的另一面，应用数学的研究在AI时代也有很大加速，但是从真实世界问题到数学模型这一基础过程却还不尽如人意。本期为AI for Math读书会第二季第2期，北