AI 越来越强，这是好事。原因我稍后讲。 当前却有一堆人杞人忧天，说什么 AI 会毁灭人类。甚至连有模有样的数学家，都着急跳脚，说什么 AI 在毁灭数学。 有几分滑稽。 我称之为火车恐惧症，这病二百年前就有人得过。 中华民族的优秀女性慈禧太后，是最知名的病友。为了缓解病痛，不得不引入了马拉火车的济世良方。 得了这种病呢，就会咿呀咿呀乱叫，慈禧当年对着唐胥铁路，叫的是「先王不安」「有伤禾稼」「龙脉」云云。 可能是时过境迁、音韵流变的缘故，或者是常年的学术涵养，使得叫声婉约了些，文气绵长了些， 如今数学家病友们，叫的是「威胁价值观」「不可靠」「归属」「奖励」「非正式」「自主性」云云。 我能理解火车恐惧症病友们恐惧的来源，大略有二： 一是蠢。芸芸众生畏惧 AI ，是出于人类原始本能中对未知事物的恐惧。这一本能曾让我们的祖先远离毒蛇，在演化中幸存。因此，大多数人是不经思考，或者深受科幻电影荼毒，服从本能而恐惧 AI 。 二是坏。下令马拉火车的老佛爷、发起《莱顿宣言》的数学家，想必是不大受本能驱使的。数学家本就探索未知，更不会如常人那样恐惧。那数学家竟也罹...