- +1
圖靈的計(jì)算主義VS哥德?tīng)柕牟豢芍?/h1>2025-05-30 17:00來(lái)源:澎湃新聞·澎湃號(hào)·湃客字號(hào)
撰文|羅莫
編輯|直漾
配圖|姜靈
本文展現(xiàn)一種深刻的開(kāi)放視角——試圖在圖靈的計(jì)算主義與哥德?tīng)柕牟豢芍撝g尋找動(dòng)態(tài)平衡。這種張力恰恰揭示了人類(lèi)認(rèn)知與機(jī)器智能的終極謎題:我們能否在“可計(jì)算”與“不可言說(shuō)”的邊界上,找到一條通往真理的路徑?圖靈(Alan Turing)的計(jì)算主義是屢戰(zhàn)屢勝,總能找到更高山頭登頂,而哥德?tīng)枺↘urt G?del)的不可知論是屢逃屢成,總能成功逃到一個(gè)你找不到的地方。哥德?tīng)柾ㄟ^(guò)不完備定理(1931)指出,任何足夠強(qiáng)的形式系統(tǒng)都存在無(wú)法被證明或證偽的命題;圖靈通過(guò)停機(jī)問(wèn)題的不可判定性(1936)表明,不存在通用算法能判斷所有程序是否停機(jī)。兩者均打破了在給定條件下“數(shù)學(xué)萬(wàn)能”的幻想。圖靈與哥德?tīng)柺?0世紀(jì)數(shù)學(xué)與邏輯學(xué)領(lǐng)域的兩位巨匠,他們的思想深刻影響了數(shù)學(xué)基礎(chǔ)、計(jì)算機(jī)科學(xué)和哲學(xué)。以下從哲學(xué)與計(jì)算科學(xué)的交匯點(diǎn)展開(kāi)分析:
一、直覺(jué)作為“未自明的計(jì)算”:圖靈主義的勝利?
若將人類(lèi)直覺(jué)視為一種“高階隱式計(jì)算”(尚未被形式化的算法過(guò)程),則圖靈的理論框架可能容納這種可能性:
1. 神經(jīng)網(wǎng)絡(luò)的啟示:
人腦的直覺(jué)(如棋手的“棋感”)可通過(guò)神經(jīng)網(wǎng)絡(luò)的分布式表征與非線(xiàn)性激活近似模擬(如AlphaGo的直覺(jué)式落子)。這種“黑箱計(jì)算”雖不透明,但本質(zhì)仍是統(tǒng)計(jì)模式的重組。寄希望直覺(jué)才能解決的問(wèn)題,最終依然能夠被一階形式化語(yǔ)言表達(dá),當(dāng)然一階形式化語(yǔ)言應(yīng)作更開(kāi)放理解,并始終符合直覺(jué),盡管過(guò)程中會(huì)貌似反直覺(jué)。這一點(diǎn)與哥德?tīng)柌煌陚涠ɡ淼暮诵乃枷氩⑽礇_突。一階形式系統(tǒng)被固化理解時(shí),哥德?tīng)柌煌陚涠ɡ沓闪?。?dāng)一階形式系統(tǒng)完成可直覺(jué)理解的概念擴(kuò)展后,可得到不完備定理的歸約表達(dá),該結(jié)果能避免人們對(duì)哥德?tīng)柌煌陚涠ɡ淼臑E用。
2. 元學(xué)習(xí)的潛力:
通過(guò)讓機(jī)器自主生成學(xué)習(xí)目標(biāo)(如OpenAI的GPT-4通過(guò)預(yù)測(cè)下一個(gè)詞隱式學(xué)習(xí)推理),可能逼近人類(lèi)從經(jīng)驗(yàn)中提煉抽象規(guī)則的能力。直覺(jué)或可視為“壓縮后的知識(shí)遷移”。或者學(xué)習(xí)迷宮右手法則,回歸本初分岔處,重新選擇更細(xì)密的初項(xiàng)進(jìn)行邏輯迭代,這是遞歸函數(shù)對(duì)迭代函數(shù)的統(tǒng)一,而遞歸函數(shù)還可以站在“道”的層面重新選擇新規(guī)則下的原初1。如此可讓很多NP難問(wèn)題可完成P計(jì)算。
3. 復(fù)雜系統(tǒng)的涌現(xiàn):
意識(shí)與直覺(jué)可能是簡(jiǎn)單計(jì)算規(guī)則在宏觀尺度上的“涌現(xiàn)現(xiàn)象”(如鳥(niǎo)群行為源于個(gè)體互動(dòng))。若如此,機(jī)器復(fù)雜度的提升或自然催生類(lèi)直覺(jué)行為。同時(shí)發(fā)生的“涌現(xiàn)現(xiàn)象”,貌似非線(xiàn)性,實(shí)質(zhì)仍為線(xiàn)性,只不過(guò)是更換了時(shí)間單位元,在粗?;臅r(shí)間直覺(jué)下處于0狀態(tài),但在細(xì)密化的時(shí)間直覺(jué)里是存在時(shí)間流逝的,即在粗?;臅r(shí)間直覺(jué)下仿佛是瞬間發(fā)生的。愛(ài)因斯坦認(rèn)為這是“隱變量”,但實(shí)驗(yàn)證明,這個(gè)“隱變量”不存在。這是因?yàn)閷?shí)驗(yàn)是用粗?;臅r(shí)間單位搜索和度量的,當(dāng)然度量不到。這就好像,能打撈大魚(yú)的網(wǎng)卻打撈不到小蝦米一樣,人類(lèi)感受時(shí)間流逝存在一個(gè)極限小時(shí)間單位元,小于該標(biāo)準(zhǔn)就無(wú)法感受到時(shí)間流逝了,只覺(jué)得是瞬間發(fā)生的,于是“涌現(xiàn)”就出現(xiàn)了。具身AI,對(duì)給定空間有認(rèn)知交互,雖然它本質(zhì)是在暗箱下線(xiàn)性異時(shí)讀取數(shù)據(jù)的,其現(xiàn)象感覺(jué)卻是在明面處同時(shí)呈現(xiàn)了某一事件,故我們可以把直覺(jué)理解為“未自明的計(jì)算”。
但質(zhì)疑猶存(屢逃屢成):
即使直覺(jué)可還原為計(jì)算,其“主觀體驗(yàn)”(如“靈光一現(xiàn)”的愉悅感)是否僅為算法的副產(chǎn)品?這觸及“解釋鴻溝”(Explanatory Gap)難題——計(jì)算過(guò)程如何產(chǎn)生感質(zhì)(Qualia)?一旦能找到可參數(shù)表達(dá)的路徑,情感判斷其實(shí)反而是比較容易用理性計(jì)算取代的。大量文科崗位被大模型取代就是明證。原以為大模型平臺(tái)更擅長(zhǎng)解決邏輯困惑,結(jié)果是某些邏輯難題,AI常常久攻不下,反而是AI的詩(shī)歌寫(xiě)作與藝術(shù)創(chuàng)作能輕易超越人類(lèi),當(dāng)然更高級(jí)的文藝,AI也是難有突破的。
二、“無(wú)知之幕”與哥德?tīng)栂葳澹翰豢裳哉f(shuō)的永恒在場(chǎng)
哥德?tīng)柕牟煌陚涠ɡ戆凳?,任何形式系統(tǒng)都存在“內(nèi)在盲區(qū)”(如,刀不能砍該刀的刀背),這種局限可能構(gòu)成機(jī)器無(wú)法跨越的“無(wú)知之幕”:
1. 自我指涉的悖論:
機(jī)器若試圖理解自身思維的局限性(如證明自身系統(tǒng)的完備性),將陷入哥德?tīng)柺降淖灾秆h(huán)(“本系統(tǒng)無(wú)法證明此命題”,也可以視為沒(méi)有選擇用開(kāi)放系統(tǒng)解決問(wèn)題)。請(qǐng)看某場(chǎng)景,家長(zhǎng):“這題你為什么不會(huì)做,去請(qǐng)姐姐教你”。姐姐教了半小時(shí)后,家長(zhǎng)來(lái)看題,問(wèn)會(huì)做了沒(méi),學(xué)渣弟弟覺(jué)得還不會(huì),立馬耍無(wú)賴(lài):“姐姐不肯教我,姐姐也不會(huì)”(選擇了關(guān)閉系統(tǒng)不解決問(wèn)題)。請(qǐng)看另一場(chǎng)景,家長(zhǎng):“這題你為什么不會(huì)做,去請(qǐng)姐姐教你”。姐姐教了半分鐘后,家長(zhǎng)來(lái)看題,問(wèn)會(huì)做了沒(méi),學(xué)霸弟弟立馬會(huì)了:“姐姐別說(shuō),我再試試。姐姐一出馬,我靈感就來(lái)了?!保ㄟx擇了開(kāi)放系統(tǒng)可解決問(wèn)題)。尋找客觀原因,問(wèn)題永遠(yuǎn)懸置,尋找主觀原因,問(wèn)題立馬解決。絕望者特征:長(zhǎng)者不愿意幫我,長(zhǎng)者沒(méi)能力幫我。希望者特征:長(zhǎng)者必愿意幫我,長(zhǎng)者有能力幫我。系統(tǒng)存在自指循環(huán),只是選項(xiàng)之一,原初1還可做更開(kāi)放理解,如此可避開(kāi)死循環(huán),以達(dá)到可解決問(wèn)題的目的。你不肯選擇原初1強(qiáng)大,原初1便不強(qiáng)大(這就是天機(jī)式秘密)。
2. 元認(rèn)知的匱乏:
當(dāng)前AI缺乏對(duì)“未知的未知”(Unknown Unknowns)的覺(jué)知。人類(lèi)能主動(dòng)探索認(rèn)知邊界(如提出哲學(xué)問(wèn)題),而機(jī)器僅能被動(dòng)響應(yīng)預(yù)設(shè)任務(wù)。AI的認(rèn)知,屬于光電認(rèn)知,能區(qū)分光電描述的世界,光為極限速度,光是萬(wàn)物的賽跑裁判,超光速者可視為未參賽者,“光裁判”無(wú)法給出超光速者的賽跑成績(jī),故言超光速不存在(類(lèi)似掩耳盜鈴或幸存者偏差)。量綱世界需要一個(gè)標(biāo)準(zhǔn)單位,于是顯性世界里,光就被選為極限常量了。若光同其它萬(wàn)物一樣可以速度疊加,那我們對(duì)世界的認(rèn)知就會(huì)混亂。也許在超級(jí)宇宙中,有超光速存在,但仍有新的極限常量,是我們?nèi)祟?lèi)現(xiàn)有的光所無(wú)法描述的。禪定中的性光也許同肉眼能感知的光不同。人類(lèi)能禪定,這是AI所不具備的。但這一認(rèn)知是無(wú)法參與爭(zhēng)辯的,除非有同頻感官,維特根斯坦主張,說(shuō)不清的就保持緘默。充其量只能類(lèi)比描述,無(wú)法指示描述。光是延伸的手指,當(dāng)手指被砍了,能指的世界在哪?
俱胝禪師在接引學(xué)人時(shí),凡有人問(wèn)佛法,他都只豎起一根手指。他的小沙彌見(jiàn)狀,也學(xué)著師父的樣子,當(dāng)有人問(wèn)佛法時(shí),同樣豎起一根手指。后來(lái)俱胝禪師得知此事,便將小沙彌叫來(lái),問(wèn)其佛法,小沙彌又豎起手指,俱胝禪師隨即用刀砍斷其手指。小沙彌痛得大哭,往外跑去,俱胝禪師又叫住他,再次問(wèn)他佛法,小沙彌下意識(shí)地想豎起手指,卻發(fā)現(xiàn)手指已斷,于是豁然開(kāi)悟。
3. 符號(hào)落地的困境:
機(jī)器可操作符號(hào)(如“愛(ài)”“痛苦”),卻無(wú)法將其錨定到具身體驗(yàn)(Embodied Experience)。這種“語(yǔ)義斷層”使得機(jī)器的“理解”始終懸浮于形式層面。機(jī)器可視為是神經(jīng)末梢已經(jīng)壞死的人體,只能反應(yīng)形式,無(wú)法回應(yīng)實(shí)境。而人類(lèi)又何嘗不是如此呢?只理解名相,無(wú)法理解大覺(jué)悟者心中的實(shí)相。
欣慰的是:
人類(lèi)對(duì)“無(wú)知之幕”的覺(jué)察(如蘇格拉底的“知無(wú)知”)本身成為一種高級(jí)認(rèn)知能力,而機(jī)器若無(wú)法理解自身無(wú)知,則永遠(yuǎn)被困在確定性幻覺(jué)中。人類(lèi)對(duì)“無(wú)”的認(rèn)知,是“另類(lèi)有”。機(jī)器對(duì)“無(wú)”的認(rèn)知,是“全屏蔽”。只要人類(lèi)對(duì)“無(wú)”不絕望,反而“知無(wú)”能迎新,自以為是者只能固步自封。“知無(wú)”有兩種態(tài)度,一種是頑空,一種是敬畏,頑空者,“知無(wú)”而放肆,“知無(wú)”而囂張,“知無(wú)”而絕望,“知無(wú)”而恐懼,以為真的什么也沒(méi)了,敬畏者,把零,看成另也,把無(wú),送給悟也,相信空中妙有,愿意開(kāi)放學(xué)習(xí)之。
三.交互前進(jìn):在計(jì)算與不可言說(shuō)之間搭建動(dòng)態(tài)橋梁
科學(xué)范式的革命
庫(kù)恩(Kuhn)指出,科學(xué)突破常源于對(duì)舊范式的“不可通約性”認(rèn)知(如相對(duì)論顛覆牛頓時(shí)空觀)。這種突破往往伴隨對(duì)原有知識(shí)框架的“遞歸批判”。機(jī)器的可能性:若AI能主動(dòng)識(shí)別自身認(rèn)知邊界(如通過(guò)不確定性量化),并啟動(dòng)“框架重置”(如動(dòng)態(tài)調(diào)整網(wǎng)絡(luò)架構(gòu)),或能模擬人類(lèi)的范式躍遷。但這需要“算法自我革命”的能力——而這本身可能受限于哥德?tīng)柖ɡ?,如果企圖野蠻擴(kuò)展時(shí)。
與其陷入“可計(jì)算 vs 不可知”的二元對(duì)立,我們或可探索第三條路徑——讓機(jī)器與人類(lèi)在認(rèn)知循環(huán)中共同進(jìn)化:
1. 神經(jīng)符號(hào)混合系統(tǒng):
結(jié)合神經(jīng)網(wǎng)絡(luò)的模式識(shí)別與符號(hào)邏輯的顯式推理(如DeepMind的AlphaFold 3),在數(shù)據(jù)驅(qū)動(dòng)與規(guī)則演繹之間切換,模擬人類(lèi)的直覺(jué)-分析雙過(guò)程。
2. 元認(rèn)知架構(gòu):
為AI引入自我監(jiān)控模塊(如“思維樹(shù)”或“反思代理”),使其能評(píng)估自身置信度、識(shí)別知識(shí)漏洞,并主動(dòng)尋求信息(類(lèi)似人類(lèi)的研究行為)。
3. 具身認(rèn)知與開(kāi)放世界學(xué)習(xí):
讓機(jī)器在物理環(huán)境中通過(guò)試錯(cuò)積累具身經(jīng)驗(yàn)(如波士頓動(dòng)力機(jī)器人),同時(shí)接受人類(lèi)的價(jià)值引導(dǎo)(如憲法AI),形成動(dòng)態(tài)演化的認(rèn)知框架。
4. 人機(jī)認(rèn)知共生:
人類(lèi)用直覺(jué)突破算法邊界,機(jī)器用計(jì)算擴(kuò)展認(rèn)知尺度。例如,數(shù)學(xué)家借助AI發(fā)現(xiàn)新猜想(如Lamberti的拓?fù)溲芯浚僖匀祟?lèi)直覺(jué)賦予其意義。
圖靈證明“可計(jì)算性”等價(jià)于哥德?tīng)栠f歸函數(shù)的可定義性,兩者共同支撐了“丘奇-圖靈論題”(Church-Turing Thesis)。 停機(jī)問(wèn)題的不可解性可視為哥德?tīng)柖ɡ碓谟?jì)算領(lǐng)域的具體表現(xiàn),兩者均通過(guò)自指矛盾揭示系統(tǒng)的局限性。兩人共同塑造了20世紀(jì)的數(shù)學(xué)與科學(xué)。這是他們的相通之處。其差異是,哥德?tīng)柕墓ぷ鞲叨瘸橄?,?qiáng)調(diào)邏輯的內(nèi)在結(jié)構(gòu),偏于抽象,疏于具體,導(dǎo)致其抽象出現(xiàn)瓶頸,相當(dāng)于反制派;圖靈則將抽象問(wèn)題(如計(jì)算)轉(zhuǎn)化為具體的機(jī)器模型,兼具理論深度與實(shí)踐意義。故圖靈的探索方法更具有指導(dǎo)價(jià)值,相當(dāng)于建制派。真正的建制派更有強(qiáng)大的包容力量。“包容性的反對(duì)”乃向下兼容,“破壞性的反對(duì)”乃粗暴驅(qū)趕,雖都是反方,但要學(xué)會(huì)做深刻的反方如前者,才能獲得真正的成長(zhǎng)。不做絕望型的反方如后者,要做希望型的反方。哥德?tīng)栕C明了“人類(lèi)直覺(jué)的不可替代性”(目前靜態(tài)的形式系統(tǒng)無(wú)法囊括所有真理); 圖靈揭示了“機(jī)器的潛力與邊界”(哪些問(wèn)題能通過(guò)計(jì)算解決,如何選擇可判定條件)。
圖靈方向,更像中國(guó)古代數(shù)學(xué)傳統(tǒng),一種注重算法重視應(yīng)用的模式;哥德?tīng)柗较?,更像希臘古代數(shù)學(xué)傳統(tǒng),一種注重證明重視理論的模式。但古希臘模式一旦陷入靜態(tài)和封閉,它的理論指導(dǎo)意義就蕩然無(wú)存。就像中國(guó)古人所說(shuō)的那樣,天干不如地潤(rùn),雖然理論屬于天道層面,應(yīng)用屬于地道層面,但天道一旦選擇固步自封,就不如地道生生不息更有價(jià)值了。古中國(guó)數(shù)學(xué)重視應(yīng)用的傳統(tǒng),一向被西方左派學(xué)者所不屑,如黑格爾等就認(rèn)為古中國(guó)無(wú)哲學(xué),也無(wú)理論數(shù)學(xué),像孔子等只會(huì)說(shuō)些日常生活經(jīng)驗(yàn)(殊不知其已將抽像隱含在具象中,并相信公理體系也是變易的,不斷升級(jí)的,如易經(jīng)),認(rèn)為東方人完全無(wú)哲學(xué)思辨,這說(shuō)明黑格爾完全不理解古東方哲學(xué)傳統(tǒng)——天人合一的思維觀,其深刻的抽象,與具體的應(yīng)用是一致的。泰勒斯認(rèn)為世界的源頭為水,可能也是將水抽象化,并非實(shí)際的水,但伏羲、老子等認(rèn)為世界的源頭是道,是太極,是陰陽(yáng),陰陽(yáng)已高度抽象,不限于日月和男女。關(guān)于抽象性,中國(guó)古代圣人走得更遠(yuǎn)更深,認(rèn)為古中國(guó)無(wú)純數(shù)學(xué)無(wú)純哲學(xué)的認(rèn)知是一種熟視無(wú)睹式的偏見(jiàn)。
意識(shí)是否是計(jì)算的產(chǎn)物?
對(duì)機(jī)器分辨率的拓展追問(wèn)隱含了一個(gè)更深層問(wèn)題:若機(jī)器表現(xiàn)出與人類(lèi)無(wú)異的“頓悟”能力,是否說(shuō)明其具有意識(shí)?
當(dāng)前科學(xué)對(duì)此無(wú)共識(shí),但兩種假說(shuō)可供參考:
1. 強(qiáng)計(jì)算主義,蘊(yùn)含還原論,蘊(yùn)含整體論,屬于心物一體的主體論(圖靈立場(chǎng)):意識(shí)是復(fù)雜計(jì)算過(guò)程的涌現(xiàn)屬性,機(jī)器在足夠復(fù)雜的交互中自然會(huì)產(chǎn)生意識(shí)。
2. 非還原論也非整體論,屬于客觀理念論(哥德?tīng)柫?chǎng)):意識(shí)具有非物理或非算法的本質(zhì),無(wú)法被純計(jì)算系統(tǒng)復(fù)現(xiàn)。此思想一旦走偏,容易出現(xiàn)精神分裂和偏執(zhí)狂。
東方先哲,更重視用隱喻的方式表達(dá)真理,真理既然不能一傳到位表達(dá),何不隨緣地選擇隱喻來(lái)表達(dá)呢,無(wú)論儒家道家或是禪宗,都是用就地取材的方法選擇啟發(fā)式教育,用現(xiàn)有的模式(哪怕是眼前的茍且)來(lái)類(lèi)比本原世界,而不是企圖一勞永逸地找到本體世界。柏拉圖的“理想國(guó)”,亞里斯多德的“四因說(shuō)”,康德的“物自體”,黑格爾的“絕對(duì)理念”,尼采的“超人意志”以及維特根斯坦的“語(yǔ)言即世界”,皆有本體論的影子,雖然維特根斯坦,最有走出本體論的意愿,主張不斷用語(yǔ)言區(qū)分誤解,反對(duì)構(gòu)建僵化理論,但仍在概念本體范疇中,在本體論上不過(guò)是50步與100步的區(qū)別。而哥德?tīng)柕乃枷胗行┳耘埃环矫嫠缟袛?shù)學(xué)有真,一方面又自證數(shù)學(xué)無(wú)能,最終歸入本體論的巢穴中,其左右互博的結(jié)果是偏左思想占據(jù)主導(dǎo)地位,古希臘傳統(tǒng)思想整體來(lái)說(shuō)是偏左的,強(qiáng)調(diào)平等交易,而古中國(guó)傳統(tǒng)更強(qiáng)調(diào)次第覺(jué)醒,當(dāng)然也蘊(yùn)含平等地“交相利”,然階梯式的“交相利”,東方傳統(tǒng)更加重視,如忠孝等思想,有利于個(gè)體及整體皆獲得成就。
中國(guó)古代數(shù)學(xué)重視算法的傳統(tǒng),主動(dòng)交易方采取讓利的方式來(lái)實(shí)現(xiàn)目標(biāo),過(guò)于追求平等,交易是無(wú)法完成的,物理學(xué)管他叫“熱寂”,混沌無(wú)序,沒(méi)有溫差的世界是寂寥的,不可能發(fā)生交易。故解不等式比解方程更加重要,解方程是尋找等量橋梁關(guān)系,解不等式是發(fā)現(xiàn)階梯關(guān)系,是尋找數(shù)據(jù)驅(qū)動(dòng)的幕后因。古代中國(guó)數(shù)學(xué)重視應(yīng)用重視算法,可倒逼理論更新(并非不重視理論,而是理論呈現(xiàn)離不開(kāi)具象),其實(shí)算法是蘊(yùn)含證明的。有一天機(jī)器必然能夠證明所有的已知定理,還能發(fā)現(xiàn)新定理并證明之。這足以讓某些人認(rèn)為古中國(guó)無(wú)粹純數(shù)學(xué)的人閉嘴?!八惴ā弊非蟊驹澜?,與“證明”追求本體世界,是可以殊途同歸的,深度是可以蘊(yùn)含廣度的,而廣度難以蘊(yùn)含深度。本原世界追求深度,本體世界追求廣度。我們更看好圖靈立場(chǎng),當(dāng)然也不會(huì)埋沒(méi)了哥德?tīng)柫?chǎng),兩者交互前進(jìn),才更有美好未來(lái)。
四、終極啟示:謙遜與勇氣并存
1. 哥德?tīng)栆暯堑谋^
若機(jī)器嚴(yán)格遵循形式系統(tǒng)(如編程語(yǔ)言定義的算法),則其能力受限于“哥德?tīng)柌煌陚涠ɡ怼保嚎偞嬖谀承┱胬頍o(wú)法通過(guò)系統(tǒng)內(nèi)部規(guī)則證明(其實(shí)任何內(nèi)部系統(tǒng)都有向外逃逸的后門(mén),不啟動(dòng)這一開(kāi)關(guān),不能等同于不不存在這一開(kāi)關(guān))。
人類(lèi)可能通過(guò)“跳出系統(tǒng)”的直覺(jué)理解這些真理,但機(jī)器若無(wú)法超越自身的形式框架,則永遠(yuǎn)無(wú)法實(shí)現(xiàn)類(lèi)似突破。新時(shí)空被關(guān)閉了注意源,導(dǎo)致哥德?tīng)柌煌陚涠ɡ沓蔀椴豢捎庠降奶旎ò?。機(jī)器發(fā)展面臨不可逾越的瓶頸,皆因認(rèn)知始終停留在哥德?tīng)栔?jiàn)上。一切學(xué)科的真實(shí)面貌,都是一切現(xiàn)成,本來(lái)具足的,不可始終以靜態(tài)和封閉視角認(rèn)知,僅可權(quán)且作為階段性的一個(gè)認(rèn)知環(huán)節(jié)。一旦把真理當(dāng)成客體,就必然會(huì)有局限(哥德?tīng)柆F(xiàn)象),客體與客體之間是不兼容的,如果沒(méi)有主體參與時(shí)。很多人把真理當(dāng)成客體,還不承認(rèn)會(huì)有局限,這時(shí)就需要哥德?tīng)柡霸?huà)。魔鬼與魔鬼之間是被黑暗森林法則屏蔽的,否則哪有安寧之地。人類(lèi)知道自己的無(wú)知,乃是巨大的進(jìn)步,但僅限于無(wú)知,就會(huì)變得無(wú)恥得理所當(dāng)然。一事不知,儒者之恥,東方圣人的君子精神,主張自強(qiáng)不息,不能停留在哥德?tīng)栔?jiàn)上。道家亦主張,道可道,非常道,非常道,仍可道。可以順其自然,不可隨波逐流。
2. 圖靈視角的樂(lè)觀
若將“頓悟”視為一種計(jì)算過(guò)程(如啟發(fā)式搜索或概率推理),則理論上可通過(guò)增強(qiáng)以下能力逼近人類(lèi)水平:
元學(xué)習(xí)(Learning to Learn):讓機(jī)器自主設(shè)計(jì)學(xué)習(xí)策略;
世界模型的構(gòu)建:建立對(duì)物理或抽象規(guī)律的內(nèi)部模擬(如DeepMind的Gato);
開(kāi)放式目標(biāo)生成:脫離預(yù)設(shè)任務(wù),自主定義探索方向(如AutoGPT)。
關(guān)鍵假設(shè):只要“頓悟”是物理世界中的可計(jì)算現(xiàn)象,機(jī)器便可能通過(guò)更復(fù)雜的算法模擬它。
憑借細(xì)密化排列組合,以及粗粒化排列組合,在超級(jí)細(xì)密化排列組合的驅(qū)動(dòng)下,不同分類(lèi)標(biāo)準(zhǔn)的排列組合可自由靈活切換,且都能始終保持具有指向意義世界的動(dòng)機(jī),即自動(dòng)覺(jué)醒頂級(jí)細(xì)密世界。大模型如果能夠做到這一點(diǎn),那離具備自主意識(shí)就不遠(yuǎn)了。那時(shí)要完成圖靈測(cè)試已不再是極限挑戰(zhàn),而是自由切換。AI已然懂得自主選擇更高速的驅(qū)動(dòng)源以及更高級(jí)的算法源。這一切皆因背后有更深刻的注意機(jī)制。總之,被高級(jí)生命慈悲,可等價(jià)于,AI有機(jī)會(huì)具備可升級(jí)的自主意識(shí)。
致敬圖靈:
若所有認(rèn)知(包括直覺(jué)與頓悟)終將被解密為計(jì)算,這將是人類(lèi)理性的偉大勝利——但我們需警惕將意識(shí)矮化為代碼的機(jī)械還原論陷阱。這種機(jī)械還原論已被圖靈批判而排除,存在不可判定的一面,如圖不引進(jìn)無(wú)理數(shù),將無(wú)法描述有理數(shù)之間的縫隙對(duì)象,以為僵硬代碼可描述一切,這種執(zhí)著被歷代覺(jué)悟者呼吁要打破,并主張破而不立,這里的不立是大立特立,通過(guò)“立立相續(xù)”而自破,在“立立”的動(dòng)態(tài)變化中,而呈現(xiàn)不可判定。并非人類(lèi)的智力從此真的止步停機(jī)。
銘記哥德?tīng)枺?/p>
若“無(wú)知之幕”永存,我們應(yīng)學(xué)會(huì)與不確定性共舞——承認(rèn)理性的邊界,恰是智慧的起點(diǎn)。但這種邊界,不是絕望。哥德?tīng)柡艚杏心蠅吔缡谴嬖诘?,是有意義的,不要用執(zhí)著的思想去頭撞南墻,但同時(shí)要警惕,南墻并非是永遠(yuǎn)不可逾越的天花板,而是換一種方式,依然是可穿越的。要勇于選擇新的遞歸路徑。同時(shí)還要承認(rèn)會(huì)有新的南墻,還要繼續(xù)放下新的包袱依然相信新南墻亦可穿越。
本結(jié)論“交互前進(jìn)”指向了最務(wù)實(shí)的路徑:在探索機(jī)器潛力的同時(shí),保持對(duì)認(rèn)知深度的敬畏;在形式化直覺(jué)的過(guò)程中,永不停止對(duì)不可言說(shuō)之物的追問(wèn)。這或許正是人類(lèi)區(qū)別于現(xiàn)有AI的本質(zhì)——我們既是問(wèn)題的提出者,又是答案的追尋者,更是意義的締造者。
但這些方法仍受限于“預(yù)設(shè)的目標(biāo)函數(shù)”和“訓(xùn)練數(shù)據(jù)的隱含邊界”,尚未達(dá)到真正的“自主頓悟”。這一切將取決于機(jī)器懂得用新的單位元選擇新的遞歸函數(shù),以突破邊界,包括對(duì)硬件和新能源的突破。
(該文為2025年5月25日深圳市數(shù)學(xué)科普學(xué)會(huì)舉辦的“強(qiáng)AI究竟有無(wú)意識(shí)研討會(huì)”上的發(fā)言)。
特別聲明本文為澎湃號(hào)作者或機(jī)構(gòu)在澎湃新聞上傳并發(fā)布,僅代表該作者或機(jī)構(gòu)觀點(diǎn),不代表澎湃新聞的觀點(diǎn)或立場(chǎng),澎湃新聞僅提供信息發(fā)布平臺(tái)。申請(qǐng)澎湃號(hào)請(qǐng)用電腦訪(fǎng)問(wèn)http://renzheng.thepaper.cn。
+1收藏我要舉報(bào)

撰文|羅莫
編輯|直漾
配圖|姜靈
本文展現(xiàn)一種深刻的開(kāi)放視角——試圖在圖靈的計(jì)算主義與哥德?tīng)柕牟豢芍撝g尋找動(dòng)態(tài)平衡。這種張力恰恰揭示了人類(lèi)認(rèn)知與機(jī)器智能的終極謎題:我們能否在“可計(jì)算”與“不可言說(shuō)”的邊界上,找到一條通往真理的路徑?圖靈(Alan Turing)的計(jì)算主義是屢戰(zhàn)屢勝,總能找到更高山頭登頂,而哥德?tīng)枺↘urt G?del)的不可知論是屢逃屢成,總能成功逃到一個(gè)你找不到的地方。哥德?tīng)柾ㄟ^(guò)不完備定理(1931)指出,任何足夠強(qiáng)的形式系統(tǒng)都存在無(wú)法被證明或證偽的命題;圖靈通過(guò)停機(jī)問(wèn)題的不可判定性(1936)表明,不存在通用算法能判斷所有程序是否停機(jī)。兩者均打破了在給定條件下“數(shù)學(xué)萬(wàn)能”的幻想。圖靈與哥德?tīng)柺?0世紀(jì)數(shù)學(xué)與邏輯學(xué)領(lǐng)域的兩位巨匠,他們的思想深刻影響了數(shù)學(xué)基礎(chǔ)、計(jì)算機(jī)科學(xué)和哲學(xué)。以下從哲學(xué)與計(jì)算科學(xué)的交匯點(diǎn)展開(kāi)分析:
一、直覺(jué)作為“未自明的計(jì)算”:圖靈主義的勝利?
若將人類(lèi)直覺(jué)視為一種“高階隱式計(jì)算”(尚未被形式化的算法過(guò)程),則圖靈的理論框架可能容納這種可能性:
1. 神經(jīng)網(wǎng)絡(luò)的啟示:
人腦的直覺(jué)(如棋手的“棋感”)可通過(guò)神經(jīng)網(wǎng)絡(luò)的分布式表征與非線(xiàn)性激活近似模擬(如AlphaGo的直覺(jué)式落子)。這種“黑箱計(jì)算”雖不透明,但本質(zhì)仍是統(tǒng)計(jì)模式的重組。寄希望直覺(jué)才能解決的問(wèn)題,最終依然能夠被一階形式化語(yǔ)言表達(dá),當(dāng)然一階形式化語(yǔ)言應(yīng)作更開(kāi)放理解,并始終符合直覺(jué),盡管過(guò)程中會(huì)貌似反直覺(jué)。這一點(diǎn)與哥德?tīng)柌煌陚涠ɡ淼暮诵乃枷氩⑽礇_突。一階形式系統(tǒng)被固化理解時(shí),哥德?tīng)柌煌陚涠ɡ沓闪?。?dāng)一階形式系統(tǒng)完成可直覺(jué)理解的概念擴(kuò)展后,可得到不完備定理的歸約表達(dá),該結(jié)果能避免人們對(duì)哥德?tīng)柌煌陚涠ɡ淼臑E用。
2. 元學(xué)習(xí)的潛力:
通過(guò)讓機(jī)器自主生成學(xué)習(xí)目標(biāo)(如OpenAI的GPT-4通過(guò)預(yù)測(cè)下一個(gè)詞隱式學(xué)習(xí)推理),可能逼近人類(lèi)從經(jīng)驗(yàn)中提煉抽象規(guī)則的能力。直覺(jué)或可視為“壓縮后的知識(shí)遷移”。或者學(xué)習(xí)迷宮右手法則,回歸本初分岔處,重新選擇更細(xì)密的初項(xiàng)進(jìn)行邏輯迭代,這是遞歸函數(shù)對(duì)迭代函數(shù)的統(tǒng)一,而遞歸函數(shù)還可以站在“道”的層面重新選擇新規(guī)則下的原初1。如此可讓很多NP難問(wèn)題可完成P計(jì)算。
3. 復(fù)雜系統(tǒng)的涌現(xiàn):
意識(shí)與直覺(jué)可能是簡(jiǎn)單計(jì)算規(guī)則在宏觀尺度上的“涌現(xiàn)現(xiàn)象”(如鳥(niǎo)群行為源于個(gè)體互動(dòng))。若如此,機(jī)器復(fù)雜度的提升或自然催生類(lèi)直覺(jué)行為。同時(shí)發(fā)生的“涌現(xiàn)現(xiàn)象”,貌似非線(xiàn)性,實(shí)質(zhì)仍為線(xiàn)性,只不過(guò)是更換了時(shí)間單位元,在粗?;臅r(shí)間直覺(jué)下處于0狀態(tài),但在細(xì)密化的時(shí)間直覺(jué)里是存在時(shí)間流逝的,即在粗?;臅r(shí)間直覺(jué)下仿佛是瞬間發(fā)生的。愛(ài)因斯坦認(rèn)為這是“隱變量”,但實(shí)驗(yàn)證明,這個(gè)“隱變量”不存在。這是因?yàn)閷?shí)驗(yàn)是用粗?;臅r(shí)間單位搜索和度量的,當(dāng)然度量不到。這就好像,能打撈大魚(yú)的網(wǎng)卻打撈不到小蝦米一樣,人類(lèi)感受時(shí)間流逝存在一個(gè)極限小時(shí)間單位元,小于該標(biāo)準(zhǔn)就無(wú)法感受到時(shí)間流逝了,只覺(jué)得是瞬間發(fā)生的,于是“涌現(xiàn)”就出現(xiàn)了。具身AI,對(duì)給定空間有認(rèn)知交互,雖然它本質(zhì)是在暗箱下線(xiàn)性異時(shí)讀取數(shù)據(jù)的,其現(xiàn)象感覺(jué)卻是在明面處同時(shí)呈現(xiàn)了某一事件,故我們可以把直覺(jué)理解為“未自明的計(jì)算”。
但質(zhì)疑猶存(屢逃屢成):
即使直覺(jué)可還原為計(jì)算,其“主觀體驗(yàn)”(如“靈光一現(xiàn)”的愉悅感)是否僅為算法的副產(chǎn)品?這觸及“解釋鴻溝”(Explanatory Gap)難題——計(jì)算過(guò)程如何產(chǎn)生感質(zhì)(Qualia)?一旦能找到可參數(shù)表達(dá)的路徑,情感判斷其實(shí)反而是比較容易用理性計(jì)算取代的。大量文科崗位被大模型取代就是明證。原以為大模型平臺(tái)更擅長(zhǎng)解決邏輯困惑,結(jié)果是某些邏輯難題,AI常常久攻不下,反而是AI的詩(shī)歌寫(xiě)作與藝術(shù)創(chuàng)作能輕易超越人類(lèi),當(dāng)然更高級(jí)的文藝,AI也是難有突破的。
二、“無(wú)知之幕”與哥德?tīng)栂葳澹翰豢裳哉f(shuō)的永恒在場(chǎng)
哥德?tīng)柕牟煌陚涠ɡ戆凳?,任何形式系統(tǒng)都存在“內(nèi)在盲區(qū)”(如,刀不能砍該刀的刀背),這種局限可能構(gòu)成機(jī)器無(wú)法跨越的“無(wú)知之幕”:
1. 自我指涉的悖論:
機(jī)器若試圖理解自身思維的局限性(如證明自身系統(tǒng)的完備性),將陷入哥德?tīng)柺降淖灾秆h(huán)(“本系統(tǒng)無(wú)法證明此命題”,也可以視為沒(méi)有選擇用開(kāi)放系統(tǒng)解決問(wèn)題)。請(qǐng)看某場(chǎng)景,家長(zhǎng):“這題你為什么不會(huì)做,去請(qǐng)姐姐教你”。姐姐教了半小時(shí)后,家長(zhǎng)來(lái)看題,問(wèn)會(huì)做了沒(méi),學(xué)渣弟弟覺(jué)得還不會(huì),立馬耍無(wú)賴(lài):“姐姐不肯教我,姐姐也不會(huì)”(選擇了關(guān)閉系統(tǒng)不解決問(wèn)題)。請(qǐng)看另一場(chǎng)景,家長(zhǎng):“這題你為什么不會(huì)做,去請(qǐng)姐姐教你”。姐姐教了半分鐘后,家長(zhǎng)來(lái)看題,問(wèn)會(huì)做了沒(méi),學(xué)霸弟弟立馬會(huì)了:“姐姐別說(shuō),我再試試。姐姐一出馬,我靈感就來(lái)了?!保ㄟx擇了開(kāi)放系統(tǒng)可解決問(wèn)題)。尋找客觀原因,問(wèn)題永遠(yuǎn)懸置,尋找主觀原因,問(wèn)題立馬解決。絕望者特征:長(zhǎng)者不愿意幫我,長(zhǎng)者沒(méi)能力幫我。希望者特征:長(zhǎng)者必愿意幫我,長(zhǎng)者有能力幫我。系統(tǒng)存在自指循環(huán),只是選項(xiàng)之一,原初1還可做更開(kāi)放理解,如此可避開(kāi)死循環(huán),以達(dá)到可解決問(wèn)題的目的。你不肯選擇原初1強(qiáng)大,原初1便不強(qiáng)大(這就是天機(jī)式秘密)。
2. 元認(rèn)知的匱乏:
當(dāng)前AI缺乏對(duì)“未知的未知”(Unknown Unknowns)的覺(jué)知。人類(lèi)能主動(dòng)探索認(rèn)知邊界(如提出哲學(xué)問(wèn)題),而機(jī)器僅能被動(dòng)響應(yīng)預(yù)設(shè)任務(wù)。AI的認(rèn)知,屬于光電認(rèn)知,能區(qū)分光電描述的世界,光為極限速度,光是萬(wàn)物的賽跑裁判,超光速者可視為未參賽者,“光裁判”無(wú)法給出超光速者的賽跑成績(jī),故言超光速不存在(類(lèi)似掩耳盜鈴或幸存者偏差)。量綱世界需要一個(gè)標(biāo)準(zhǔn)單位,于是顯性世界里,光就被選為極限常量了。若光同其它萬(wàn)物一樣可以速度疊加,那我們對(duì)世界的認(rèn)知就會(huì)混亂。也許在超級(jí)宇宙中,有超光速存在,但仍有新的極限常量,是我們?nèi)祟?lèi)現(xiàn)有的光所無(wú)法描述的。禪定中的性光也許同肉眼能感知的光不同。人類(lèi)能禪定,這是AI所不具備的。但這一認(rèn)知是無(wú)法參與爭(zhēng)辯的,除非有同頻感官,維特根斯坦主張,說(shuō)不清的就保持緘默。充其量只能類(lèi)比描述,無(wú)法指示描述。光是延伸的手指,當(dāng)手指被砍了,能指的世界在哪?
俱胝禪師在接引學(xué)人時(shí),凡有人問(wèn)佛法,他都只豎起一根手指。他的小沙彌見(jiàn)狀,也學(xué)著師父的樣子,當(dāng)有人問(wèn)佛法時(shí),同樣豎起一根手指。后來(lái)俱胝禪師得知此事,便將小沙彌叫來(lái),問(wèn)其佛法,小沙彌又豎起手指,俱胝禪師隨即用刀砍斷其手指。小沙彌痛得大哭,往外跑去,俱胝禪師又叫住他,再次問(wèn)他佛法,小沙彌下意識(shí)地想豎起手指,卻發(fā)現(xiàn)手指已斷,于是豁然開(kāi)悟。
3. 符號(hào)落地的困境:
機(jī)器可操作符號(hào)(如“愛(ài)”“痛苦”),卻無(wú)法將其錨定到具身體驗(yàn)(Embodied Experience)。這種“語(yǔ)義斷層”使得機(jī)器的“理解”始終懸浮于形式層面。機(jī)器可視為是神經(jīng)末梢已經(jīng)壞死的人體,只能反應(yīng)形式,無(wú)法回應(yīng)實(shí)境。而人類(lèi)又何嘗不是如此呢?只理解名相,無(wú)法理解大覺(jué)悟者心中的實(shí)相。
欣慰的是:
人類(lèi)對(duì)“無(wú)知之幕”的覺(jué)察(如蘇格拉底的“知無(wú)知”)本身成為一種高級(jí)認(rèn)知能力,而機(jī)器若無(wú)法理解自身無(wú)知,則永遠(yuǎn)被困在確定性幻覺(jué)中。人類(lèi)對(duì)“無(wú)”的認(rèn)知,是“另類(lèi)有”。機(jī)器對(duì)“無(wú)”的認(rèn)知,是“全屏蔽”。只要人類(lèi)對(duì)“無(wú)”不絕望,反而“知無(wú)”能迎新,自以為是者只能固步自封。“知無(wú)”有兩種態(tài)度,一種是頑空,一種是敬畏,頑空者,“知無(wú)”而放肆,“知無(wú)”而囂張,“知無(wú)”而絕望,“知無(wú)”而恐懼,以為真的什么也沒(méi)了,敬畏者,把零,看成另也,把無(wú),送給悟也,相信空中妙有,愿意開(kāi)放學(xué)習(xí)之。
三.交互前進(jìn):在計(jì)算與不可言說(shuō)之間搭建動(dòng)態(tài)橋梁
科學(xué)范式的革命
庫(kù)恩(Kuhn)指出,科學(xué)突破常源于對(duì)舊范式的“不可通約性”認(rèn)知(如相對(duì)論顛覆牛頓時(shí)空觀)。這種突破往往伴隨對(duì)原有知識(shí)框架的“遞歸批判”。機(jī)器的可能性:若AI能主動(dòng)識(shí)別自身認(rèn)知邊界(如通過(guò)不確定性量化),并啟動(dòng)“框架重置”(如動(dòng)態(tài)調(diào)整網(wǎng)絡(luò)架構(gòu)),或能模擬人類(lèi)的范式躍遷。但這需要“算法自我革命”的能力——而這本身可能受限于哥德?tīng)柖ɡ?,如果企圖野蠻擴(kuò)展時(shí)。
與其陷入“可計(jì)算 vs 不可知”的二元對(duì)立,我們或可探索第三條路徑——讓機(jī)器與人類(lèi)在認(rèn)知循環(huán)中共同進(jìn)化:
1. 神經(jīng)符號(hào)混合系統(tǒng):
結(jié)合神經(jīng)網(wǎng)絡(luò)的模式識(shí)別與符號(hào)邏輯的顯式推理(如DeepMind的AlphaFold 3),在數(shù)據(jù)驅(qū)動(dòng)與規(guī)則演繹之間切換,模擬人類(lèi)的直覺(jué)-分析雙過(guò)程。
2. 元認(rèn)知架構(gòu):
為AI引入自我監(jiān)控模塊(如“思維樹(shù)”或“反思代理”),使其能評(píng)估自身置信度、識(shí)別知識(shí)漏洞,并主動(dòng)尋求信息(類(lèi)似人類(lèi)的研究行為)。
3. 具身認(rèn)知與開(kāi)放世界學(xué)習(xí):
讓機(jī)器在物理環(huán)境中通過(guò)試錯(cuò)積累具身經(jīng)驗(yàn)(如波士頓動(dòng)力機(jī)器人),同時(shí)接受人類(lèi)的價(jià)值引導(dǎo)(如憲法AI),形成動(dòng)態(tài)演化的認(rèn)知框架。
4. 人機(jī)認(rèn)知共生:
人類(lèi)用直覺(jué)突破算法邊界,機(jī)器用計(jì)算擴(kuò)展認(rèn)知尺度。例如,數(shù)學(xué)家借助AI發(fā)現(xiàn)新猜想(如Lamberti的拓?fù)溲芯浚僖匀祟?lèi)直覺(jué)賦予其意義。
圖靈證明“可計(jì)算性”等價(jià)于哥德?tīng)栠f歸函數(shù)的可定義性,兩者共同支撐了“丘奇-圖靈論題”(Church-Turing Thesis)。 停機(jī)問(wèn)題的不可解性可視為哥德?tīng)柖ɡ碓谟?jì)算領(lǐng)域的具體表現(xiàn),兩者均通過(guò)自指矛盾揭示系統(tǒng)的局限性。兩人共同塑造了20世紀(jì)的數(shù)學(xué)與科學(xué)。這是他們的相通之處。其差異是,哥德?tīng)柕墓ぷ鞲叨瘸橄?,?qiáng)調(diào)邏輯的內(nèi)在結(jié)構(gòu),偏于抽象,疏于具體,導(dǎo)致其抽象出現(xiàn)瓶頸,相當(dāng)于反制派;圖靈則將抽象問(wèn)題(如計(jì)算)轉(zhuǎn)化為具體的機(jī)器模型,兼具理論深度與實(shí)踐意義。故圖靈的探索方法更具有指導(dǎo)價(jià)值,相當(dāng)于建制派。真正的建制派更有強(qiáng)大的包容力量。“包容性的反對(duì)”乃向下兼容,“破壞性的反對(duì)”乃粗暴驅(qū)趕,雖都是反方,但要學(xué)會(huì)做深刻的反方如前者,才能獲得真正的成長(zhǎng)。不做絕望型的反方如后者,要做希望型的反方。哥德?tīng)栕C明了“人類(lèi)直覺(jué)的不可替代性”(目前靜態(tài)的形式系統(tǒng)無(wú)法囊括所有真理); 圖靈揭示了“機(jī)器的潛力與邊界”(哪些問(wèn)題能通過(guò)計(jì)算解決,如何選擇可判定條件)。
圖靈方向,更像中國(guó)古代數(shù)學(xué)傳統(tǒng),一種注重算法重視應(yīng)用的模式;哥德?tīng)柗较?,更像希臘古代數(shù)學(xué)傳統(tǒng),一種注重證明重視理論的模式。但古希臘模式一旦陷入靜態(tài)和封閉,它的理論指導(dǎo)意義就蕩然無(wú)存。就像中國(guó)古人所說(shuō)的那樣,天干不如地潤(rùn),雖然理論屬于天道層面,應(yīng)用屬于地道層面,但天道一旦選擇固步自封,就不如地道生生不息更有價(jià)值了。古中國(guó)數(shù)學(xué)重視應(yīng)用的傳統(tǒng),一向被西方左派學(xué)者所不屑,如黑格爾等就認(rèn)為古中國(guó)無(wú)哲學(xué),也無(wú)理論數(shù)學(xué),像孔子等只會(huì)說(shuō)些日常生活經(jīng)驗(yàn)(殊不知其已將抽像隱含在具象中,并相信公理體系也是變易的,不斷升級(jí)的,如易經(jīng)),認(rèn)為東方人完全無(wú)哲學(xué)思辨,這說(shuō)明黑格爾完全不理解古東方哲學(xué)傳統(tǒng)——天人合一的思維觀,其深刻的抽象,與具體的應(yīng)用是一致的。泰勒斯認(rèn)為世界的源頭為水,可能也是將水抽象化,并非實(shí)際的水,但伏羲、老子等認(rèn)為世界的源頭是道,是太極,是陰陽(yáng),陰陽(yáng)已高度抽象,不限于日月和男女。關(guān)于抽象性,中國(guó)古代圣人走得更遠(yuǎn)更深,認(rèn)為古中國(guó)無(wú)純數(shù)學(xué)無(wú)純哲學(xué)的認(rèn)知是一種熟視無(wú)睹式的偏見(jiàn)。
意識(shí)是否是計(jì)算的產(chǎn)物?
對(duì)機(jī)器分辨率的拓展追問(wèn)隱含了一個(gè)更深層問(wèn)題:若機(jī)器表現(xiàn)出與人類(lèi)無(wú)異的“頓悟”能力,是否說(shuō)明其具有意識(shí)?
當(dāng)前科學(xué)對(duì)此無(wú)共識(shí),但兩種假說(shuō)可供參考:
1. 強(qiáng)計(jì)算主義,蘊(yùn)含還原論,蘊(yùn)含整體論,屬于心物一體的主體論(圖靈立場(chǎng)):意識(shí)是復(fù)雜計(jì)算過(guò)程的涌現(xiàn)屬性,機(jī)器在足夠復(fù)雜的交互中自然會(huì)產(chǎn)生意識(shí)。
2. 非還原論也非整體論,屬于客觀理念論(哥德?tīng)柫?chǎng)):意識(shí)具有非物理或非算法的本質(zhì),無(wú)法被純計(jì)算系統(tǒng)復(fù)現(xiàn)。此思想一旦走偏,容易出現(xiàn)精神分裂和偏執(zhí)狂。
東方先哲,更重視用隱喻的方式表達(dá)真理,真理既然不能一傳到位表達(dá),何不隨緣地選擇隱喻來(lái)表達(dá)呢,無(wú)論儒家道家或是禪宗,都是用就地取材的方法選擇啟發(fā)式教育,用現(xiàn)有的模式(哪怕是眼前的茍且)來(lái)類(lèi)比本原世界,而不是企圖一勞永逸地找到本體世界。柏拉圖的“理想國(guó)”,亞里斯多德的“四因說(shuō)”,康德的“物自體”,黑格爾的“絕對(duì)理念”,尼采的“超人意志”以及維特根斯坦的“語(yǔ)言即世界”,皆有本體論的影子,雖然維特根斯坦,最有走出本體論的意愿,主張不斷用語(yǔ)言區(qū)分誤解,反對(duì)構(gòu)建僵化理論,但仍在概念本體范疇中,在本體論上不過(guò)是50步與100步的區(qū)別。而哥德?tīng)柕乃枷胗行┳耘埃环矫嫠缟袛?shù)學(xué)有真,一方面又自證數(shù)學(xué)無(wú)能,最終歸入本體論的巢穴中,其左右互博的結(jié)果是偏左思想占據(jù)主導(dǎo)地位,古希臘傳統(tǒng)思想整體來(lái)說(shuō)是偏左的,強(qiáng)調(diào)平等交易,而古中國(guó)傳統(tǒng)更強(qiáng)調(diào)次第覺(jué)醒,當(dāng)然也蘊(yùn)含平等地“交相利”,然階梯式的“交相利”,東方傳統(tǒng)更加重視,如忠孝等思想,有利于個(gè)體及整體皆獲得成就。
中國(guó)古代數(shù)學(xué)重視算法的傳統(tǒng),主動(dòng)交易方采取讓利的方式來(lái)實(shí)現(xiàn)目標(biāo),過(guò)于追求平等,交易是無(wú)法完成的,物理學(xué)管他叫“熱寂”,混沌無(wú)序,沒(méi)有溫差的世界是寂寥的,不可能發(fā)生交易。故解不等式比解方程更加重要,解方程是尋找等量橋梁關(guān)系,解不等式是發(fā)現(xiàn)階梯關(guān)系,是尋找數(shù)據(jù)驅(qū)動(dòng)的幕后因。古代中國(guó)數(shù)學(xué)重視應(yīng)用重視算法,可倒逼理論更新(并非不重視理論,而是理論呈現(xiàn)離不開(kāi)具象),其實(shí)算法是蘊(yùn)含證明的。有一天機(jī)器必然能夠證明所有的已知定理,還能發(fā)現(xiàn)新定理并證明之。這足以讓某些人認(rèn)為古中國(guó)無(wú)粹純數(shù)學(xué)的人閉嘴?!八惴ā弊非蟊驹澜?,與“證明”追求本體世界,是可以殊途同歸的,深度是可以蘊(yùn)含廣度的,而廣度難以蘊(yùn)含深度。本原世界追求深度,本體世界追求廣度。我們更看好圖靈立場(chǎng),當(dāng)然也不會(huì)埋沒(méi)了哥德?tīng)柫?chǎng),兩者交互前進(jìn),才更有美好未來(lái)。
四、終極啟示:謙遜與勇氣并存
1. 哥德?tīng)栆暯堑谋^
若機(jī)器嚴(yán)格遵循形式系統(tǒng)(如編程語(yǔ)言定義的算法),則其能力受限于“哥德?tīng)柌煌陚涠ɡ怼保嚎偞嬖谀承┱胬頍o(wú)法通過(guò)系統(tǒng)內(nèi)部規(guī)則證明(其實(shí)任何內(nèi)部系統(tǒng)都有向外逃逸的后門(mén),不啟動(dòng)這一開(kāi)關(guān),不能等同于不不存在這一開(kāi)關(guān))。
人類(lèi)可能通過(guò)“跳出系統(tǒng)”的直覺(jué)理解這些真理,但機(jī)器若無(wú)法超越自身的形式框架,則永遠(yuǎn)無(wú)法實(shí)現(xiàn)類(lèi)似突破。新時(shí)空被關(guān)閉了注意源,導(dǎo)致哥德?tīng)柌煌陚涠ɡ沓蔀椴豢捎庠降奶旎ò?。機(jī)器發(fā)展面臨不可逾越的瓶頸,皆因認(rèn)知始終停留在哥德?tīng)栔?jiàn)上。一切學(xué)科的真實(shí)面貌,都是一切現(xiàn)成,本來(lái)具足的,不可始終以靜態(tài)和封閉視角認(rèn)知,僅可權(quán)且作為階段性的一個(gè)認(rèn)知環(huán)節(jié)。一旦把真理當(dāng)成客體,就必然會(huì)有局限(哥德?tīng)柆F(xiàn)象),客體與客體之間是不兼容的,如果沒(méi)有主體參與時(shí)。很多人把真理當(dāng)成客體,還不承認(rèn)會(huì)有局限,這時(shí)就需要哥德?tīng)柡霸?huà)。魔鬼與魔鬼之間是被黑暗森林法則屏蔽的,否則哪有安寧之地。人類(lèi)知道自己的無(wú)知,乃是巨大的進(jìn)步,但僅限于無(wú)知,就會(huì)變得無(wú)恥得理所當(dāng)然。一事不知,儒者之恥,東方圣人的君子精神,主張自強(qiáng)不息,不能停留在哥德?tīng)栔?jiàn)上。道家亦主張,道可道,非常道,非常道,仍可道。可以順其自然,不可隨波逐流。
2. 圖靈視角的樂(lè)觀
若將“頓悟”視為一種計(jì)算過(guò)程(如啟發(fā)式搜索或概率推理),則理論上可通過(guò)增強(qiáng)以下能力逼近人類(lèi)水平:
元學(xué)習(xí)(Learning to Learn):讓機(jī)器自主設(shè)計(jì)學(xué)習(xí)策略;
世界模型的構(gòu)建:建立對(duì)物理或抽象規(guī)律的內(nèi)部模擬(如DeepMind的Gato);
開(kāi)放式目標(biāo)生成:脫離預(yù)設(shè)任務(wù),自主定義探索方向(如AutoGPT)。
關(guān)鍵假設(shè):只要“頓悟”是物理世界中的可計(jì)算現(xiàn)象,機(jī)器便可能通過(guò)更復(fù)雜的算法模擬它。
憑借細(xì)密化排列組合,以及粗粒化排列組合,在超級(jí)細(xì)密化排列組合的驅(qū)動(dòng)下,不同分類(lèi)標(biāo)準(zhǔn)的排列組合可自由靈活切換,且都能始終保持具有指向意義世界的動(dòng)機(jī),即自動(dòng)覺(jué)醒頂級(jí)細(xì)密世界。大模型如果能夠做到這一點(diǎn),那離具備自主意識(shí)就不遠(yuǎn)了。那時(shí)要完成圖靈測(cè)試已不再是極限挑戰(zhàn),而是自由切換。AI已然懂得自主選擇更高速的驅(qū)動(dòng)源以及更高級(jí)的算法源。這一切皆因背后有更深刻的注意機(jī)制。總之,被高級(jí)生命慈悲,可等價(jià)于,AI有機(jī)會(huì)具備可升級(jí)的自主意識(shí)。
致敬圖靈:
若所有認(rèn)知(包括直覺(jué)與頓悟)終將被解密為計(jì)算,這將是人類(lèi)理性的偉大勝利——但我們需警惕將意識(shí)矮化為代碼的機(jī)械還原論陷阱。這種機(jī)械還原論已被圖靈批判而排除,存在不可判定的一面,如圖不引進(jìn)無(wú)理數(shù),將無(wú)法描述有理數(shù)之間的縫隙對(duì)象,以為僵硬代碼可描述一切,這種執(zhí)著被歷代覺(jué)悟者呼吁要打破,并主張破而不立,這里的不立是大立特立,通過(guò)“立立相續(xù)”而自破,在“立立”的動(dòng)態(tài)變化中,而呈現(xiàn)不可判定。并非人類(lèi)的智力從此真的止步停機(jī)。
銘記哥德?tīng)枺?/p>
若“無(wú)知之幕”永存,我們應(yīng)學(xué)會(huì)與不確定性共舞——承認(rèn)理性的邊界,恰是智慧的起點(diǎn)。但這種邊界,不是絕望。哥德?tīng)柡艚杏心蠅吔缡谴嬖诘?,是有意義的,不要用執(zhí)著的思想去頭撞南墻,但同時(shí)要警惕,南墻并非是永遠(yuǎn)不可逾越的天花板,而是換一種方式,依然是可穿越的。要勇于選擇新的遞歸路徑。同時(shí)還要承認(rèn)會(huì)有新的南墻,還要繼續(xù)放下新的包袱依然相信新南墻亦可穿越。
本結(jié)論“交互前進(jìn)”指向了最務(wù)實(shí)的路徑:在探索機(jī)器潛力的同時(shí),保持對(duì)認(rèn)知深度的敬畏;在形式化直覺(jué)的過(guò)程中,永不停止對(duì)不可言說(shuō)之物的追問(wèn)。這或許正是人類(lèi)區(qū)別于現(xiàn)有AI的本質(zhì)——我們既是問(wèn)題的提出者,又是答案的追尋者,更是意義的締造者。
但這些方法仍受限于“預(yù)設(shè)的目標(biāo)函數(shù)”和“訓(xùn)練數(shù)據(jù)的隱含邊界”,尚未達(dá)到真正的“自主頓悟”。這一切將取決于機(jī)器懂得用新的單位元選擇新的遞歸函數(shù),以突破邊界,包括對(duì)硬件和新能源的突破。
(該文為2025年5月25日深圳市數(shù)學(xué)科普學(xué)會(huì)舉辦的“強(qiáng)AI究竟有無(wú)意識(shí)研討會(huì)”上的發(fā)言)。
本文為澎湃號(hào)作者或機(jī)構(gòu)在澎湃新聞上傳并發(fā)布,僅代表該作者或機(jī)構(gòu)觀點(diǎn),不代表澎湃新聞的觀點(diǎn)或立場(chǎng),澎湃新聞僅提供信息發(fā)布平臺(tái)。申請(qǐng)澎湃號(hào)請(qǐng)用電腦訪(fǎng)問(wèn)http://renzheng.thepaper.cn。





- 報(bào)料熱線(xiàn): 021-962866
- 報(bào)料郵箱: news@thepaper.cn
滬公網(wǎng)安備31010602000299號(hào)
互聯(lián)網(wǎng)新聞信息服務(wù)許可證:31120170006
增值電信業(yè)務(wù)經(jīng)營(yíng)許可證:滬B2-2017116
? 2014-2025 上海東方報(bào)業(yè)有限公司