论文政策与合规17:14数学证明不等于数学能力，AI仍缺创造力Yann LeCun说AI能做定理证明，但这只是数学里可自动化的部分，不是真正的数学能力，因为数学还需要创造力和直觉。#Yann LeCun#数学证明#创造力#AI局限官方账号Yann LeCun@ylecun原文稍后读已读值得跟进有用关注 Yann LeCun
