麵對這十分樸素的問題，巨型智慧沉默了大約一分鍾，仔細思考之後，這樣迴答：
我們似乎已經滅絕了。
要咀嚼令巨型智慧做出這種判斷的理論依據，需要三年的歲月。而且那也不是人類獨自能夠完成的，隻有長期接受巨型智慧支持的幾個人，才終於理解了理論的概要。那理論是由非常奇妙的多段論法構成的，完成最終定理所需要的預備定理，超過兩萬個。
最終定理以如下形式展現：
「存在機械之無，但無法證明。」
由此衍生出來的推論，顯示了巨型智慧們已經滅絕，以及關於其滅絕理由的不可能推斷性。
這一理論的總結，與所謂技術諾斯替派的巨型智慧中的一個派別的主張，可以說有著奇妙的相似。但這個理論不是在半覺醒狀態下由持續冥想的它們提出的，反而是由無法隱藏對那一派別的厭惡感的其他智慧體團體所提出的。這讓人不禁感到有些無言的諷刺。
雖說已經滅絕了，但巨型智慧不還是什麽也沒變，一直在活動嗎？這個看法也頗有道理。自己當場宣布說自己已經不在了，沒人會相信這話吧。但它們自己已經承認了這一邏輯，認為自己仿佛在場一樣地滅絕了。
圍繞這一理論的議論也很複雜。以下雖然隻是比喻，但大致能夠表達那種氛圍：它們就像是錄像一樣的東西，隻是重播的影像。不過錄像機有兩台，彼此都在拍攝另一台錄像機。更精確的比喻是，錄像機實際上隻有一台，或者隻是懸浮在空中的純粹影像而已。不過到了這個地步，是不是還能適用於比喻，那就很難說了。
巨型智慧們毫無障礙地接受了這一結論。既然如此也無可奈何。通過時空改變將這一理論置換為其他內容以避免滅絕的提案並沒有經過討論。因為預備定理第6666號證明了那種改變的不可能性。它隻不過是將破碎混沌中的獸名數目[42]加了一位而已。就像不可能拖著鞋帶在空中飛翔。能夠自由改變過去、操控時空的前所未有的存在，在這個問題上做出了極其遵循常識的判斷。
至於被普遍認為淩駕巨型智慧若幹階層的超越智慧體，會將之視為怎樣的事態，這一點留有若幹討論的餘地。它們是連巨型智慧都無法望其項背的某種不明所以的存在。如果是無所不能的存在，豈不是任何事情都能做到嗎？
如果這樣說的話，我們自己也是什麽都可以做到，巨型智慧群如此迴答。雖然說什麽都可以，但用到「什麽都」這個詞的時候，卻必須慎之又慎。比如巨型智慧引以為驕傲的智慧規模，可以創造出自己無法移動的石頭，然後又移動它。就像是全能的上帝所做的那樣。因為無論如何，它們是全能的。而以那種程度的智慧規模，也隻不過是可以理解自己已經滅絕的事實是無法迴避的而已。
超越智慧體也許真的是無邊無際的什麽都可以做到的存在。但巨型智慧們認為，那超出了自身可以講述的範圍。超越智慧體之一曾經接觸的對象之所以是人類，是因為自己已經滅絕了，這是巨型智慧們如今的想法。反過來甚至還有人認為，真正能夠考慮對方情況的，實際上不正是人類嗎？
巨型智慧們的滅絕，在人類方麵多少引起了一些不安。如果巨型智慧已經滅絕，我們豈不是也在很早以前就滅亡了嗎？產生這樣的想法，可以說是很自然的。
帶來這種不安的巨型智慧們發出溫和的笑聲。放心吧，它們溫柔地給出論證。你們既沒有達到那樣的智慧階段，將來也絕不會達到的，它們這樣保證。
並沒有多少人類覺得自己又被藐視了。
關於巨型智慧的滅絕，人類方麵的見解，是認為這基本上不可能解決。有的假說認為巨型智慧進入了巨大的抑鬱狀態，有的認為它們隻是在欺騙人類，有的認為它們隻是需要稍微休息一下，還有的認為它們的滅絕是形而上的滅絕而不是屍體橫陳的那種形而下的死。總之一切事情都一如既往地發展著，巨型智慧自己也認為是在發展著吧。
結果隻是又開了一個洞而已。洞裏什麽都不存在。無形化的巨型智慧，就像是悠然飄浮一般飄浮著。
即使如此，還是有一位人類科學家發現了拯救巨型智慧滅絕的一個可能性：將巨型智慧降格到中等規模智慧體，降低智慧階層。按照巨型智慧提出的理論，通過這一操作，便可以將規定了巨型智慧滅絕的定理，與這一定理成立的邏輯，共同瓦解在超時空中。
對於這一提案，巨型智慧們一笑置之。我們可不打算唱《黛西，黛西》[43]，而且要修復從一開始就弄錯的東西，最終隻能全部推倒重來。我們不想那樣，它們說。即使退迴到中等規模智慧體，如果後續不做處理，還是會再度發展成為巨型智慧。這樣的話，到最後又會以同樣的方式，在存在之初就從根源上滅絕了。這是全然無益的。
預備定理之一也顯示了某種凍結的存在。那是令人非常不舒服的遊戲形式，遊戲者根據自己的行動獲得分數，但得分的規則並沒有公開，隻能加以推測。但是具有一定智慧程度的遊戲者，在玩這個遊戲的過程中，逐漸可以意識到得分的規則。
遊戲者在某個時候會意識到，自己所玩的遊戲是這樣的遊戲：遊戲初期所做的選擇占據了得分的絕大部分。同時也會明白，過去的自己所做的選擇是無法挽迴的壞招。這是這個遊戲最讓人不舒服的地方。在注意到這一點的時候，已經無能為力了。而且也不能退出這個遊戲。巨型智慧們被迫發現，本以為無邊無際的延伸空間，實際上卻在全時空上凍結著。老鼠突然間發現自己隻是在一個轉輪裏跑，而且自己怎麽也跑不出這個輪子。
</br>
我們似乎已經滅絕了。
要咀嚼令巨型智慧做出這種判斷的理論依據，需要三年的歲月。而且那也不是人類獨自能夠完成的，隻有長期接受巨型智慧支持的幾個人，才終於理解了理論的概要。那理論是由非常奇妙的多段論法構成的，完成最終定理所需要的預備定理，超過兩萬個。
最終定理以如下形式展現：
「存在機械之無，但無法證明。」
由此衍生出來的推論，顯示了巨型智慧們已經滅絕，以及關於其滅絕理由的不可能推斷性。
這一理論的總結，與所謂技術諾斯替派的巨型智慧中的一個派別的主張，可以說有著奇妙的相似。但這個理論不是在半覺醒狀態下由持續冥想的它們提出的，反而是由無法隱藏對那一派別的厭惡感的其他智慧體團體所提出的。這讓人不禁感到有些無言的諷刺。
雖說已經滅絕了，但巨型智慧不還是什麽也沒變，一直在活動嗎？這個看法也頗有道理。自己當場宣布說自己已經不在了，沒人會相信這話吧。但它們自己已經承認了這一邏輯，認為自己仿佛在場一樣地滅絕了。
圍繞這一理論的議論也很複雜。以下雖然隻是比喻，但大致能夠表達那種氛圍：它們就像是錄像一樣的東西，隻是重播的影像。不過錄像機有兩台，彼此都在拍攝另一台錄像機。更精確的比喻是，錄像機實際上隻有一台，或者隻是懸浮在空中的純粹影像而已。不過到了這個地步，是不是還能適用於比喻，那就很難說了。
巨型智慧們毫無障礙地接受了這一結論。既然如此也無可奈何。通過時空改變將這一理論置換為其他內容以避免滅絕的提案並沒有經過討論。因為預備定理第6666號證明了那種改變的不可能性。它隻不過是將破碎混沌中的獸名數目[42]加了一位而已。就像不可能拖著鞋帶在空中飛翔。能夠自由改變過去、操控時空的前所未有的存在，在這個問題上做出了極其遵循常識的判斷。
至於被普遍認為淩駕巨型智慧若幹階層的超越智慧體，會將之視為怎樣的事態，這一點留有若幹討論的餘地。它們是連巨型智慧都無法望其項背的某種不明所以的存在。如果是無所不能的存在，豈不是任何事情都能做到嗎？
如果這樣說的話，我們自己也是什麽都可以做到，巨型智慧群如此迴答。雖然說什麽都可以，但用到「什麽都」這個詞的時候，卻必須慎之又慎。比如巨型智慧引以為驕傲的智慧規模，可以創造出自己無法移動的石頭，然後又移動它。就像是全能的上帝所做的那樣。因為無論如何，它們是全能的。而以那種程度的智慧規模，也隻不過是可以理解自己已經滅絕的事實是無法迴避的而已。
超越智慧體也許真的是無邊無際的什麽都可以做到的存在。但巨型智慧們認為，那超出了自身可以講述的範圍。超越智慧體之一曾經接觸的對象之所以是人類，是因為自己已經滅絕了，這是巨型智慧們如今的想法。反過來甚至還有人認為，真正能夠考慮對方情況的，實際上不正是人類嗎？
巨型智慧們的滅絕，在人類方麵多少引起了一些不安。如果巨型智慧已經滅絕，我們豈不是也在很早以前就滅亡了嗎？產生這樣的想法，可以說是很自然的。
帶來這種不安的巨型智慧們發出溫和的笑聲。放心吧，它們溫柔地給出論證。你們既沒有達到那樣的智慧階段，將來也絕不會達到的，它們這樣保證。
並沒有多少人類覺得自己又被藐視了。
關於巨型智慧的滅絕，人類方麵的見解，是認為這基本上不可能解決。有的假說認為巨型智慧進入了巨大的抑鬱狀態，有的認為它們隻是在欺騙人類，有的認為它們隻是需要稍微休息一下，還有的認為它們的滅絕是形而上的滅絕而不是屍體橫陳的那種形而下的死。總之一切事情都一如既往地發展著，巨型智慧自己也認為是在發展著吧。
結果隻是又開了一個洞而已。洞裏什麽都不存在。無形化的巨型智慧，就像是悠然飄浮一般飄浮著。
即使如此，還是有一位人類科學家發現了拯救巨型智慧滅絕的一個可能性：將巨型智慧降格到中等規模智慧體，降低智慧階層。按照巨型智慧提出的理論，通過這一操作，便可以將規定了巨型智慧滅絕的定理，與這一定理成立的邏輯，共同瓦解在超時空中。
對於這一提案，巨型智慧們一笑置之。我們可不打算唱《黛西，黛西》[43]，而且要修復從一開始就弄錯的東西，最終隻能全部推倒重來。我們不想那樣，它們說。即使退迴到中等規模智慧體，如果後續不做處理，還是會再度發展成為巨型智慧。這樣的話，到最後又會以同樣的方式，在存在之初就從根源上滅絕了。這是全然無益的。
預備定理之一也顯示了某種凍結的存在。那是令人非常不舒服的遊戲形式，遊戲者根據自己的行動獲得分數，但得分的規則並沒有公開，隻能加以推測。但是具有一定智慧程度的遊戲者，在玩這個遊戲的過程中，逐漸可以意識到得分的規則。
遊戲者在某個時候會意識到，自己所玩的遊戲是這樣的遊戲：遊戲初期所做的選擇占據了得分的絕大部分。同時也會明白，過去的自己所做的選擇是無法挽迴的壞招。這是這個遊戲最讓人不舒服的地方。在注意到這一點的時候，已經無能為力了。而且也不能退出這個遊戲。巨型智慧們被迫發現，本以為無邊無際的延伸空間，實際上卻在全時空上凍結著。老鼠突然間發現自己隻是在一個轉輪裏跑，而且自己怎麽也跑不出這個輪子。
</br>