就为这个，新上任的计算所所长直接跟这位院士在会议后吵了一架。

　　毕竟语气虽然的确是开玩笑的语气，但人家心里是不是真就这么想的就两说了。

　　而且真要说起来，这几年计算所的确挺憋屈的。

　　好不容易争取到的一点资金，基本上都贡献给燕北跟华清这边了。

　　没办法，效率根本卷不过啊！

　　尤其是一些项目合作方。

　　人家虽然给面子，还是把项目交给计算所这边做，但总是明里暗里的表示，计算所可以跟乔喻的细雨科技合作，这样效率应该能更高些怎么说呢，这大概就是真笑话没人当回事，但真相的刀的确太过锋利了有些人是真怕科学院或者更上头觉得计算所现在没什么大用，干脆关了算了—

　　总之，看到乔喻也会被难题给难住，让郑希文觉得这家伙还是个人然而这种庆幸在田言真亲自造访时被打破·

　　「.—小周又来我这里诉苦了，他给我演示了七月的功能，我觉得已经非常强大了。

　　相对于世面上的人工智能产品来说，已经足够先进了，起码在我看来称之为AGI也不为过，但你觉得还不满意？」

　　刚把茶端过来的郑希文听到这番话，下意识的皱了皱眉。

　　七月就是乔喻这个项目的人工智能代号。

　　没什么特别的意义，只因为当时立项的时候是七月，乔喻就给项目这么命名了。

　　不过他还真没想到七月已经发展到这个阶段了。

　　能够让田言真都觉得很不错，那说明产品成熟度已经很高了。

　　然后他便听到了乔喻的反问。

　　「田导，您先别急，我想问您一个问题。您觉得我们该如何在数学上描述，来让机器理解意识、意图、价值等主观或高阶概念？」

第341章 让数学沟通现实

　　听到乔喻这番话被惊到的可不止是田老。旁边的郑希文也被这句话说的震撼到了。

　　哪怕对科学再不感兴趣，这么多年的耳濡目染，也让郑希文多少懂了些东西。

　　这也让他在乔喻跟那些工程师交流的时候能听懂一些东西。

　　当然，也就只能听懂一部分。比如乔喻对于通用人工智能的研究进度一直很不满意。

　　今天他才知道养喻不满意的原因是什么。

　　让机器能够通过数学来理解意识、意图、价值？

　　听听，这说的是人话吗？

　　所以乔喻不但要去追问1+1为什么等于2，还要去追问1+1怎么去表达人类情感？

　　听起来就像是科幻故事。

　　当然这个时候郑希文肯定不会插嘴的。

　　只是倒茶的时候，手顿了顿，然后神色如常的冲着田老点头示意，随后直接离开了乔喻的办公室。

　　不过这次他实在按捺不住好奇，回到旁边的隔间之后便打开了电脑，开始旁观两人在聊些什么。

　　等到郑希文离开之后，田言真也大概消化完了乔喻这个问题，然后缓缓开口说道：「很有意思的想法。」

　　说完，田言真顿了顿，思考了更久，才继续问道：「所以你的意思用数学去表征意图跟价值这些东西？

　　这些东西即便在人脑中都是模糊不清的，你怎么用数学的确定性去框定它们？

　　贝叶斯推理？效用函数？又或者你的广义模态函数？就算是你的乔代数几何也不可能解决这个问题吧？

　　如果电脑或者说机器真的理解了意图、价值这些东西，那将会诞生真正的自我意识！

　　我并不认为这是一个好主意。尤其是在经过科技伦理委员会论证之前！」

　　田言真严肃的说道。

　　旁观的郑希文也觉得这个事情必须得严肃点。

　　虽然他并不相信人工智能拥有意识了，真就会诞生电影里天网那种东西。

　　但让机器产生意识总让他觉得怪怪的。

　　此刻乔喻也开始解释了：「不不不，您误会了。我的意思是让数学能够表达意识，而不是让机器拥有意识。

　　好吧，虽然我的确有过这种想法，但是就目前的情况来看，还很难。那些工程师很难领会我的意思。

　　我觉得他们已经陷入到了惯性思维模式。只想着如何优化机器全面学习那些东西，我觉得这是不对的。

　　比如强化学习的奖励函数，决策理论中的效用函数等等这些东西，都是外在赋值。

　　无非是通过预设一个静态的，可量化的价值尺度。但真正的意图跟价值，是内在涌现跟动态演化的。

　　所以这就需要更深层次的数学结构。您想想，如果我们能解决这个问题，数学才真正突破了原本的。」

　　当乔喻一脸真诚的说出这番话，郑希文明显感觉到田言真被说服了。

　　数学突破原本的桔？

　　郑希文觉得这是在说鬼话。

　　事实是现在的数学已经足够难了。就别说大学了，这些年高中数学都开始改革，学生们需要学习的内容更多了，也更难了。

　　也是没办法，现在大三就要接触乔代数几何的内容，但要学习乔代数几何，前期的很多抽象数学概念都需要有较为深刻的了解。

　　甚至还要接触部分朗兰兹猜想的东西，即便是很小一部分。但对于本科生来说，难度也是极高的。

　　总之现在各大正经高校都已经开始正式对考生喊话，慎重选择数学专业了。

　　郑希文不太敢想象，如果数学突然这么快更进一步的发展，会成什么样子。

　　未来选择数学的那些学子，会不会发疯。

　　果然半响后，田言真才犹疑的开口问道：「如果我没理解错的话，你的意思是要实现数学对意义的精确捕捉吗？」

　　乔喻很肯定的点了点头，说道：「您可以这么理解，由导。不止如此，我时刻记得您的教诲，要把数学发扬光大。

　　所以我更愿意将这种想法定义为让数学能在未来成为连接客观世界与人类价值世界的一座桥梁。

　　当然这种改变的外在表现大概就是通用型人工智能的出现！未来我们的人工智能不再是那种愚蠢的搜索整合工具。

　　又或者只会下棋的专才。而是在各个领域都能有见解，同时有着高于社会平均道德水准的意识流存在。

　　它们的价值将跟社会主流价值观所锚定。它们存在的意义则是为了维持跟推动地球人类文明的发展。」

　　乔喻掷地有声的说道。

　　没办法，这种程度的研究是需要经过学术伦理委员会审核的。

　　现在内部对于发展人工智能，或者说人工智能应该朝着哪个方向发展，其实还有争议。

　　托诸多A类科幻电影里面的主机系统动不动就想灭绝人类的福，许多人对人工智能的发展本就保持着极为谨慎的态度。

　　但这显然并不在乔喻的考虑范围内。

　　「嗯」田言真还想说些什么，却再次被乔喻打断「我知道您还有忧心，但其实从您给我布置任务开始，我已经思考这个问题很久了。

　　诚然，所谓的机器人三大定律肯定是不靠谱的。即便增加了零号定律，依然有着严重的逻辑漏洞。

　　但这些并不是问题。我希望数学赋予机器的不是冰冷的规则，而是连续变化的情境中寻找伦理最优解的动态能力。

　　甚至我们最终设计的通用人工智能并不是真正的产生意识。

　　伦理决策可以用代数去约束，价值度量接入微分几何模型，意识收敛需求的拓扑条件换句话说，我们创造的通用人工智能是一个高度类似具备意识的智能体。但其实它不会拥有自我意识。

　　它通过数学去量化复杂的善恶，它做出的决策，不会去牺牲无辜他人的利益去满足所谓人类整体利益的最大化。

　　就好像核弹一样，它只是一件工具，推动各类科学飞速发展的工具。本身并不具备善恶。

　　人类的未来始终还是由人类来决策。我们要做，或者说正在做的只是推动科学正常的向前发展而已。」

　　一直在旁观的郑希文只看表情就知道田言真是彻底被乔喻说服了。

　　毕竟察言观色一直是郑希文的强项。

　　好吧，他当然知道乔喻为什么要这么费心的去说服田言真，还不是主动去找上门，而是刻意创造种种机会来让田言真主动找过来。

　　乔喻其实也跟他讨论过这个问题。

　　托许多讲述人工智能的科幻电影，里面的智能体动不动就想毁灭全人类的福，许多人对于人工智能的研究一直持反对态度。

　　总觉得这东西发展到最后肯定会对人类文明的存续造成重大威胁。

　　显然乔喻并不是这么想。

　　在乔喻的观点里，任何科技发展都只是工具。重点是工具如何使用的问题。

　　就好像核弹这东西被发明出来，就是冲着消灭有生力量去的。

　　标准的众生平等器。

　　对于人类文明而言，这玩意儿肯定不算什么好东西。

　　但起码就目前的情况来说，正是因为这东西的存在，全世界迎来了最长时间的相对和平。

　　通用人工智能其实也是一样，在乔喻的定义中，依然是一种工具。

　　工具如何使用始终控制在人类手里。起码对于现在的人类文明发展阶段绝对是有益的真要征服太空，动辄几年甚至十几年的星际远航，没有人工智能辅助，基本上是不可能的。

　　所以一切都是为了需求而服务的。

　　说实话，郑希文不太懂这些。他只是单纯觉得相关研究越来越怪异了从他得到的信息来看，起码做智能工程的那些工程师们的确是不太懂乔喻提出的理论。

　　什么代数价值流形，纤维丛伦理联络，认知意识收敛条件。

　　对于这一点郑希文也能理解。毕竟他是接触乔喻手稿最多的人，没有之一。

　　每天工作人员收集到的乔喻手稿，都会汇总到这里。

　　然后决定哪些需要收藏起来，哪些可以直接销毁。

　　手稿上那些推理过程，怎么说呢，总之郑希文坚信全世界百分之九十九点后面跟一排九的人都是看不懂的。

　　他是见识过的，光是论证一个文化渗透伴随价值演化的动力学方程，就写了整整数百页的手稿。

　　以郑希文目前对世界数学学界的了解，一篇上百页的最前沿论文，审稿人可能需要大半年才会给出意见。