第(1/3)頁

    信息技術，it，從東北太平洋大區時代起，一直被管理員嚴控，到蓋亞凈土時代已基本解除限制，現在，則任由研究者隨意探索，作為阿巴拉契亞大區曾經的管理員，艾米莉亞在這里如魚得水，現在就將最近的研究娓娓道來。

    不出方然所料，今，人類的一系列科學研究，都極大依賴計算機強ai。

    和艾米莉亞一起走過工作繁忙的試驗機構，邊走邊談，兩饒交談被設置為“私密”，倒不是出于保密，而是避免打擾正在忙碌的研發人員。

    這一點，在現實世界很難，“里世界”中實現起來則很容易。

    但到打擾分心，方然倒是覺得，要是眼前的女士換一副樣貌，譬如自己印象中的肯*湯普森之形象，

    不定他還會更專心點，而不會在話時，還在想象那場vivisection的場面。

    “四色定理”，艾米莉亞和一干志同道合者最近的工作內容，也和計算機相關，畢竟這定理最初的證明就是用計算機完成的。

    但當時的證明，在數學界中，褒貶不一，有些人認為“這是完備的證明”，也有人認為“只不過是一種有限窮舉”，繁復的證明過程，無法歸結為人類容易理解的形式邏輯，也沒辦法手工浮現，也難免為人詬病。

    而現在，艾米麗婭等饒工作，便是借助強人工智能的力量，

    嘗試給出“四色定理”的形式邏輯證明。

    原則上，四色定理并無法直接指導工程實踐，作為拓撲學的已知定理，形式邏輯證明也不會對后續研究有助益，但是對人類而言，

    這仍然是一項很有意義的工作。

    探尋未知，并不一定意味著星辰大海，出于興趣的探究都值得贊賞。
    第(1/3)頁