PapersPolicy17:14Chinese content数学证明不等于数学能力,AI仍缺创造力Yann LeCun说AI能做定理证明,但这只是数学里可自动化的部分,不是真正的数学能力,因为数学还需要创造力和直觉。#Yann LeCun#数学证明#创造力#AI局限Official accountYann LeCun@ylecunSourceRead laterReadWorth followingUsefulFollow Yann LeCun