书海居 m.shuhaiju.net

    第343章 让数学沟通现实(第 1/ 页)

    第343章 让数学沟通现实
    听到乔喻这番话被惊到的可不止是田老。旁边的郑希文也被这句话说的震撼到了。
    哪怕对科学再不感兴趣，这么多年的耳濡目染，也让郑希文多少懂了些东西。
    这也让他在乔喻跟那些工程师交流的时候能听懂一些东西。
    当然，也就只能听懂一部分。比如乔喻对于通用人工智能的研究进度一直很不满意。
    今天他才知道养喻不满意的原因是什么。
    让机器能够通过数学来理解意识、意图、价值？
    听听，这说的是人话吗？
    所以乔喻不但要去追问1+1为什么等于2，还要去追问1+1怎么去表达人类情感？
    听起来就像是科幻故事。
    当然这个时候郑希文肯定不会插嘴的。
    只是倒茶的时候，手顿了顿，然后神色如常的冲着田老点头示意，随后直接离开了乔喻的办公室。
    不过这次他实在按捺不住好奇，回到旁边的隔间之后便打开了电脑，开始旁观两人在聊些什么。
    等到郑希文离开之后，田言真也大概消化完了乔喻这个问题，然后缓缓开口说道：「很有意思的想法。」
    说完，田言真顿了顿，思考了更久，才继续问道：「所以你的意思用数学去表征意图跟价值这些东西？
    这些东西即便在人脑中都是模糊不清的，你怎么用数学的确定性去框定它们？
    贝叶斯推理？效用函数？又或者你的广义模态函数？就算是你的乔代数几何也不可能解决这个问题吧？
    如果电脑或者说机器真的理解了意图、价值这些东西，那将会诞生真正的自我意识！
    我并不认为这是一个好主意。尤其是在经过科技伦理委员会论证之前！」
    田言真严肃的说道。
    旁观的郑希文也觉得这个事情必须得严肃点。
    虽然他并不相信人工智能拥有意识了，真就会诞生电影里天网那种东西。
    但让机器产生意识总让他觉得怪怪的。
    此刻乔喻也开始解释了：「不不不，您误会了。我的意思是让数学能够表达意识，而不是让机器拥有意识。
    好吧，虽然我的确有过这种想法，但是就目前的情况来看，还很难。那些工程师很难领会我的意思。
    我觉得他们已经陷入到了惯性思维模式。只想着如何优化机器全面学习那些东西，我觉得这是不对的。
    比如强化学习的奖励函数，决策理论中的效用函数等等这些东西，都是外在赋值。
    无非是通过预设一个静态的，可量化的价值尺度。但真正的意图跟价值，是内在涌现跟动态演化的。
    所以这就需要更深层次的数学结构。您想想，如果我们能解决这个问题，数学才真正突破了原本的。」
    当乔喻一脸真诚的说出这番话，郑希文明显感觉到田言真被说服了。
    数学突破原本的桔？
    郑希文觉得这是在说鬼话。
    事实是现在的数学已经足够难了。就别说大学了，这些年高中数学都开始改革，学生们需要学习的内容更多了，也更难了。
    也是没办法，现在大三就要接触乔代数几何的内容，但要学习乔代数几何，前期的很多抽象数学概念都需要有较为深刻的了解。
    甚至还要接触部分朗兰兹猜想的东西，即便是很小一部分。但对于本科生来说，难度也是极高的。
    总之现在各大正经高校都已经开始正式对考生喊话，慎重选择数学专业了。
    郑希文不太敢想象，如果数学突然这么快更进一步的发展，会成什么样子。
    未来选择数学的那些学子，会不会发疯。
    果然半响后，田言真才犹疑的开口问道：「如果我没理解错的话，你的意思是要实现数学对意义的精确捕捉吗？」
    乔喻很肯定的点了点头，说道：「您可以这么理解，由导。不止如此，我时刻记得您的教诲，要把数学发扬光大。
    所以我更愿意将这种想法定义为让数学能在未来成为连接客观世界与人类价值世界的一座桥梁。
    当然这种改变的外在表现大概就是通用型人工智能的出现！未来我们的人工智能不再是那种愚蠢的搜索整合工具。
    又或者只会下棋的专才。而是在各个领域都能有见解，同时有着高于社会平均道德水准的意识流存在。
    它们的价值将跟社会主流价值观所锚定。它们存在的意义则是为了维持跟推动地球人类文明的发展。」
    乔喻掷地有声的说道。
    没办法，这种程度的研究是需要经过学术伦理委员会审核的。
    现在内部对于发展人工智能，或者说人工智能应该朝着哪个方向发展，其实还有争议。
    托诸多a类科幻电影里面的主机系统动不动就想灭绝人类的福，许多人对人工智能的发展本就保持着极为谨慎的态度。
    但这显然并不在乔喻的考虑范围内。
    「嗯」田言真还想说些什么，却再次被乔喻打断「我知道您还有忧心，但其实从您给我布置任务开始，我已经思考这个问题很久了。
    诚然，所谓的机器人三大定律肯定是不靠谱的。即便增加了零号定律，依然有着严重的逻辑漏洞。
    但这些并不是问题。我希望数学赋予机器的不是冰冷的规则，而是连续变化的情境中寻找伦理最优解的动态能力。
    甚至我们最终设计的通用人工智能并不是真正的产生意识。
    伦理决策可以用代数去约束，价值度量接入微分几何模型，意识收敛需求的拓扑条件换句话说，我们创造的通用人工智能是一个高度类似具备意识的智能体。但其实它不会拥有自我意识。
    它通过数学去量化复杂的善恶，它做出的决策，不会去牺牲无辜他人的利益去满足所谓人类整体利益的最大化。
    就好像核弹一样，它只是一件工具，推动各类科学飞速发展的工具。本身并不具备善恶。
    人类的未来始终还是由人类来决策。我们要做，或者说正在做的只是推动科学正常的向前发展而已。」
    一直在旁观的郑希文只看表情就知道田言真是彻底被乔喻说服了。
    毕竟察言观色一直是郑希文的强项。
    好吧，他当然知道乔喻为什么要这么费心的去说服田言真，还不是主动去找上门，而是刻意创造种种机会来让田言真主动找过来。
    乔喻其实也跟他讨论过这个问题。
    托许多讲述人工智能的科幻电影，里面的智能体动不动就想毁灭全人类的福，许多人对于人工智能的研究一直持反对态度。
    总觉得这东西发展到最后肯定会对人类文明的存续造成重大威胁。
    显然乔喻并不是这么想。
    在乔喻的观点里，任何科技发展都只是工具。重点是工具如何使用的问题。
    就好像核弹这东西被发明出来，就是冲着消灭有生力量去的。
    标准的众生平等器。
    对于人类文明而言，这玩意儿肯定不算什么好东西。
    但起码就目前的情况来说，正是因为这东西的存在，全世界迎来了最长时间的相对和平。
    通用人工智能其实也是一样，在乔喻的定义中，依然是一种工具。
    工具如何使用始终控制在人类手里。起码对于现在的人类文明发展阶段绝对是有益的真要征服太空，动辄几年甚至十几年的星际远航，没有人工智能辅助，基本上是不可能的。
    所以一切都是为了需求而服务的。
    说实话，郑希文不太懂这些。他只是单纯觉得相关研究越来越怪异了从他得到的信息来看，起码做智能工程的那些工程师们的确是不太懂乔喻提出的理论。
    什么代数价值流形，纤维丛伦理联络，认知意识收敛条件。
    对于这一点郑希文也能理解。毕竟他是接触乔喻手稿最多的人，没有之一。
    每天工作人员收集到的乔喻手稿，都会汇总到这里。
    然后决定哪些需要收藏起来，哪些可以直接销毁。
    手稿上那些推理过程，怎么说呢，总之郑希文坚信全世界百分之九十九点后面跟一排九的人都是看不懂的。
    他是见识过的，光是论证一个文化渗透伴随价值演化的动力学方程，就写了整整数百页的手稿。
    以郑希文目前对世界数学学界的了解，一篇上百页的最前沿论文，审稿人可能需要大半年才会给出意见。
    无非是这方面的研究乔喻从没有发过论文。
    当然乔喻现在也没有发论文的需求了。
    倒是每个月都有人想要借乔喻的名字放到作者列表里发表某篇论文，来为自己的论文增增光·
    所以现在郑希文其实也不知道乔喻的研究到底是成功好，还是失败好了。
    说实话，打心底说他对乔喻希望研究的通用人工智能也感觉有些发忧。
    不过说起来人对于自己不了解的东西，有种敬畏的感觉很正常。
    但乔喻很肯定他的研究方向没问题，而且很有益处，郑希文又觉得也许乔喻才是正确的！
    毕竟乔喻没有错过。
    总之此时的郑希文只感觉很矛盾。
    既希望看到田言真找到乔喻阐述中的漏洞，让乔喻放弃这个疯狂的想法。
    又觉得乔喻如果能说服田言真可能也是件好事。
    尤其是乔喻的规划中，通用型人工智能可是未来辅佐人类征服星空的重要工具。
    真要说起来，哪个有志向的男人心里对星辰大海没有向往呢？
    「就不能只在数学上做突破？」果然，犹豫了半响后，田言真说出这么一番话。
    听到这句话的时候，郑希文就知道这位大佬已经被彻底说动了。
    「数学框架如果真的能设计出来，当然是要应用的。哪怕我不去推进这件事，之后肯定也会有一群的人努力试图去推进！
    与其让后人去做这些，您难道不该更相信我吗？起码我知道底线在哪啊！您说对吧田导！」
    乔喻摊了摊手，说道。
    人家都是充分相信后人的智慧，大概只有乔喻会关心后人的底线然而就是这句话，让田言真叹了口气，然后点了点头。
    「行吧！既然你这么有信心，就用心去做吧。虽然我现在老了，管不了什么事了。不过有些事应该还是能说上些话的，等我回去就去打几个电话。」
    听到这句话，乔喻并没有露出笑容，而是更加严肃的承诺道：「放心吧，田导！我也保证跟以前一样，给您提交一份最完美的答卷！」
    田言真笑了笑，然后严肃的问道：「确定不会让机器诞生自我意识？」
    乔喻很肯定的点了点头：「数学最美的地方就在于其严谨性！我们要通过很确定的严谨去定义出一个动态不确定的框架，我个人认为这不是孕育意识的温床，只是单纯的数学创新。」
    虽然没有直接回答，但听起来似乎很有道理的样子。
    田言真也没有再说什么，只是站了起来，然后临走时，意味深长的拍了拍乔喻的肩膀郑希文也不关了同步播放的记录，从房间里走了出去。
    像由老这样的重要访客，他得亲自送出去。
    当然两人没什么对话，只是客气的寒暄两句。
    回到乔喻的办公室，他还没开口，乔喻先自顾自的说上了。
    「现在想来薛教授对我的帮助是真大啊！果然选个好师门还是好啊，导师都退休了，
    还能帮我担着事情。」
    郑希文默然·
    虽然乔喻这番话说的没错，但总感觉怪怪的。
    当然田老的影响力摆在那里。
    在这一老一小，不对，还有华清那位老人的经营下，现在年轻一代的数理科研向话事人，尤其是数学向的大佬大都跟清北学派关系不错。
    袁老跟田老在老一辈科研人员中间的地位又摆在那里。
    说起来这样的确不太好。但怎么说呢，瑕不掩瑜起码这一派系的科研大佬们没有通过血缘传承，而且是真做出了举世瞩目的成绩。
    所以大家也只有认了。
    只是郑希文是真不知道未来会发展成什么样子—