小说妹妹网

手机浏览器扫描二维码访问

第一一百七十一章 数字生命（第1页）

李逸有些意外，向他发起提问的人便是周文惠。

李逸点头看着周文惠，道：“嗯！你有什么问题？”

“李老师，拥有主观意识的人工智能，学习能力，自我优化，进化能力肯定非常强，它的成长绝对能迅速超过人类，相当于创造了另外一种生命，这样如何确定它不会摆脱人类的控制，或者说，如果它对人类产生恶意呢？”周文慧站起来，看着李逸郑重地问。

“这个问题问的好！”李逸笑着点头赞道，接着解释：“拥有‘主观意识’的人工智能，确实属于另一种生命，可以将它们称呼为：数字生命，这种物种必然会为寻求‘自由’，‘进化’而努力，这是每一种智慧物种的特性，因此，我们无法预料它的动向，无法意料它的未来。”

“数字生命这种物种一旦出现，必然是高级的，同时也是危险的，其智慧程度，就像人类与地球上其它物种的地位，我们很难理解它的意图，因此，在开发人工智能的时候，我们要非常小心谨慎，用技术创造属于人类的可控人工智能，而不是无法控制的数字生命。”停顿了一下，李逸接着补充道。

“哪怎么确认，开发的是可控的人工智能，而不是，数字生命？”周文惠接着问。

“你先坐吧！这个问题解释起来，要涉及大量学科的知识，我就简单介绍一下几样技术思路。”李逸笑了笑，示意周文惠坐下道。

周文惠点了点头，坐下之后，目光晶亮地看着李逸，静待答案。

李逸转身背对黑板，拿起粉笔，在黑板写了一个1+1=2的数学公式。

“大家知道这个公式吗？”李逸转头看着众人问。

学生们皱了皱眉，不明白李逸解释这个小学生都知道的数学公式，根人工智能有什么关系。

“这个公式叫做皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺提出的关于自然数的五条公理系统。”

“根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。“

“皮亚诺的这五条公理用非形式化的方法叙述如下：①0是自然数；②每一个确定的自然数a，都有一个确定的后继数x，x也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，1的后继数是2，2的后继数是3等等）；”

“③如果b、c都是自然数a的后继数，那么b=c；④0不是任何自然数的后继数；”

“⑤设S是自然数集的一个子集，且（1）0属于S；（2）如果n属于S，那么n也属于S。更正式的定义如下：一个戴德金-皮亚诺结构是这样的一个三元组（X，x，f），其中X是一个集合，x为X中一个元素，f是X到自身的映射，”

“且符合以下条件：x不在f的值域内；f为一个单射；若x∈A且“a∈A蕴涵f（a）∈A“，则A=X。该结构所引出的关于自然数集合的基本假设:1.N（自然数集）不是空集；2.N到N内存在a→a的一一映射；”

“后继元素映射的像的集合是N的真子集，事实上即N{1}（或N{0}）；”

“若N的子集P既含有非后继元素的元素，又有含有子集中每个元素的后继元素，则此子集与N相等。”

“1+1的证明：∵1+1的后继数是1的后继数的后继数，即3，∴2的后继数是3。”

“根据皮亚诺公理③，可得：1+1=2。”

没获得学生们的回应，李逸转身开始在用粉笔抒写答案，一边抒写，一边讲解。

就在学生们差不多理解了这个皮亚诺公理的时候，李逸话风一转，指着这个公式道：“在设计人工智能底层构架的时候，我们可以借用这个公式，将1设为人工智能的准则根基，另一个1设为人工智能的环境算量，两个支点相加使得公私成了，则得出变量2，……。”

“限定了两个准则构架，人工智能通过仿真学习，最终将围绕着1+1准则，堆叠算法获得‘变量’，……。”

……

李逸滔滔不绝的讲解开发可控人工智能的技术路线。

然而，学生们的目光开始出现茫然，各种数学符号，专业名词，一次次冲击，辗压他们的智商。

李逸好似也发现了这个情况，连忙停止了技术科普，笑着讲解道：“可控人工智能是可以实现的，通过，人工智能底层构架的设定，生态环境的搭建，以及硬件系统的钳制技术，都可以让人工智诞生之初，就开始遵循着我们设置的路线进化。”

说完，李逸看了一眼周文惠，似乎在确认她能否听得懂。

周文惠明悟地点了点头，好似听懂了李逸的解释。

“好，还有没有问题？没有的话，我继续讲下一个内容了！”李逸环视全场学生，关心地问。

学生们纷纷保持沉默，不敢提问，开玩笑，随便提一个问题，日记本上就记了一大堆看不懂的东西，谁还敢继续问啊！

见状，李逸微微一笑，只好继续讲解课程的后续内容。

大明：你真是朕的好大儿  重生后国师靠玄学爆红了  被横滨宠爱的我马甲遍地  位面超市  我，邪神代理人  纯爱战神伏黑君  反派结社搞事中  我真不是剑神啊  龙族之穿越路明非  我是龙傲天他惨死的爹[穿书]  纯爱战神乙骨小姐  玄幻：我真不是绝世高人  海贼从推进城开始卧底  我去1999年  假预言害死人[西幻]  网游之席卷天下  我的美女老板  泳坛崛起靠我了[游泳]  我的符文能升级  精灵，可我是个培育家啊