当前位置:铅笔阅读网>科幻灵异>永不下车>第八五一章 破解

第八五一章 破解 (1 / 3)

信息技术,it,从东北太平洋大区时代起,一直被管理员严控,到盖亚净土时代已基本解除限制,现在,则任由研究者随意探索,作为阿巴拉契亚大区曾经的管理员,艾米莉亚在这里如鱼得水,现在就将最近的研究娓娓道来。

不出方然所料,今天,人类的一系列科学研究,都极大依赖计算机、强ai。

和艾米莉亚一起走过工作繁忙的试验机构,边走边谈,两人的交谈被设置为“私密”,倒不是出于保密,而是避免打扰正在忙碌的研发人员。

这一点,在现实世界很难,“里世界”中实现起来则很容易。

但说到打扰、分心,方然倒是觉得,要是眼前的女士换一副样貌,譬如自己印象中的肯汤普森之形象,

说不定他还会更专心点,而不会在说话时,还在想象那场vivisection的场面。

“四色定理”,艾米莉亚和一干志同道合者最近的工作内容,也和计算机相关,毕竟这定理最初的证明就是用计算机完成的。

但当时的证明,在数学界中,褒贬不一,有些人认为“这是完备的证明”,也有人认为“只不过是一种有限穷举”,繁复的证明过程,无法归结为人类容易理解的形式逻辑,也没办法手工浮现,也难免为人诟病。

而现在,艾米丽娅等人的工作,便是借助强人工智能的力量,

尝试给出“四色定理”的形式逻辑证明。

原则上,四色定理并无法直接指导工程实践,作为拓扑学的已知定理,形式逻辑证明也不会对后续研究有助益,但是对人类而言,

这仍然是一项很有意义的工作。

探寻未知,并不一定意味着星辰大海,出于兴趣的探究都值得赞赏。

当然,在研究此类知识之余,艾米莉亚的主要工作还是在it方面,她柔声告诉方然,自己正参与一项研发机构的大型项目,梳理人类文明最近几十年来的研究成果,查漏补缺,以便确定下一阶段的主攻方向。

信息技术,早在旧时代,就是一个宽口径的学科领域,哪怕资深人士也只能熟稔其中一小部分,而难以纵览全局。

这方面的工作,在强人工智能出现后,一度完全依赖ai。

原因,是多方面的,在文明20时代到来前,管理员尚无法完全信任民众,另一方面,要在短时间内重建文明,发展生产力,依赖强ai也是相对务实的选择。

直到若干年前,具体的讲,在“混沌”中枢启用后,人类才逐渐恢复对信息技术各领域的研究,其中就包括“量子计算”,艾米莉亚最近一直在关注的重点领域,直白的讲,这关系到“混沌”中枢的升级换代。

量子计算机,一个并不时髦的概念,在旧时代末年的联邦已经出现,包括“国际商用机器”等公司在内的研发机构,陆续完成过一些量子计算的原型机。

上一章目录下一页