文章资料

“科学从诞生起就是开源的！” 陶哲轩 x 邓煜重磅采访：若全宇宙只有AI懂证明，数学便毫无意义

“别把我们数学家当免费的 debug 民工。”

号外保存文章的公开索引信息，正文版权归原作者及发布公众号所有。