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