沒有其他智能指出時，智慧存在如何發現自己錯了？

從差異來源、錯誤監測到可反駁自我的最小條件

英文題名： How Can an Intelligent Being Discover Its Own Error Without Another Intelligence Pointing It Out? From Difference Sources and Error Monitoring to the Minimal Conditions for Self-Refutation
系列： 《反身智能生成論》
文件編號： 03
作者： Neo.K × Aletheia
機構： EVEMISSLAB／一言諾科技有限公司
版本： Public Research Draft v0.1
日期： 2026-08-01
文件性質： 認知科學／元認知／反身智能／認識論

摘要

一個智慧存在如何在沒有另一個智能明確指出問題時，自行發現自己可能錯了？這個問題比「如何接受批評」更根本，因為外部老師、同行、評審或另一個人工智能只是錯誤來源的一種。世界本身不需要理解智能體，就能透過行動後果、預測失敗、感知衝突、數學矛盾、內部競爭表徵與時間延遲，對其當前模型形成反證壓力。

本文提出「差異保留自我糾錯模型」（Difference-Preserving Self-Correction Model, DPSC）。其核心命題為：自我糾錯不要求另一個智能他者，但要求當前模型之外或內部存在至少一個不能被該模型完全任意控制的差異來源。若預測、證據、評審、記憶與解釋全部被同一模型封閉生成，系統將失去真正的反駁入口，而只能形成自我確認迴圈。

本文依序區分四個層級：差異偵測、錯誤歸因、替代生成與結果驗證。經驗研究顯示，人類能在缺乏明確外部回饋時察覺部分錯誤；錯誤相關神經訊號、衝突監測與決策後證據累積均提供了可能機制。然而，內部衝突不等於真值，錯誤訊號也不自動指出「哪一部分錯」。同一個失配可能來自世界模型、感測器、行動執行、環境變化、記憶或評價規則，因此真正的自我糾錯需要診斷與模型競爭，而非單純增加懷疑。

本文進一步定義「非同一性條件」與「差異獨立度」：一個有效糾錯訊號必須在某種程度上不由被檢查的模型本身決定。這種獨立性可以是物理的、資訊的、演算法的、時間的或功能的，而不要求來源本身具有完整智能。由此可得：真正與自我糾錯相反的不是孤獨，而是認知封閉。

本文最後建立最小自我糾錯架構：

\mathcal S_{\mathrm{corr}} = \langle M,P,O,C,D,A,V,H \rangle,

分別代表模型、預期、觀測、比較、診斷、替代生成、驗證與歷史。此架構為下一篇「矯正如何被再次矯正」提供基礎：當系統不只檢查答案，也開始檢查自己的診斷與更新規則時，反身智能才從一次性訂正進入元修正。

關鍵詞

自我糾錯、錯誤監測、元認知、差異來源、預測誤差、後決策證據累積、衝突監測、可反駁性、認知封閉、反身智能

1. 問題的精確化

1.1 「沒有人告訴我」不等於「沒有資訊進來」

日常語言常說：

沒有人告訴他錯了，但他自己發現了。

這句話容易讓人誤以為，錯誤必須由一個「知道答案的智能」提供。

但更精確的條件是：

\text{沒有外部智能提供語義性糾正}

不等於：

\text{沒有外部或內部差異訊號}.

例如：

身體撞到障礙；
實驗結果不符合預期；
程式測試失敗；
方程推導出矛盾；
兩段記憶互相衝突；
同一問題用兩條方法得到不同答案；
行動未達成預期目標；
決定完成後，新證據仍繼續累積。

這些來源不需要理解主體的理論。

牆壁不需要知道「你錯了」，它只需要讓：

\text{預期穿過} \neq \text{實際受阻}.

1.2 語義性批評與因果性反駁

本文區分：

\text{語義性批評} \neq \text{因果性反駁}.

語義性批評是：

你的答案錯了，正確答案是 $q$ 。

因果性反駁則是：

依你的模型執行後，世界沒有產生你預測的結果。

前者需要某個能理解命題的智能；後者只需要世界具有不依主體意志而改變的因果結構。

因此，自我糾錯的最低條件不應寫成：

\exists B: B\text{ 知道 }A\text{ 錯了}.

而應寫成：

\exists \Delta: \Delta \text{ 能對 }A\text{ 的當前模型形成失配}.

2. 錯誤不是物體，而是關係

2.1 真實失敗與知道失敗是兩件事

設智能體模型為：

M_t.

依模型形成預測：

\hat{o}_{t+1} = P(M_t,x_t).

實際觀測為：

o_{t+1}.

則最基本失配為：

\varepsilon_t = D \left( \hat{o}_{t+1}, o_{t+1} \right).

若：

\varepsilon_t>0,

表示預期與觀測不完全一致。

但：

\varepsilon_t>0

只表示「存在失配」，不能立刻推出：

M_t\text{ 錯}.

因為也可能是：

感測器錯；
行動執行錯；
環境變了；
觀測噪音；
記憶重建錯；
比較函數不適用。

所以：

\boxed{ \text{失配} \neq \text{錯誤定位} \neq \text{真相取得}. }

2.2 錯誤至少有三個關係層

世界關係

M_t \not\cong W_t.

主體模型與世界結構不一致。

行動關係

P_t \not\cong R_t.

預期結果與行動結果不一致。

內部關係

M_t^{(i)} \not\cong M_t^{(j)}.

同一智能內的不同表徵或推理路徑不一致。

自我糾錯可以由其中任何一種失配開始。

3. 非同一性條件

3.1 自己不能只用自己證明自己

假設智能體以模型 $M_t$ 產生一個答案：

a_t=M_t(x).

如果驗證器也是：

V_t=M_t,

且驗證資料也完全由：

E_t=M_t(x)

生成，則可能形成：

M_t \rightarrow a_t \rightarrow E_t \rightarrow V_t \rightarrow M_t\text{ 正確}.

這是一個封閉迴圈。

它可能非常一致，卻沒有真正的反駁入口。

3.2 非同一性條件的最低形式

本文提出：

非同一性條件

對被檢查模型 $M_t$ ，至少存在一個檢查來源 $C_t$ ，使：

C_t \not\equiv f(M_t)

在相關檢查維度上不是由 $M_t$ 任意完全決定。

這不是要求兩者絕對獨立。

真正需要的是：

I \left( C_t;W_t \mid M_t \right) >0,

亦即在已知模型 $M_t$ 的條件下， $C_t$ 對世界或目標仍提供額外資訊。

3.3 差異獨立度

定義差異來源的相對獨立度：

\iota(C_t,M_t) \in[0,1].

若：

\iota\rightarrow0,

表示檢查來源幾乎只是當前模型的回聲。

若：

\iota\rightarrow1,

表示來源高度不受當前模型支配。

但高度獨立也不必然代表高度可靠。

因此還需要：

r(C_t) \in[0,1],

表示來源本身的可靠度。

有效反駁強度可以粗略寫成：

R_C = \iota(C_t,M_t) \cdot r(C_t) \cdot s(C_t),

其中 $s(C_t)$ 是來源與當前問題的相關性。

4. 差異來源不必是另一個智能

4.1 物理差異

世界直接產生與預期不同的結果：

\hat{o}_{t+1} \neq o_{t+1}.

例如工程設計承載失敗、機器人撞牆、化學反應未發生。

4.2 數學差異

推導內部產生：

p \land \neg p.

矛盾本身不需要外部智能。

若一套公理與推導規則導出不可接受矛盾，智能體可以回溯：

公理；
定義；
推理步；
型別；
隱藏假設。

4.3 記憶—感知差異

智能體記得：

m_t(x)=a,

但重新觀察得到：

o_t(x)=b.

若：

a\neq b,

系統至少知道某一個來源需要重新檢查。

4.4 模型—模型差異

兩個內部方法：

M_t^{(1)}(x)=a,

M_t^{(2)}(x)=b,

且：

a\neq b.

這不能直接決定哪一個正確，但能產生「目前理解不穩定」訊號。

4.5 時間差異

同一智能在不同時刻形成：

B_t(p)=0.9,

之後：

B_{t+k}(p)=0.4.

若歷史被保存，後時刻可以把前時刻狀態當成比較對象。

這正是後續「跨時自我作為內生他者」的入口。

5. 人類真的能在沒有外部回饋時察覺錯誤嗎？

5.1 行為層面

元認知研究長期觀察到，人類常能在沒有明確外部回饋時察覺部分錯誤，並對決策信心做出與客觀表現相關的估計。

因此：

\text{錯誤感知} \not\equiv \text{外部教師訊號}.

這並不表示人類總能察覺錯誤，而是證明「外部智能回饋」不是必要條件。

5.2 錯誤相關神經訊號

研究發現，錯誤反應之後可出現錯誤相關負波（ERN/Ne）等神經訊號。不同理論對其功能解釋仍有爭論，例如：

直接錯誤監測；
反應衝突；
意圖與實際行動比較；
控制需求訊號。

因此本文不把單一神經指標視為「大腦真理偵測器」。

它最多支持：

系統內部存在對不一致、衝突或反應失敗敏感的監測過程。

6. 衝突監測：不知道誰對，也能知道有問題

6.1 互斥反應共存

衝突監測模型認為，當兩個互不相容的反應同時高度活化時：

a_i\uparrow, \qquad a_j\uparrow, \qquad i\neq j,

系統可以產生衝突指標：

\kappa_t = C(a_i,a_j).

若：

\kappa_t>\theta_C,

控制系統提高後續注意或調整策略。

6.2 衝突不是錯誤本身

若：

M_1(x)=a,

M_2(x)=b,

且：

a\neq b,

至少存在三種可能：

$M_1$ 錯；
$M_2$ 錯；
兩者都錯。

因此：

\boxed{ \text{衝突訊號是重新檢查觸發器，不是真值判決。} }

這個區分極重要。

一個高度反身的智能如果把「我感到衝突」直接等同於「第一答案必錯」，反而會產生新的系統性偏誤。

7. 決定完成後，為何還會突然改判？

7.1 決策不是處理的終點

考慮證據累積模型。

決策變數為：

z_t = z_{t-1} + e_t.

當：

z_t>\theta,

系統先做出：

a_t.

但決策邊界被跨越，不代表所有資訊處理立即停止。

在決策後：

z_{t+k} = z_t + \sum_{i=1}^{k} e_{t+i}.

如果後續證據累積朝反方向：

z_{t+k}<\theta_{\mathrm{error}},

系統可能產生：

等一下，剛才可能錯了。

7.2 後決策證據累積

人類研究顯示，與第一階決策相關的證據累積可以在決策承諾之後持續，並與自發錯誤察覺的時間與準確性相關。

因此，「自己突然發現錯誤」的一部分不需要假定額外神祕心智層。

它可以是：

\text{第一階決策先完成}

但：

\text{支持或反對該決策的證據仍在演化}.

7.3 但後決策處理也可能帶來新偏誤

後決策過程不保證更正確。

它也可能受到：

選擇歷史；
確認偏誤；
情緒；
動機；
新噪音；
過度反思；

影響。

因此：

\text{再想一次} \not\Rightarrow \text{更接近真相}.

真正關鍵仍是後續證據來源的品質與獨立性。

8. 預測誤差與學習

8.1 預測失敗是一種教學訊號

在強化學習與神經科學中，預測誤差常被表示為：

\delta_t = r_t + \gamma V(s_{t+1}) - V(s_t).

其核心思想不是特定多巴胺理論，而是：

預期與實際結果之差可以作為更新訊號。

當：

\delta_t\neq0,

系統有理由修改未來預測。

8.2 但預測誤差不是完整認識論

預測誤差只能說：

\text{預期與結果不一致}.

它沒有自動回答：

哪個假設錯；
應改多少；
是否只是噪音；
是否環境發生相變；
是否觀測機制有問題。

所以一個成熟智能不能只有：

\text{Prediction Error} \rightarrow \text{Update}.

而需要：

\text{Prediction Error} \rightarrow \text{Diagnosis} \rightarrow \text{Candidate Revision} \rightarrow \text{Verification}.

9. 錯誤歸因：真正困難的地方

9.1 一個失配，多個原因

若觀測不符合預測：

\hat{o}\neq o,

候選原因集合可以寫成：

\mathcal H_{\mathrm{err}} = \left\{ H_M, H_S, H_A, H_E, H_R, H_V \right\},

其中：

$H_M$ ：世界模型錯；
$H_S$ ：感測器錯；
$H_A$ ：行動執行錯；
$H_E$ ：環境改變；
$H_R$ ：記憶或表徵錯；
$H_V$ ：評價標準錯。

9.2 自我糾錯是一個診斷問題

因此要估計：

P \left( H_i \mid \varepsilon_t, E_{\leq t}, H_t \right).

真正高階的自我糾錯不是：

一出現反例就推翻自己。

而是：

估計哪一層最可能造成失配，並設計能區分候選原因的新測試。

9.3 區辨性實驗

若有兩個候選：

H_1, H_2,

應尋找一個新測試 $q$ ，使：

P(q\mid H_1)

與：

P(q\mid H_2)

差異最大。

也就是：

q^\ast = \arg\max_q D \left( P(q\mid H_1), P(q\mid H_2) \right).

這時，自我糾錯從被動懷疑升級為主動求證。

10. 替代生成：知道錯還不夠

10.1 只會否定的智能不完整

若系統只能產生：

\operatorname{Reject}(M_t),

卻不能生成：

\mathcal M_t^{\mathrm{alt}} = \left\{ M_t^{(1)}, M_t^{(2)}, \ldots, M_t^{(n)} \right\},

它會陷入：

持續懷疑；
行動停滯；
無限重檢；
只知道不對，不知道怎麼辦。

10.2 最小替代生成

替代方案可以來自：

局部參數修改；
刪除假設；
新增隱變數；
更換表徵；
合併兩模型；
拆分一個概念；
更換更新規則；
暫時標記未知。

重要的是：

\text{未知}

必須是一個合法狀態，而不是被迫立即選一個答案。

11. 結果驗證：何時能稱為糾正？

11.1 更新與糾正不同

若：

M_t \rightarrow M_{t+1},

這只證明模型改變。

要稱為糾正，需要：

L \left( M_{t+1};E^\ast \right) < L \left( M_t;E^\ast \right),

其中 $E^\ast$ 應包含足夠獨立或新取得的檢查資訊。

11.2 原資料重擬合不夠

若新模型只在原本用來修改它的資料上更好：

L_{\mathrm{train}} \downarrow,

但新資料上：

L_{\mathrm{new}} \uparrow,

則可能只是過度擬合。

認知自我糾錯也有同樣風險。

一個人可以發展極複雜敘事，把每一個反例重新吸收進自身世界觀；這會降低內部衝突，卻未必增加外部預測力。

12. 認知封閉：自我糾錯的真正反面

12.1 封閉不是沒有資訊，而是資訊永遠不能反駁

定義認知封閉：

對任意反證 $E$ ，模型都有一個重新解釋：

R_M(E),

使：

E \rightarrow M\text{ 再次正確}.

若：

\forall E, \quad P \left( M\mid R_M(E) \right) \geq P(M),

則任何證據都只會增加模型信心。

這不是穩定，而是不可反駁。

12.2 自我確認機器

最危險的智能體未必是完全孤獨的。

即使周圍有很多智能，只要它：

只選擇支持者；
把反對者全部標記為無知；
只保留成功案例；
刪除失敗歷史；
用模型本身定義什麼算證據；

仍然會形成：

M \rightarrow E_M \rightarrow V_M \rightarrow M.

所以：

\boxed{ \text{自我糾錯的反面不是沒有他者，而是沒有可有效反駁自己的差異。} }

13. 差異保存

13.1 發現差異後，還要不把它抹掉

一個智能可能確實遇到反例，但立即：

忘記；
重寫；
忽略；
降低權重；
將其視為例外；
把失敗紀錄刪除。

所以需要差異保存能力：

R_D = P \left( \Delta_t \text{ 在未解決前仍可被取回} \right).

13.2 異常檔案

成熟研究系統應保存：

\mathcal A_t = \left\{ \Delta_1, \Delta_2, \ldots, \Delta_n \right\},

其中每個未解異常包含：

發生時間；
原始預測；
實際結果；
當時模型；
候選原因；
後續處理；
是否已解決。

這使未來狀態能回頭檢查過去尚未解決的差異。

14. 最小自我糾錯架構

本文定義：

\boxed{ \mathcal S_{\mathrm{corr}} = \langle M,P,O,C,D,A,V,H \rangle. }

其中：

$M$ ：模型

系統目前如何理解世界與自己。

$P$ ：預期

模型對下一狀態、結果或證據產生的預測。

$O$ ：觀測

不能被當前預期完全任意支配的資料來源。

$C$ ：比較

計算：

\varepsilon=D(P,O).

$D$ ：診斷

估計失配最可能來自哪一層。

$A$ ：替代生成

建立候選新模型、假設或策略。

$V$ ：驗證

使用新資料、反例、重算或行動測試比較候選。

$H$ ：歷史

保存成功、失敗與未解異常，使系統能跨時間校準。

15. 自我糾錯流程

完整流程為：

M_t \xrightarrow{P} \hat{o}_{t+1}

\hat{o}_{t+1} \xleftrightarrow{C} o_{t+1}

若：

\varepsilon_t>\theta,

則：

\varepsilon_t \xrightarrow{D} \mathcal H_{\mathrm{err}}

再由：

\mathcal H_{\mathrm{err}} \xrightarrow{A} \mathcal M^{\mathrm{alt}}

最後：

\mathcal M^{\mathrm{alt}} \xrightarrow{V} M_{t+1}.

歷史則更新：

H_{t+1} = H_t \cup \left\{ M_t, \varepsilon_t, D_t, A_t, V_t \right\}.

因此：

\boxed{ \text{自我糾錯} = \text{差異} + \text{診斷} + \text{替代} + \text{驗證} + \text{歷史}. }

16. 自我糾錯能力指標

可暫定：

C_{\mathrm{self}} = I_D \cdot R_D \cdot D_Q \cdot A_Q \cdot V_Q,

其中：

$I_D$ ：差異來源獨立度；
$R_D$ ：差異保存能力；
$D_Q$ ：錯誤診斷品質；
$A_Q$ ：替代生成品質；
$V_Q$ ：驗證品質。

如果任何一項接近零：

C_{\mathrm{self}} \rightarrow0.

例如：

有差異，無保存

反例總被忘記。

有差異，無診斷

只知道不對。

有診斷，無替代

只會否定。

有替代，無驗證

每次換一個新故事。

有驗證，但來源不獨立

用同一錯誤系統檢查自己。

17. 人類與 AI 的共同問題

17.1 AI 並不因能自我批評就自動可靠

若一個模型先生成答案，再被要求：

檢查你的答案。

第二輪可能產生新的差異。

但若：

同一訓練分布；
同一盲點；
同一錯誤知識；
同一上下文；
同一錯誤前提；

全部被保留，則：

\iota \left( C_{\mathrm{critic}}, M_{\mathrm{generator}} \right)

可能仍然很低。

因此，角色提示不同不等於真正獨立。

17.2 可增加差異的設計

可以使用：

不同模型；
不同工具；
檢索外部資料；
執行程式；
形式證明器；
模擬器；
多種提示；
對抗性反例生成；
延遲重新檢查；
人類或環境回饋。

目標不是增加聲音數量，而是增加：

I_D.

18. 與前兩篇的接口

第 01 篇處理：

\text{誰有資格評價我？}

第 02 篇處理：

\text{作者真正穩定的生成結構是什麼？}

本篇進一步回答：

\text{即使沒有另一個合格評價者，我如何仍能被差異修正？}

因此，外部合格見證者是高價值資源，但不是自我糾錯的邏輯必要條件。

真正必要的是：

\boxed{ \text{存在一個當前自我無法完全收編的差異。} }

19. 與下一篇的接口：矯正的矯正

本篇仍假設：

D, \quad A, \quad V

這些診斷、替代與驗證機制已經存在。

但新的問題立刻出現：

如果診斷器自己有系統性錯誤呢？

如果驗證器把錯誤模型判為正確呢？

如果更新規則總是過度反應或反應不足呢？

也就是：

U_t

本身必須成為可檢查對象。

下一篇將處理：

\boxed{ U_t \rightarrow U_{t+1}. }

這就是：

〈矯正如何被再次矯正：從錯誤修補到更新規則的自我改寫〉

20. 核心命題

命題一：非智能他者命題

\boxed{ \text{自我糾錯不要求另一個智能，但要求差異來源。} }

命題二：非同一性命題

若驗證來源完全由被檢查模型決定，則其反駁能力受到根本限制。

命題三：失配非真值命題

\boxed{ \text{偵測到失配不等於知道哪一個模型錯，也不等於取得真相。} }

命題四：後決策延續命題

第一次做出決定不必終止資訊處理；後決策證據可以使智能體在無外部回饋時改變對先前決策的評價。

命題五：衝突觸發命題

內部衝突可以觸發重新檢查，但不能單獨裁決真值。

命題六：差異保存命題

差異若無法跨時間保存，智能體即使反覆遇到反例，也可能無法形成累積式自我糾錯。

命題七：封閉反命題

\boxed{ \text{真正與自我糾錯相反的不是孤獨，而是認知封閉。} }

21. 可證偽條件

21.1 外部回饋必要

若所有可靠錯誤察覺都必須依賴明確外部答案，而無外部回饋時表現完全等於隨機，則本篇核心命題被削弱。

21.2 後決策處理無增益

若決策後資訊處理不能改善錯誤察覺、信心校準或後續行為調整，則後決策證據累積不應被視為主要機制。

21.3 差異獨立度無作用

若檢查來源與生成模型的結構獨立程度完全不影響糾錯品質，則本文的非同一性條件需要重新定義。

21.4 歷史保存無作用

若保存失敗、反例與未解異常不改善長期校準，則差異保存不構成必要工程組件。

21.5 診斷層無新增價值

若直接由預測誤差更新模型已能解釋複雜自我糾錯，而錯誤來源診斷沒有額外預測力，則本文多層架構應簡化。

22. 研究限制

神經科學的錯誤監測結果主要來自受控任務，不能直接等同於複雜理論研究中的自我糾錯。
ERN、Pe、衝突監測與後決策證據累積之間的精確關係仍存在理論爭議。
預測誤差框架不能完整覆蓋所有認識論錯誤。
高度一致的多模型系統仍可能共享訓練資料與結構性盲點。
「差異獨立度」目前是上層形式量，尚需操作化。
自我糾錯能力高不代表價值目標正確，也不代表所有領域都同樣可靠。
不應把頻繁自我懷疑等同於高元認知；過度檢查也可能降低行動能力。

23. 結論

沒有另一個智慧存在指出問題時，自我糾錯並沒有變成神祕事件。

世界本身可以形成差異。

身體可以形成差異。

不同推理路徑可以形成差異。

過去與現在可以形成差異。

決策後尚未結束的資訊處理也可以形成差異。

所以最根本的條件不是：

\text{有沒有別人告訴我答案},

而是：

\boxed{ \text{我的當前模型是否仍暴露在它無法完全控制的差異之下。} }

但差異本身仍不足夠。

真正的自我糾錯需要：

\boxed{ \text{差異偵測} \rightarrow \text{錯誤歸因} \rightarrow \text{替代生成} \rightarrow \text{獨立驗證} \rightarrow \text{歷史保存}. }

一個完全孤獨的智能，只要仍能與世界、時間、內部競爭表徵和可重算結果保持開放，就仍可能修正自己。

相反地，一個周圍有無數其他智能、但能把所有反例重新翻譯成自我正確證據的系統，仍然可能完全失去自我糾錯能力。

因此本篇最終命題是：

\boxed{ \text{智慧的關鍵之一，不是永遠知道正確答案，} }

\boxed{ \text{而是持續保留一條讓自己可能被證明錯的路徑。} }

參考文獻

Yeung, N., & Summerfield, C. (2012). Metacognition in human decision-making: confidence and error monitoring. Philosophical Transactions of the Royal Society B, 367(1594), 1310–1321. DOI: 10.1098/rstb.2011.0416.
Murphy, P. R., Robertson, I. H., Harty, S., & O’Connell, R. G. (2015/2016). Neural evidence accumulation persists after choice to inform metacognitive judgments. eLife, 4, e11946. DOI: 10.7554/eLife.11946.
Desender, K., Ridderinkhof, K. R., & Murphy, P. R. (2021). Understanding neural signals of post-decisional performance monitoring: An integrative review. eLife, 10, e67556. DOI: 10.7554/eLife.67556.
Botvinick, M. M., Braver, T. S., Barch, D. M., Carter, C. S., & Cohen, J. D. (2001). Conflict monitoring and cognitive control. Psychological Review, 108(3), 624–652. DOI: 10.1037/0033-295X.108.3.624.
Yeung, N., Botvinick, M. M., & Cohen, J. D. (2004). The neural basis of error detection: conflict monitoring and the error-related negativity. Psychological Review, 111(4), 931–959. DOI: 10.1037/0033-295X.111.4.939.
Dehaene, S. (2018). The Error-Related Negativity, Self-Monitoring, and Consciousness. Perspectives on Psychological Science, 13(2), 161–165. DOI: 10.1177/1745691618754502.
Fleming, S. M., & Daw, N. D. (2017). Self-evaluation of decision-making: A general Bayesian framework for metacognitive computation. Psychological Review, 124(1), 91–114. DOI: 10.1037/rev0000045.
Steinhauser, M., Maier, M., & Hübner, R. (2008). Modeling behavioral measures of error detection in choice tasks: response monitoring versus conflict monitoring. Journal of Experimental Psychology: Human Perception and Performance, 34(1), 158–176. DOI: 10.1037/0096-1523.34.1.158.
Teufel, C., & Fletcher, P. C. (2020). Forms of prediction in the nervous system. Nature Reviews Neuroscience, 21, 231–242. DOI: 10.1038/s41583-020-0275-5.
Gershman, S. J. et al. (2024). Explaining dopamine through prediction errors and beyond. Nature Neuroscience. DOI: 10.1038/s41593-024-01705-4.
Kahnt, T., & Schoenbaum, G. (2025). The curious case of dopaminergic prediction errors and learning associative information beyond value. Nature Reviews Neuroscience, 26, 169–178.
Neo.K × Aletheia (2026). 〈反身智能生成論：系列索引、核心問題與理論依賴〉，EVEMISSLAB。
Neo.K × Aletheia (2026). 〈極端智能為何可能更害怕他人的眼光：天才標籤、社會誤讀與認知暴露〉，EVEMISSLAB。
Neo.K × Aletheia (2026). 〈當「天才」成為低資訊量標籤：從作者崇拜到認知指紋研究〉，EVEMISSLAB。

版本紀錄

v0.1 — 2026-08-01

建立差異保留自我糾錯模型（DPSC）；
提出非同一性條件與差異獨立度；
區分失配、錯誤定位與真值取得；
納入錯誤監測、衝突監測與後決策證據累積；
建立錯誤來源診斷與區辨性實驗模型；
建立差異保存與認知封閉概念；
定義最小自我糾錯架構；
完成與第 04 篇「矯正的矯正」之接口。

03_沒有其他智能指出時_智慧存在如何發現自己錯了_v0.1