再骂骂人工智能。

计算机系的同学们还记得模式匹配中所用的Next数组吗？它是一种字符串匹配的高效算法。不知道大家是否留意到字符串匹配为什么也叫模式匹配？也许高年级的同学或自控专业的同学知道有门课程叫《模式识别》。它们俩又有什么关系呢？而模式识别几乎涵盖了一半的人工智能。其实Next数组可以表达成一个自动机形式。而每个自动机对应一种形式语言。于是我们顺着这条线深入下去，看看这种“语言”的表达能力有多强？探究一番发现，它其实很弱、很弱。学过《编译原理》的同学可能知道，形式语言可以被分为四类，表达能力逐级递减。表达能力最强的是0型语言，和图灵机等价。接下来是1型、2型、3型。那么我们看看由Next数组的表达属于哪型语言？其实它的表达能力一定远弱于2型语言。再看看现在的人工智能，已经在这种“模式识别”的理论，以及拼凑扩展下堂而皇之的又卷了10年有余。自己还觉得自己很厉害——使用着当今世界最强大的算力。其实乔姆斯基等人早在1956就提出了形式语言分类，并展开了广泛的研究。而在此之前有三伙人，在不同的地域和背景下展开了对计算和智能的研究。他们的成果分别是《递归函数论》、《λ 演算》、《图灵机》。后来人们发现，这三个理论其实是等价的。无独有偶，杨振宁先生与米尔斯合作发表了“规范场”理论，在讲课时偶然注意到其数学表达与爱因斯坦的广义相对论的数学表达形式完全一样。好奇心使然杨振宁请教了数学家：这两个在数学上是一回事儿吗？那个数学家说，是的。他们在数学领域也在研究这个，称之为“纤维丛”。这些好像大学本科生听闻的比较少。那本科有类似的吗？也有的！比如电路分析与电磁场理论人们后来证明也是等价的。还有不少定理都是由两个人或多人名字命名的。上面所说的这些科技成果都是在上世纪60年代前提出的。那个年代的人们的精神世界就是这样被充实起来的。不仅如此，当你发现在世界的另一个角落竟然有人和你做着同样的工作——啊，是多么美妙的事儿——海内存知己，天涯若比邻！这是国际视野下的珍贵记忆，咱们国家有吗？在我们国家发展两弹一星之初，一次发射火箭，技术人员发现空中的箭体震动很大，报告给了钱学森，钱老凭着科学的直觉说，入轨后就好了。结果果然如此。无独有偶，我们国家发展核潜艇事业，彭士禄带队做陆基实验堆的验证工作。在一次实验时，系统的振动非常大，大家都说应该立刻停堆。只有彭老说继续加大功率。结果当功率增大后，振动大大减小了——因为系统越过了共振峰。这就是我们国家的科学家，他们对事业的热爱已经深深地沁入了自己的科学直觉。于是在极端艰苦的环境中安全高效地完成了任务。而黄旭华也倾佩于敏的计算能力，可是在专访于敏时他却一再惋惜自己对不起老伴——这是何等的家国情怀。如此等等吧。他们那代人，为了国家、民族，真是呕心沥血啊！说到沥血，就我知道的老科学家就不在少数，多是积劳成疾。有核物理学家于敏、数值天气预报奠基人曾庆存、计算机专家康鹏等等。于是今天我们所拥有的这方天地就是他们用这样的付出托起的！我们呢？凭什么说托起今天的世界有我？就像东方歌舞团的老团长王昆所说，你们扭扭屁股就能撑起天地吗？