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

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

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

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

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

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

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

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

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

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

Loading...

未加载完，尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.yuesekanshu.com

(＞人＜；)