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

作品:《永不下车

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

但也只是“原型机”,而没有实践意义上、更没有实用意义上的计算能力。

彼时的量子计算机,受限于量子纠缠的保持条件,设备庞大、代价高昂,一次准备能运行的时间却很短,量子位也局限在几个、十几个的水平,只能确证量子计算的可行性,而无法投入工程实践。

待到后来,西历1489年后,人类世界因核战而天翻地覆,一切研发工作也被迫中断。

在群雄割据时期,量子计算,被掌控各大陆的管理员们不约而同的判定为“意义不大”,研发工作几乎没有获得任何资源,进展接近于零。

之所以判断无意义,进而,不支持相关研究,道理很简单。

量子计算,原则上,是一种很有前景的“下一代计算技术”,基于量子效应而达到近似并行处理的效果,对特定数学问题,量子计算相对于传统电子计算机的能力,会有指数级的暴增,如此才有
本章未完,请翻下一页继续阅读......... 永不下车 最新章节第八五一章 破解,网址:https://www.6s6s.net/167/851.html