数学家讨厌人工智能。他们无法放弃它 笔记