关灯
护眼
字体:

第八五一章 破解

首页书架加入书签返回目录

请安装我们的客户端

更新超快的免费小说APP

下载APP
终身免费阅读

添加到主屏幕

请点击,然后点击“添加到主屏幕”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    但也只是“原型机”,而没有实践意义上、更没有实用意义上的计... -->>
本章未完,点击下一页继续阅读
上一章目录下一页

请安装我们的客户端

更新超快的免费小说APP

下载APP
终身免费阅读

添加到主屏幕

请点击,然后点击“添加到主屏幕”