昨天陶哲轩说随着AI的能力越来越强，我们将从“证明稀缺”时代过渡到“证明过剩”时代。[二哈]
数学家：说好的我们最聪明呢？
发布于 美国
陈怡然-杜克大学