第342章 关于通用人工智能的反问

热闹而真诚的欢迎仪式;刺激而又充实的月球户外运动。

理查德跟托马斯还在专家的指导下,亲自动手收集了两块月壤。

这还真是个技术活。

说是月壤,但因为缺水的缘故,其实这东西更像地球上的砂石,质地非常坚硬,颗粒边缘还非常锋利。

所以还真需要专家指导跟专用工具,才能小心翼翼的取到一块尽可能完整的月壤。

当然这一切依然是面向全球进行直播的。当然也包括了取月壤的过程。

虽然耗时长了一些,毕竟专门的月球铲初学者并不是那么好用。

加上还要穿着笨重的宇航服,以及适应月球室外只有地球六分之一的重力。

但显然一切都是值得的。

事实上围观的网友们似乎也很喜欢这种努力学习,然后终于成功的情节。

在托马斯成功亲手敲下并成功在特别容器里保存好一块大小适合的月壤时,也是直播间送出各种礼物最多的时候。

直播也在此刻结束,并在顺利返程之后最后一天再次开启。

当理查德跟托马斯以及另外两位船员,在全世界关注这次旅行的网友们见证下,从顺利降落的舱体内走出后,也为这次普通人游月球画上了一个完美的句号。

当天华夏央媒都在最重要的新闻时段用了一分钟报道这件事。

而且专门截取了理查德从载人舱体内走出来,冲着摄像机挥手致意的画面。

不得不说,经过这段时间不断在镜头面前出现,理查德现在面对镜头时,自然得就好像一位演员。

至此,这位在西大默默无闻的电焊工,在华夏也有了一定知名度。

现在大家都知道了费城的菲什镇出了一个“幸运的理查德”。

是的,当央媒主持人,一本正经的说出理查德这个在外网传遍的外号后,幸运大概已经跟理查德的人生完全绑定了。

毕竟现在全世界都要看华夏央媒。

那档最重要的新闻节目也早已经不止是华夏的风向标,更是世界的风向标。

这一点大概也能从今天央媒报道的内容看出来。

就在理查德落地华夏大泉发射基地附近的时候,还有很多人同时落地华夏京城。

这些人无一不是世界各个国家跟地区的大人物。或者说是被选择站在台前代表这些国家跟地区的大人物。

正如乔喻计划中那样,月球能带来的巨大利益就摆在那里,如果动心了,自然是要来谈谈的。

一整个星球的资源,谁看了能不眼馋呢?

更别提这个时代,月球还很可能会成为战略要地。

起码华夏已经展现出了这种可能性。接下来需要谈的事情可就多了。

当然理查德也收获了他所需要的,财富还在其次,主要是知名度。

对于野心已经被唤醒,未来想要住进白色房子的人,这份知名度才是最重要的。

更让他惊喜的是,乔喻显然不是说说而已。

在万众瞩目之下,回到西大之后,就直接有一个精英团队联系了他。

是真的精英团队,从经理到财务、传播、政策法律顾问,选民动员主任,等等……

全部都有丰富的经验。每个人都有成功送人进入白色房子的经验。

最让理查德没想到的是团队内还有一位之前在白色房子住过很长一段时间的大佬,做他的顾问跟公众形象代言人。

当然起步肯定不可能直接就准备下一届,而是从费城所在的宾州开始。

团队给他制定的规划是两年后要让理查德直接进入州参议院。

在参议院待上两年积攒经验,然后直接竞选州长,在州长位置上干一届之后,正式向白色房子发起冲击。

最最重要的是,他将是新世纪第一个以无党派候选人的身份,向这个目标发起冲击的人。

如果成功了的话,大概真能坐实他幸运的理查德这一身份了。

不过暂时他还得继续电焊工这份工作。用竞选顾问的说法就是,这份工作能保持他的亲民度。让选民们更信任他。

当然纯粹的电焊是不可能的,理查德还在这些顾问的指导下,在诸多互联网社交平台上开了账号。

每天都会对外分享一些视频,用顾问的说法就是他从现在开始就要维持在公众面前的曝光度,让人们更加了解他的生活,从而产生亲近感……

总之对于理查德来说,人生终究开始不是一样了。

当然对于理查德来说是整个人生,但对于远在东大的乔喻来说,大概就是随手落下的一颗棋子,而且属于远景规划的棋子。

始作俑者乔喻其实也没太多时间关注理查德这边。

他已经开始忙着着手做通用人工智能的研究。

怎么说呢,在惰性的驱使下,乔喻是不想把时间都耗费在工作上的。

但当钻研过程中一不小心来了兴趣,那又是另外一回事了。

尤其是通用人工智能跟数学相关的部分。

正如乔喻在给新生宣讲时说的那样,数学是所有科学中最纯粹的抽象语言。

它的本质就是将纷繁复杂的现象剥离到最本质的结构、关系和模式。

尤其是数学还需要无歧义的精确性。整套语言要求严格的定义和无歧义的推理。

而目前人类对于通用人工智能的要求却是既要在不确定的环境之下做出最优决策,又不能去挑战人类道德伦理的各种底线,要让几乎所有人都能满意。

比如著名的电车难题。人类不管如何抉择,都会惹来一堆诟病,如果让机器抉择就更麻烦了……

这个世界能够解决问题的人不多,但喜欢批判解决问题的人总是很多。

数学上的最优化决策显然不能照搬到通用人工智能的决策树过程中。

更别提那诸多的定义了,衍生出的东西很多。

真正推进到通用人工智能领域,已经不再是深度机器学习就能解决的问题了。

毕竟要实现这一步的意图,并不是让机器通过推演,去下棋,或者根据逻辑一步步去推导数学难题。

而是让机器在受限的情况下,去自主思考。

即便对于乔喻这样的天才来说,这同样是个极致的难题,甚至比解决黎曼猜想或者其他千禧年难题更难。

动态学习,认知架构……

直接效果就是,郑希文这两年能感觉到乔喻外出的越来越少了。

开始很少跟人沟通,甚至很多时候连每周去乔曦那里报道一次都忘了,或者直接让夏可可带着自省过去吃顿饭。

经常把自己关在办公室里一待就是大半天。

真的,郑希文之前还真没见乔喻这样过。以至于最开始的时候还很不习惯。

这也直接导致了这些年乔喻身边那些人也不是很好过。

没办法,乔喻是喜欢迁怒的。一个问题解决不了,经常会把某个项目负责人给骂上一通。

这也再次让郑希文涨了见识。都说文化人骂人,是真可以不带脏字。

乔喻必然是这种文化人中的佼佼者,有些话郑希文听了都觉得着实有些过分了。

比如“我一直认为单细胞生物是否拥有大脑是个生物学难题,直到我跟你谈完话后才发现这就不是个难题……”

“这就是你的逻辑深度?大哥,我觉得你有必要找一本小学课本,把课后习题再重温一遍,对了建议你找三年级一下的,四年级就要学鸡兔同笼了你怕是看不太懂……”

总之这些年每个人从乔喻办公室里出来脸色都是不太好看。

就连脸皮最厚的那个余永俊都是如此。

这也让郑希文这个位置变得愈发重要了。

发展到最近一段时间,一帮研究员跟工程师们来找乔喻汇报工作,都会先来跟郑希文客套两句。

主要是跟他商量,能不能进去之后一段时间之后,请他也进去打个岔,方便他们赶紧跑路。

都是有头有脸的人,谁也不愿意被乔喻在办公室里花式埋汰一通。

尤其是乔喻的脑子也不知道是怎么长的,不但数学解决难题厉害,损起人来每次都不带重样的。

加上记忆力特别好,还能延续上次的内容,并在之前的基础上不断推陈出新……

而且这些事情,田老跟袁老大都是不过问的。

尤其是袁老,毕竟年龄大了,已经快九十岁了。肯定是管不了乔喻的。

田院士也已经年过八十,成了资深院士之后就不太管事了。

所以整个燕北跟华清两大数学研究中心也成了乔喻的天下。

除了乔曦还能镇得住他,真没谁能让乔喻给个面子。

情况大概就是这么个情况。

两年了,月球基地的占地面积前不久都已经超过两千个平方了,之前张启承诺过的月球上使用WiFi都已经实现了,

而且还顺利吸引了许多大富豪登上月球旅游。到现在已经上去七拨总计十三人。

甚至现在月球旅行已经如同之前设计的那般成了富豪间最为流行的旅行项目。

因为过于赚钱,几家航空公司已经开始考虑是不是可以推出私人飞船服务项目。

功能大概就是私人游艇差不多。无非是后者只能在海洋里浪,前者则能在外太空浪。

在大海上开party对于富豪们来说已经不是什么激动人心的事情。

但在太空开一场party才能体现真正顶级富豪的任性。

看吧,航天那边都已经发展到开始论证这个项目的可行性了,但月球基地配套的通用人工智能AGI工程建设目前还处于襁褓之中。

到现在还只是一个个方案,还没有任何一个项目能够落地。

所以郑希文其实能理解乔喻这段时间的情绪。

但郑希文其实觉得这并没有什么不好。

他甚至觉得之前乔喻的确是太顺利了,能有一个难题彻底难住他也挺好的。

起码让乔喻开始像一个人了。

真的,郑希文在乔喻身边这些年,见惯了乔喻的成功。

经常是人家解决了很久搞不定的难题,最后提交到他这边,没几天就搞定了。

尤其是计算所那边,都快被乔喻搞抑郁了。

上次科学院的数理学部开会,还有院士开玩笑,说什么科学院的计算研究所不如直接撤了算了,或者合并燕北国际数学研究中心这边来。

反正计算所这边有了问题也解决不了,还得推到这边,完全是浪费编制。

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

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

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

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

没办法,效率根本卷不过啊!

尤其是一些项目合作方。

人家虽然给面子,还是把项目交给计算所这边做,但总是明里暗里的表示,计算所可以跟乔喻的细雨科技合作,这样效率应该能更高些……

怎么说呢,这大概就是真笑话没人当回事,但真相的刀的确太过锋利了……

有些人是真怕科学院或者更上头觉得计算所现在没什么大用,干脆关了算了……

总之,看到乔喻也会被难题给难住,让郑希文觉得这家伙还是个人……

然而这种庆幸在田言真亲自造访时被打破……

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

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

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

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

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

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

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

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

“田导,您先别急,我想问您一个问题。您觉得我们该如何在数学上描述,来让机器理解意识、意图、价值等主观或高阶概念?”(本章完)

第343章 让数学沟通现实

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

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

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

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

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

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

听听,这说的是人话吗?

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

听起来就像是科幻故事。

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

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

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

……

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

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

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

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

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

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

田言真严肃的说道。

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

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

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

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

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

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

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

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

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

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

数学突破原本的桎梏?

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

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

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

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

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

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

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

果然半晌后,田言真才犹疑的开口问道:“如果我没理解错的话,你的意思是要实现数学对意义的精确捕捉吗?”

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

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

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

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

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

乔喻掷地有声的说道。

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

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

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

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

“嗯……”田言真还想说些什么,却再次被乔喻打断。

“我知道您还有忧心,但其实从您给我布置任务开始,我已经思考这个问题很久了。

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

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

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

伦理决策可以用代数去约束,价值度量接入微分几何模型,意识收敛需求的拓扑条件……

换句话说,我们创造的通用人工智能是一个高度类似具备意识的智能体。但其实它不会拥有自我意识。

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

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

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

……

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

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

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

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

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

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

显然乔喻并不是这么想。

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

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

标准的众生平等器。

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

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

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

工具如何使用始终控制在人类手里。起码对于现在的人类文明发展阶段绝对是有益的。

真要征服太空,动辄几年甚至十几年的星际远航,没有人工智能辅助,基本上是不可能的。

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

说实话,郑希文不太懂这些。他只是单纯觉得相关研究越来越怪异了……

从他得到的信息来看,起码做智能工程的那些工程师们的确是不太懂乔喻提出的理论。

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

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

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

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

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

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

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

无非是这方面的研究乔喻从没有发过论文。

当然乔喻现在也没有发论文的需求了。

倒是每个月都有人想要借乔喻的名字放到作者列表里发表某篇论文,来为自己的论文增增光……

所以现在郑希文其实也不知道乔喻的研究到底是成功好,还是失败好了。

说实话,打心底说他对乔喻希望研究的通用人工智能也感觉有些发怵。

不过说起来人对于自己不了解的东西,有种敬畏的感觉很正常。

但乔喻很肯定他的研究方向没问题,而且很有益处,郑希文又觉得也许乔喻才是正确的!

毕竟乔喻没有错过。

总之此时的郑希文只感觉很矛盾。

既希望看到田言真找到乔喻阐述中的漏洞,让乔喻放弃这个疯狂的想法。

又觉得乔喻如果能说服田言真可能也是件好事。

尤其是乔喻的规划中,通用型人工智能可是未来辅佐人类征服星空的重要工具。

真要说起来,哪个有志向的男人心里对星辰大海没有向往呢?

……

“就不能只在数学上做突破?”果然,犹豫了半晌后,田言真说出这么一番话。

听到这句话的时候,郑希文就知道这位大佬已经被彻底说动了。

“数学框架如果真的能设计出来,当然是要应用的。哪怕我不去推进这件事,之后肯定也会有一群的人努力试图去推进!

与其让后人去做这些,您难道不该更相信我吗?起码我知道底线在哪啊!您说对吧,田导!”

乔喻摊了摊手,说道。

人家都是充分相信后人的智慧,大概只有乔喻会关心后人的底线……

然而就是这句话,让田言真叹了口气,然后点了点头。

“行吧!既然你这么有信心,就用心去做吧。虽然我现在老了,管不了什么事了。不过有些事应该还是能说上些话的,等我回去就去打几个电话。”

听到这句话,乔喻并没有露出笑容,而是更加严肃的承诺道:“放心吧,田导!我也保证跟以前一样,给您提交一份最完美的答卷!”

田言真笑了笑,然后严肃的问道:“确定不会让机器诞生自我意识?”

乔喻很肯定的点了点头:“数学最美的地方就在于其严谨性!我们要通过很确定的严谨去定义出一个动态不确定的框架,我个人认为这不是孕育意识的温床,只是单纯的数学创新。”

虽然没有直接回答,但听起来似乎很有道理的样子。

田言真也没有再说什么,只是站了起来,然后临走时,意味深长的拍了拍乔喻的肩膀……

郑希文也不关了同步播放的记录,从房间里走了出去。

像田老这样的重要访客,他得亲自送出去。

当然两人没什么对话,只是客气的寒暄两句。

回到乔喻的办公室,他还没开口,乔喻先自顾自的说上了。

“现在想来薛教授对我的帮助是真大啊!果然选个好师门还是好啊,导师都退休了,还能帮我担着事情。”

郑希文默然……

虽然乔喻这番话说的没错,但总感觉怪怪的。

当然田老的影响力摆在那里。

在这一老一小,不对,还有华清那位老人的经营下,现在年轻一代的数理科研向话事人,尤其是数学向的大佬大都跟清北学派关系不错。

袁老跟田老在老一辈科研人员中间的地位又摆在那里。

说起来这样的确不太好。但怎么说呢,瑕不掩瑜……

起码这一派系的科研大佬们没有通过血缘传承,而且是真做出了举世瞩目的成绩。

所以大家也只有认了。

只是郑希文是真不知道未来会发展成什么样子……(本章完)

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.