AI for Math 读书会第二季第 6 期纪要|AI 时代数学研究新范式,智能体、形式化证明与人机协作

本期是集智俱乐部发起的 AI for Math(人工智能与数学)读书会第二季第 6 期,由北大朱韬宇博士主讲,核心主线是:AI 正在把数学从