信息技术,it,从东北太平洋大区时代起,一直被管理员严控,到盖亚净土时代已基本解除限制,现在,则任由研究者随意探索,作为阿巴拉契亚大区曾经的管理员,艾米莉亚在这里如鱼得水,现在就将最近的研究娓娓道来。
不出方然所料,今天,人类的一系列科学研究,都极大依赖计算机、强ai。
和艾米莉亚一起走过工作繁忙的试验机构,边走边谈,两人的交谈被设置为“私密”,倒不是出于保密,而是避免打扰正在忙碌的研发人员。
这一点,在现实世界很难,“里世界”中实现起来则很容易。
但说到打扰、分心,方然倒是觉得,要是眼前的女士换一副样貌,譬如自己印象中的肯汤普森之形象,
说不定他还会更专心点,而不会在说话时,还在想象那场vivise的场面。
“四色定理”,艾米莉亚和一干志同道合者最近的工作内容,也和计算机相关,毕竟这定理最初的证明就是用计算机完成的。
但当时的证明,在数学界中,褒贬不一,有些人认为“这是完备的证明”,也有人认为“只不过是一种有限穷举”,繁复的证明过程,无法归结为人类容易理解的形式逻辑,也没办法手工浮现,也难免为人诟病。
而现在,艾米丽娅等人的工作,便是借助强人工智能的力量,
尝试给出“四色定理”的形式逻辑证明。
原则上,四色定理并无法直接指导工程实践,作为拓扑学的已知定理,形式逻辑证明也不会对后续研究有助益,但是对人类而言,
这仍然是一项很有意义的工作。
探寻未知,并不一定意味着星辰大海,出于兴趣的探究都值得赞赏。
当然,在研究此类知识之余,艾米莉亚的主要工作还是在it方面,她柔声告诉方然,自己正参与一项研发机构的大型项目,梳理人类文明最近几十年来的研究成果,查漏补缺,以便确定下一阶段的主攻方向。
信息技术,早在旧时代,就是一个宽口径的学科领域,哪怕资深人士也只能熟稔其中一小部分,而难以纵览全局。
这方面的工作,在强人工智能出现后,一度完全依赖ai。
原因,是多方面的,在文明20时代到来前,管理员尚无法完全信任民众,另一方面,要在短时间内重建文明,发展生产力,依赖强ai也是相对务实的选择。
直到若干年前,具体的讲,在“混沌”中枢启用后,人类才逐渐恢复对信息技术各领域的研究,其中就包括“量子计算”,艾米莉亚最近一直在关注的重点领域,直白的讲,这关系到“混沌”中枢的升级换代。
量子计算机,一个并不时髦的概念,在旧时代末年的联邦已经出现,包括“国际商用机器”等公司在内的研发机构,陆续完成过一些量子计算的原型机。
但也只是“原型机”,而没有实践意义上、更没有实用意义上的计算能力。