已收录文章摘要，完整内容可前往原文阅读。
导语当人工智能遇见数学，智能与逻辑的边界正被重新定义。本期为人工智能与数学读书会第二季第1期，同济大学数学科学学院长聘副教授陈小杨将以“AI for math”为主线，先介绍人工智能与大模型的基础知识