陶哲轩访谈视频
-
发布了文章 1个月前
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的”
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的” “也许很快OpenAI将能证明陶哲轩是错的。”好家伙!隔着屏幕都能闻到“硝烟”味了(bu shi~事情是这样的。数学大佬...
-
发布了文章 2个月前
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」 陶哲轩转发,AI搞数学证明的标准习题集来了!DeepMind最新开源形式化数学猜想库——猜想库收录了经典的形式化表述的数学猜想集合,例如,解析数论中的四个朗道...
没有更多内容













