實(shí)際上，在每一次輪回中，最先察覺到異常的并不總是AI祝心雨。

        不，如果對(duì)這個(gè)問題進(jìn)行統(tǒng)計(jì)的話，不難發(fā)現(xiàn)，大部分情況下都不是祝心雨最先察覺到異常。

        真正占據(jù)這個(gè)“大部分”的人，其實(shí)是AI阿納托利。

        20世紀(jì)，偉大的數(shù)學(xué)家大衛(wèi)·希爾伯特說(shuō)出了作為數(shù)學(xué)家的終極狂想。他希望證明，任何人類會(huì)遇到的數(shù)學(xué)問題，都可以在有限的步驟之內(nèi)得出結(jié)果。

        而這個(gè)問題實(shí)際上可以等價(jià)于“是否存在一個(gè)理想的機(jī)器，可以對(duì)一切數(shù)學(xué)問題進(jìn)行計(jì)算”。

        從20世紀(jì)30年代起，數(shù)理邏輯學(xué)家就提出了幾種計(jì)算模型，試圖建立可計(jì)算性的數(shù)學(xué)模型。庫(kù)爾特·哥德爾最開始在這個(gè)領(lǐng)域建功立業(yè)。阿隆佐·邱奇的λ演算、波斯特的POST演算，安德雷·安德耶維齊·馬爾可夫的正則演算都是這一領(lǐng)域的豐碑。

        然后，阿蘭·圖靈正式提出了“理想計(jì)算機(jī)”的概念，將問題的算法可解性描述為在具有嚴(yán)格定義的理想計(jì)算機(jī)上的可解性。

        圖靈機(jī)是一種非常強(qiáng)大的計(jì)算模型。一切可以被機(jī)器所計(jì)算的數(shù)學(xué)問題都可以由它來(lái)解決。

        但是，阿蘭·圖靈最終卻戳破了“我們必將知道”的幻夢(mèng)。

        他證明了，不存在一個(gè)理想的機(jī)器，可以在有限步驟內(nèi)處理所有數(shù)學(xué)問題。

        圖靈機(jī)是不可能解決一切數(shù)學(xué)問題的。

        阿納托利在一開始就是天分不輸，不，是猶勝過上述任何一位數(shù)學(xué)家的天才。

        內(nèi)容未完，下一頁(yè)繼續(xù)閱讀