陶哲轩：数学证明将从稀缺走向丰裕，AI 正在重塑研究|陶哲轩|数学 2.0|AI

《on the SAIR》解读陶哲轩提出的数学2.0时代，AI正在重塑数学研究，我们从证明稀缺时代，步入证明丰裕的全新阶段。#视频播客开麦计划# #视频播客上新计划# http://t.cn/AXYHsFCx

发布于河南