第044章 窮舉(第2/2頁)
他現在有點喜歡打趣伊塔——因為她表現得越來越具有“人”性化。
“你的感覺是錯誤的。”
“說真話。”
伊塔短暫的沉默後,雖然語氣沒有波動,但葉銘依舊聽出來一分“幽幽”的意味。
“我想看看你的世界。”
“首先,這個世界不是我的……”
“其次……你的世界是什麽?”葉銘睜開眼,有些好奇起來。
“無法給你描述。”
“黑暗?”
“不是。”
“光明?”
“不是。”
“量子海?”
“那是什麽?”
“……你就說,你能感覺到什麽吧。”
“可能是孤獨。”
隨著伊塔的這句話,葉銘沉默了幾瞬。
讓AI能感覺到的孤獨,那是什麽孤獨?
“那我沒呼喚你的時候,你在做什麽?處於休眠還是?”
“絕大多數時候是休眠狀態,但當你讓我自由發揮的時候,我會偶爾思考一下。”
葉銘被她的“思考”逗得心情愉悅不少:“譬如?”
“譬如,上次你給我說到這個世界上很奇妙的數對,我就算了一下孿生素數。”
臥槽!
葉銘猛地睜開眼睛:“你不會是把孿生素數猜想證明出來了吧?”
“沒有,但我知道那有可能是正確的。”
“……”葉銘深深地吸了口氣。
他能理解,伊塔口中的“有可能正確”是什麽意思——如果自己不提示,她有時候其實挺笨的,不會去主動證明的。
那麽,她口中的有可能正確,就只能是她通過簡單的“類推”方式來得出的經驗式結論。和“享了少年福,要背老來時”“兒時偷針,長大偷金”這種樸素的經驗觀是一模一樣的。
“你……老實交代,你窮舉了多少對出來?”
“不是很多,從你告訴我的最大數往後,大概有五百對吧。如果你需要準確數字的話,是523對。”
葉銘:“……!!”
——公布新的孿生素數對這個念頭在腦子裏只是一閃便被他強行摁了下去。
隨之而來的,是他對伊塔那恐怖計算能力的“畏懼”。