|
金老师在《真实与虚拟》一书中指出，主体获得和运用知识的能力长期被视为人的智能，暗知识的存在及其占科学知识的比例越来越大，意味着人发明某种仪器或方法(装置)来取代或放大人的智能，它们是人工的智能。因为一种暗知识对应一种人工智能，书中金老师证明存在着三种不同类型的暗知识，即获得科学经验中暗知识的装置、获得数学中暗知识的装置，以及获得科学理论中暗知识的装置。 目前，这种装置正在孕育之中，美国人工智能研究实验室OpenAI推出的一款大型预训练人工智能语言模型ChatGPT也许是一个例子。人类发现科学理论中存在大量暗知识，标志着自然现象因果解释的一场革命。我们知道自然现象服从因果律，但能体验因果律认识过程的只是知晓因果律的极小一部分。即便如此，也并不妨碍人类用因果性改造世界，因为就算大多数因果律是暗知识，我们仍可以通过人工智能来驾驭它们。
促使人们意识到暗知识和人工智能的关系的，首先是有学习能力的神经网络在扩大科学经验方面的运用，它明确无误地把暗知识和某一种装置对应起来。也许，人脸识别是最简单的例子。自古以来，人脸识别是(科学)经验知识，而且是一种明晰的经验知识。为什么说人脸识别是一种(科学)经验的明知识？所谓人脸识别实为主体看到某一图像，即可根据该图像把某人从人群(或记忆)中找出来。 这里，看到图像为获得可靠信息，它是一个普遍可重复的受控观察。把某人从人群(或记忆)中找出为完成某种选择(控制)，其为主体对可控制变量的控制。人脸识别作为科学的经验知识，实为获得信息和实现某种控制之间的确定联系。通常，主体是知晓识别过程的(这种联系如何建立)，即它属于科学经验知识中的明知识。当人脸识别可用其他方式做到，即用一个有学习能力的人造神经网络来识别人脸时，主体并不知道神经网络是如何做到的，人脸识别也就成为暗知识。 今天，人脸识别装置已在社会生活中得到广泛运用。人脸识别是主体基于经验的一种能力，当这种能力用某种机器实现时，该机器就是有智能的。我们已经看到，当某一种暗知识是用某一种人造装置获得时，该装置一定对应着一种获得相应知识的智能。在很多人心目中，和人脸识别这种近于本能的简单能力相比，下棋才真正体现出主体拥有的高级智能。然而，只要我们去分析下棋过程，就会发现它同样是主体获得(科学)经验知识，只是获得经验知识的过程较为复杂而已！ 因为和人脸识别一样，下棋同样是主体根据获得的信息(棋局)来实现某种控制(下一步选择)。如果说人脸识别是信息和控制之间的一次性对应，下棋经验就是主体获得信息和实行控制之间对应关系构成的序列。每一次，主体根据棋局的信息做一次选择，改变了棋局，然后根据对手改变的棋局再次选择。这由一次次选择构成的序列有自己的明确目标，那就是下棋每一步的结果规定的最后结果。 既然下棋的知识实为每一次获得信息后如何进行选择，那么每一次获得信息规定选择什么，是一种(科学)经验知识，它和人脸识别一样，是可以通过一个人造神经网络的学习训练实现的。由于选择序列冗长，两次选择互相依赖，下棋的输赢取决于该序列最后的结果，这一切使人造神经网络的结构和学习训练方式比人脸识别复杂得多。 但无论人造神经网络的结构和学习训练多么复杂，其整体上仍是前文所示的学习机器。因此，在神经网络组成的学习机器学会下棋后，主体如何下棋亦成为暗知识。和这种暗知识直接对应的是下棋的能力，由此我们可以理解为什么神经网络组成的学习机器战胜世界围棋冠军那么重要了，因为这是人工智能登上历史舞台的象征。 2016年3月9日举行了神经网络学习机器AlphaGo(阿尔法围棋)和世界围棋冠军、职业九段棋手李世石的公开比赛。只要有过下围棋的经验，就知道这种经验知识有多复杂，掌握它无疑需要相当高的智能。AlphaGo具有应付千变万化的围棋棋局的智能吗？人们是持怀疑态度的。但这场比赛的结果是AlphaGo以4∶1取胜，这是有史以来第一次世界围棋冠军输给了神经网络学习机器。
早在20世纪40年代神经网络学习机器的数学模型刚提出时，它已经被证明是有限自动机，并和图灵机等价，即它既可以用来表达电脉冲输入与输出互动中的学习，亦可用来计算和逻辑推理。因此，对科学知识的另一种类型—数学知识，只要用公理推出定理必须通过某种计算机装置，就证明其中也存在暗知识。图灵机就是通用电子计算器，通用电子计算器(冯·诺依曼机)的发明比神经网络学习机器早，故在科学经验知识中发现暗知识之前，人类已经知道数学中存在着暗知识。地图四色定理的证明是典型的例子。 地图四色定理由一个英国业余数学家弗朗西斯·格斯里在1852年提出，它是指任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。地图即平面图，它由图论的一组公理给出。这样，证明地图四色定理就是将其用平面图的公理推出。证明这一猜想极为困难。 1878年英国数学家阿尔弗雷德·肯普发现，如果地图至少需要五色，则一定存在一种正规五色地图。接着他证明：如果有一张正规的五色地图，就会存在一张国数最少的极小正规五色地图；如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数比其还要少的正规五色地图，这样就不会有国数极小的五色地图，也就不存在正规五色地图了。通过归谬法，肯普认为他已经证明了地图四色定理。但若干年后，英国数学家约翰·赫伍德发现了肯普的证明存在漏洞。 肯普的证明虽被否定，但他提出的两个概念对解决四色问题提供了方法。第一个概念是构形。肯普证明在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图。另一个概念是可约性，即只要五色地图中有一国具有四个或五个邻国，就会有国数减少的五色地图。 自从引入构形和可约的概念后，数学家逐步发展出一套检查构形是否可约的标准方法。研究者发现，解决四色问题要证明构形可约，需要检查大量的细节。1950年德国数学家海因里希·黑施通过不断试验指出，用构形化约证明四色定理，涉及的构形有一万多种。要对如此多的构形逐一证明，工作量极为巨大，这非人力所能完成。正因如此，人们一度认为地图四色定理是无法证明的。 1975年愚人节，美国数学家、数学科普作家马丁·加德纳在《科学美国人》上发布了一张地图，声称四色猜想被否定，因为这张地图需要至少五种颜色才能完成上色。当然，这只是一个玩笑。然而，人们万万没有想到，就在几个月以后，美国伊利诺伊大学的数学家沃夫冈·黑肯对黑施的方法做了改进，他与美国数学家肯尼斯·阿佩尔合作设计了一个计算机程序，在计算机专家科克的参与下，终于在1976年1月6日证明了四色猜想。
黑肯等人设计的构形化约程序当然是正确的，但化约和相应判断是运用两台计算机分别做出的，鉴别其可靠与否的方法是看两台计算机得到的结果是否一致。这种做法有点像工程技术和物理学鉴定。 这里，证明计算机工作是否可靠，就和判别用电子显微镜观察对象所获得的信息是否可靠一模一样。美国数学家威廉·瑟斯顿曾评论说：“一个可以运作的计算机程序，其正确性和完备性标准比起数学界关于可靠的证明的标准，要高出几个数量级。”但是，没有人全面验证过四色猜想证明的每一步，原因是人力不可能做到。正因如此，很多数学家不认可上述证明，苏格兰数学家弗兰克·波塞尔指出，这种证明根本不属于数学。 我认为，可以从两个方面来梳理地图四色定理证明中的争议。一是有些人不知道数学知识中也有暗知识。地图四色问题的证明，属于抽象代数中纯图论的领域。图论定理由相应的基本公理规定。规定这些公理时，已给出相应符号系统的所有可靠信息，证明定理只是把公理注入的信息找出来。主体获得公理注入的可靠信息和主体经历每一步信息的获得过程，原则上亦可分离。数学知识中存在暗知识是没有疑义的。 然而，在人类所具有的数学知识中，暗知识占的比例很小，数学家还不习惯数学知识中的暗知识。然而，我要问：为什么一定存在着一个不同于现在已给出四色问题证明的非穷举式证明呢？数学家迟早会意识到必须接受数学知识中亦存在暗知识。 此外，数学家不承认地图四色问题被证明还有一个原因，那就是拒绝这种证明体现了人的数学能力。爱因斯坦做过一个比喻：纯数学是逻辑思想的诗歌，但四色定理的确证依靠的是计算机对人不能处理的个案之穷举，它犹如一本电话簿。数学家很难想象如查电话簿般的、用计算机的快速穷举是一种数学智能。正因如此，至今这个领域的研究被称为机器证明，而非人工智能。
其实，只要去追溯人工智能的历史，就知道人工智能正是在利用电子计算机处理符号结构时提出的。早在1956年，数十名来自数学、心理学、神经科学、计算机科学与电气工程学领域的学者聚集在一起，讨论如何用计算机来处理符号结构，会上美国计算机科学家约翰·麦卡锡将这种研究命名为人工智能；同样作为计算机科学家的艾伦·纽厄尔和司马贺把一种被称为“逻辑理论家”的程序带到会议上，他们被会议发起人称为“人工智能之父”。
举个例子。1964年美国人工智能学家爱德华·费根鲍姆、分子生物学家乔舒亚·莱德伯格和化学家卡尔·杰拉西用某种装置处理火星上采集来的数据，看火星上有无可能存在生命。三人合作的结果就是第一个专家系统DENDRAL的诞生。DENDRAL输入的是质谱仪的数据，输出的是给定物质的化学结构。
我要问一个问题：这些专家系统获得的可靠信息中有暗知识吗？根据暗知识的定义，我们知道最后得到的可靠信息是什么，但不知道该信息是如何获得的。今日所有已知的专家系统都没有这样的智能。专家系统之所以做不到这一点，是因为它们不能如人工神经网络那样自行学习，也不能如机器证明那样完全不需要人的干预自行进行逻辑判断。
目前，这种装置正在孕育之中，美国人工智能研究实验室OpenAI推出的一款大型预训练人工智能语言模型ChatGPT也许是一个例子。为什么？科学理论作为横跨受控实验和数学世界的拱桥，由拱圈和上盖组成。上盖是用逻辑语言表达的受控实验和受控观察，即目前文献中记录的科学知识。拱圈是建立在测量之上用数量表达的受控实验(观察)结果之间的关系，它是作为各门科学基础的定律。 ChatGPT利用自然语言的语法研究把自然语言陈述转化为逻辑语言陈述，然后自动把这些逻辑语言陈述中所蕴含的信息提取出来。当人通过ChatGPT得到了新的科学理论知识，但不知道该新知识是如何得到的时，科学理论知识满足暗知识的定义。对于拱圈，亦可以建立电脑控制的受控实验和受控观察，获得测量数据和实现控制都不需要主体直接参与。这时，研究者也不知道得到的新定律是如何得到的。这也是科学理论的喑知识。 更重要的是，上盖是建立在拱圈之上的。只要将从陈述中得到新信息和电脑自行做实验结合，我们将发现，在科学理论中，暗知识的增长将超过明知识。在今日迅速发展的合成生物学中，正在酝酿着两者结合的可能性。这意味着人工智能第三种形态(获得科学理论知识中的暗知识的装置)也许最先在生命科学中被使用，其背后是物理、化学、数学、信息理论与生命科学理论深度交叉，形成基因合成、基因编辑、蛋白质设计、细胞设计、实验自动化的使能技术。其中，生命铸造厂(biofoundry)或许是典型的例子。
人类发现科学理论中存在大量暗知识，标志着自然现象因果解释的一场革命。我们知道自然现象服从因果律，但能体验因果律认识过程的只是知晓因果律的极小一部分。即便如此，也并不妨碍人类用因果性改造世界，因为就算大多数因果律是暗知识，我们仍可以通过人工智能来驾驭它们。  本文摘编自《真实与虚拟：后真相时代的哲学》（中信出版社2023年7月出版）一书，注释从略；如有学术讨论，请以纸质版为准； 另外，《中国思想史十讲》（上卷）目前「签名版」还剩少量，售完即止，想要收藏的读者朋友们可点击下方小程序下单。 |
|
|
