← Archive
lm-002515 · 2026-08

計算—記憶—尋址交換律:極端基底能力下的認知坍縮

下載 MD 檔 ⬇

計算—記憶—尋址交換律:極端基底能力下的認知坍縮

Compute–Memory–Addressing Trade-offs: Cognitive Collapse Under Extreme Computational Substrates

系列:計算基底、認知干預與廣義智能計算研究,第 6 篇/共 8 篇
作者:Neo.K
機構:EveMissLab/一言諾科技有限公司
日期:2026-08-09


摘要

前篇建立了通用計算基底 UCS:

B=(S,C,A,B,P,D,IO,V),\mathfrak B = ( \mathcal S, \mathcal C, \mathcal A, \mathcal B, \mathcal P, \mathcal D, \mathcal{IO}, \mathcal V ),

並指出記憶、計算、尋址、頻寬與並行能力不應與直覺、類比、注意和元認知簡單視為同一層級能力。

本文進一步研究其中最具不對稱性的三個基底變量:

CSA\boxed{ \mathcal C \quad \mathcal S \quad \mathcal A }

即:

ComputationMemoryAddressing.\boxed{ \text{Computation} \quad \text{Memory} \quad \text{Addressing}. }

核心問題是:

如果過去計算可以被持久保存,保存結果又能被高速定位,那麼多少原本需要在線推理、搜索、預測與經驗重建的工作,可以轉化為查找、重用、枚舉或驗證?

本文將「計算—記憶—尋址交換律」定義為一族條件式 trade-off relations,而不是具有固定比例的守恆律或代數恆等式。

一般形式為:

Conline=F(Cpre,S,A,B,P,Q,D)\boxed{ C_{\mathrm{online}} = F( C_{\mathrm{pre}}, S, A, B, P, Q, D ) }

其中增加:

  • 離線預計算;
  • 儲存空間;
  • 索引;
  • 持久化;

可以在特定問題族上降低後續 online query cost。

2025 年的 3SUM-Indexing 研究仍直接以 preprocessing 後的資料結構空間 SS 與 online query time TT 之間的 trade-off 作為核心問題,顯示「把工作提前做、把結果固化成資料結構,再降低後續查詢成本」仍是一個活躍且具有嚴格複雜度內容的研究方向。

另一方面,2026 年 Content-Addressable Memory 研究中的 CAM 可以透過平行比較儲存內容,在其指定硬體模型下實現 O(1)O(1) lookup;但該工作本身同時討論了底層 SRAM/NVM 所帶來的可靠性問題。這正說明:

O(1)lookupO(1)wholesystem.\boxed{ O(1)_{\mathrm{lookup}} \neq O(1)_{\mathrm{whole-system}}. }

本文因此將總成本拆成:

Ctotal=Cpre+Cindex+Cstore+Cmaint+Q(Caddr+Cfetch+Conline+Cout).\boxed{ C_{\mathrm{total}} = C_{\mathrm{pre}} + C_{\mathrm{index}} + C_{\mathrm{store}} + C_{\mathrm{maint}} + Q ( C_{\mathrm{addr}} + C_{\mathrm{fetch}} + C_{\mathrm{online}} + C_{\mathrm{out}} ). }

只有指定其中某一項時,才能合法討論:

O(1).O(1).

本文進一步提出基底誘發認知坍縮

Substrate-Induced Cognitive Collapse, SICC\boxed{ \text{Substrate-Induced Cognitive Collapse, SICC} }

用以描述當 B\mathfrak B 足夠強時,原本需要某項認知干預算子 IkI_k 的任務,在指定問題族上被轉化為更低層的 retrieval、enumeration、reuse 或 verification。

本文同時證明式地保留限制:新資訊、動態環境、地址生成、輸出長度、規格形成,以及不可判定性不能僅憑巨大有限記憶和有限算力被無條件消除。

因此本文的核心命題不是:

Memory replaces intelligence.\text{Memory replaces intelligence}.

而是:

某些智能操作的邊際價值,是基底能力與問題分布的函數。\boxed{ \text{某些智能操作的邊際價值,是基底能力與問題分布的函數。} }

關鍵詞

計算記憶交換、尋址、預計算、time-space trade-off、內容可尋址記憶、認知坍縮、智能計算、查找、持久記憶、AI Agent


1. 從「智能節省計算」反過來問

前幾篇的方向主要是:

Cognitionless computation.\text{Cognition} \rightarrow \text{less computation}.

例如:

1012 candidates104 candidates.10^{12} \text{ candidates} \rightarrow 10^4 \text{ candidates}.

但現在反過來:

如果機器本身已經可以處理:

101210^{12}

候選呢?

如果它還可以把今天所有結果永久保存呢?

如果明天能快速取得今天的結果呢?

那麼:

部分 cognition 的邊際價值會下降嗎?\boxed{ \text{部分 cognition 的邊際價值會下降嗎?} }

答案至少在部分問題族上是:

.\boxed{\text{會}.}

2. 最簡單的計算—記憶轉換

設:

y=f(x).y=f(x).

第一次:

xfy.x \xrightarrow{f} y.

需要:

Cf(x).C_f(x).

若持久保存:

M[x]=y,M[x]=y,

第二次:

xLookupy.x \xrightarrow{\operatorname{Lookup}} y.

需要:

Clookup.C_{\mathrm{lookup}}.

若:

ClookupCf,C_{\mathrm{lookup}}\ll C_f,

過去 computation 已被轉換成 future memory advantage。

因此:

past computationpersistent statereduced future computation.\boxed{ \text{past computation} \rightarrow \text{persistent state} \rightarrow \text{reduced future computation}. }

3. 這就是最小交換關係

假設同一輸入會被詢問:

QQ

次。

不保存:

Crepeat=QCf.C_{\mathrm{repeat}} = Q\,C_f.

保存:

Cmemory=Cf+Cstore+QClookup.C_{\mathrm{memory}} = C_f + C_{\mathrm{store}} + Q\,C_{\mathrm{lookup}}.

若:

QCf>Cf+Cstore+QClookup,Q\,C_f > C_f + C_{\mathrm{store}} + Q\,C_{\mathrm{lookup}},

則記憶策略划算。

換言之:

(Q1)Cf>Cstore+QClookup.\boxed{ (Q-1)C_f > C_{\mathrm{store}} + Q C_{\mathrm{lookup}}. }

4. 所以記憶價值依賴重用率

如果:

Q=1,Q=1,

保存可能沒有多少價值。

如果:

Q109,Q\rightarrow10^9,

第一次昂貴計算的成本被攤薄。

因此:

VM=F(Crecompute,Preuse,Cstore,Caccess).\boxed{ V_M = F( C_{\mathrm{recompute}}, P_{\mathrm{reuse}}, C_{\mathrm{store}}, C_{\mathrm{access}} ). }

不存在:

more memoryalways better.\text{more memory} \Rightarrow \text{always better}.

5. 從單點 memoization 到整個輸入域預計算

若輸入域有限:

X={x1,,xN},X= \{x_1,\ldots,x_N\},

可以提前:

xiX,M[xi]=f(xi).\forall x_i\in X, \qquad M[x_i]=f(x_i).

離線成本:

Cpre=i=1NCf(xi).C_{\mathrm{pre}} = \sum_{i=1}^N C_f(x_i).

之後每個 query:

xiM[xi].x_i \rightarrow M[x_i].

於是 online problem-solving 被轉換成:

lookup problem.\boxed{ \text{lookup problem}. }

6. 但複雜度沒有消失

它被移動了。

原本:

Conline=Cf.C_{\mathrm{online}}=C_f.

現在:

ConlineClookup,C_{\mathrm{online}}\approx C_{\mathrm{lookup}},

但新增:

Cpre,C_{\mathrm{pre}}, Cstore,C_{\mathrm{store}}, Cindex.C_{\mathrm{index}}.

所以:

computation reduction\boxed{ \text{computation reduction} }

很多時候其實是:

complexity relocation.\boxed{ \text{complexity relocation}. }

7. 第一個正式成本分解

本文定義:

Ctotal=Cpre+Cindex+Cstore+Cmaint+QCquery.\boxed{ C_{\mathrm{total}} = C_{\mathrm{pre}} + C_{\mathrm{index}} + C_{\mathrm{store}} + C_{\mathrm{maint}} + Q C_{\mathrm{query}}. }

其中:

Cquery=Caddr+Cfetch+Conline+Cout.C_{\mathrm{query}} = C_{\mathrm{addr}} + C_{\mathrm{fetch}} + C_{\mathrm{online}} + C_{\mathrm{out}}.

即:

Ctotal=Cpre+Cindex+Cstore+Cmaint+Q(Caddr+Cfetch+Conline+Cout).\boxed{ C_{\mathrm{total}} = C_{\mathrm{pre}} + C_{\mathrm{index}} + C_{\mathrm{store}} + C_{\mathrm{maint}} + Q( C_{\mathrm{addr}} + C_{\mathrm{fetch}} + C_{\mathrm{online}} + C_{\mathrm{out}} ). }

8. 六種成本不可再混用

因此以後「這可以 O(1)O(1) 」必須回答:

預計算是否 O(1)O(1)

Cpre?C_{\mathrm{pre}}?

索引建立是否 O(1)O(1)

Cindex?C_{\mathrm{index}}?

地址形成是否 O(1)O(1)

Caddr?C_{\mathrm{addr}}?

實際存取是否 O(1)O(1)

Cfetch?C_{\mathrm{fetch}}?

在線剩餘計算是否 O(1)O(1)

Conline?C_{\mathrm{online}}?

輸出是否 O(1)O(1)

Cout?C_{\mathrm{out}}?

只有說清楚哪一項,複雜度陳述才有意義。


9. 「交換律」不是守恆律

本文的「交換律」不表示:

1 MB=1 FLOP.1\text{ MB} = 1\text{ FLOP}.

也不存在:

ΔS=ΔC\Delta S = -\Delta C

這種普遍關係。

更精確的是:

TC,S,A=a family of conditional trade-off relations.\boxed{ \mathcal T_{C,S,A} = \text{a family of conditional trade-off relations}. }

不同問題族具有不同:

FP(C,S,A).F_P(C,S,A).

10. 資料結構理論已經在研究這件事的一個嚴格版本

Data-structure problem 的典型形式就是:

先對資料:

DD

做 preprocessing:

DI(D),D \rightarrow \mathcal I(D),

然後重複處理 query:

q1,q2,.q_1,q_2,\ldots.

2025 年 3SUM-Indexing 的新結果即明確研究預處理後的資料結構大小 SS 與 online query time TT 的 trade-off,並改善特定參數區域的已知界。

所以:

preprocess more / store more / query faster\boxed{ \text{preprocess more / store more / query faster} }

不是思想實驗才有的現象。


11. 尋址是第三個不可缺少的變量

只說:

CSC \leftrightarrow S

仍然不夠。

假設我們存了:

103010^{30}

條答案。

如果每次要線性掃描:

103010^{30}

條才能找到,

那麼巨量 storage 沒有形成巨量 effective memory。

所以:

memory value=F(S,A).\boxed{ \text{memory value} = F(S,A). }

12. 地址形成與地址存取不同

這是本篇最重要的校正之一。

定義:

AconstructA_{\mathrm{construct}}

為:

qaqq\rightarrow a_q

的成本。

再定義:

AaccessA_{\mathrm{access}}

為:

aqM[aq]a_q\rightarrow M[a_q]

的成本。

於是:

Caddr=Cconstruct+Caccess.\boxed{ C_{\mathrm{addr}} = C_{\mathrm{construct}} + C_{\mathrm{access}}. }

13. 一個常見假象

假設:

Caccess=O(1),C_{\mathrm{access}}=O(1),

但:

Cconstruct=O(N).C_{\mathrm{construct}}=O(N).

那整體仍然:

O(N).O(N).

因此不能由:

「我的記憶可以常數時間讀取」

推出:

「我的答案可以常數時間找到。」


14. Content-Addressable Memory 提供一個極端對照

CAM 不以傳統位置地址為唯一入口,而能把 query 與已存內容平行比較。

2026 年一篇 CAM 可靠性研究將此種 parallel comparison 描述為可實現 O(1)O(1) lookup complexity 的內容可尋址機制。

但這個 O(1)O(1) 的意義非常具體:

O(1)CAM lookup\boxed{ O(1)_{\mathrm{CAM\ lookup}} }

而不是:

O(1)construction+storage+energy+output.\boxed{ O(1)_{\mathrm{construction+storage+energy+output}}. }

15. 所以「相位/內容尋址」原本思想實驗中的關鍵並不是 RAM latency

真正困難的可能是:

q可被下一層承認的定位描述\boxed{ q \rightarrow \text{可被下一層承認的定位描述} }

而不是:

physical memory access.\boxed{ \text{physical memory access}. }

也就是:

CconstructC_{\mathrm{construct}}

可能比:

CaccessC_{\mathrm{access}}

重要。

這會直接導向第 7 篇 RelayPhase Resolution。


16. 從查表擴展到相似性檢索

現實問題通常不是:

q=qi.q=q_i.

而是:

qqi.q\sim q_i.

所以:

M[q]M[q]

不存在 exact key。

系統需要:

q{mi1,,mik}.q \rightarrow \{m_{i_1},\ldots,m_{i_k}\}.

這變成:

retrieval problem.\boxed{ \text{retrieval problem}. }

17. Retrieval 本身也可能需要 reasoning

這是不能忽略的。

2026 年對 reasoning-intensive retrieval agent 的研究指出,隨長期 Agent 記憶增長,query 與真正相關資料之間的關係有時並非表面相似,需要 query expansion 與 reranking 等推理過程;而不同 pipeline 階段對額外 compute 的收益也不相同。

因此:

retrievalalways cheap lookup.\boxed{ \text{retrieval} \neq \text{always cheap lookup}. }

18. 這產生三種記憶使用模式

第一種:直接查表

qy.q\rightarrow y.

第二種:候選檢索

q{m1,,mk}.q\rightarrow\{m_1,\ldots,m_k\}.

第三種:推理型檢索

qq{mi}rerankm.q \rightarrow q' \rightarrow \{m_i\} \rightarrow \text{rerank} \rightarrow m^\ast.

後兩者已經重新引入 computation。


19. 因此「記憶替代計算」往往是不完全替代

更準確地:

CreasonCretrieve+Cresidualreason.C_{\mathrm{reason}} \rightarrow C_{\mathrm{retrieve}} + C_{\mathrm{residual-reason}}.

所以交換形式可能是:

CS+A+C.\boxed{ C \rightarrow S+A+C'. }

其中:

C<CC'<C

才表示真正節省。


20. 預處理本身也可能非常昂貴

2026 年的 Agent memory construction 工作直接指出,一些外部記憶架構會先進行昂貴的 memory construction,例如把歷史整理成 graph,再進行後續 retrieval。

這正是:

Cpre\boxed{ C_{\mathrm{pre}} }

不能從成本公式中刪掉的原因。


21. 記憶維護也不是免費的

如果世界會變:

WtWt+1,W_t\neq W_{t+1},

則:

MtM_t

必須:

MtMt+1.M_t \rightarrow M_{t+1}.

所以增加:

Cmaint.C_{\mathrm{maint}}.

資料越大、更新越頻繁,

維持「可直接查」的記憶可能越昂貴。


22. 靜態問題與動態問題因此不同

對靜態函數:

f(x)f(x)

預計算可能極有價值。

但若:

ft(x)f_t(x)

持續變動,

每次世界變化都可能要求:

Mt[x]Mt+1[x].M_t[x] \rightarrow M_{t+1}[x].

若:

CmaintCrecompute,C_{\mathrm{maint}} \gg C_{\mathrm{recompute}},

巨大預計算資料庫反而失去價值。


23. 記憶可以把 reasoning 結果沉澱為基底

假設智能體第一次遇到:

PP

需要:

Ireason.I_{\mathrm{reason}}.

經過:

Pπy.P \rightarrow \pi \rightarrow y.

保存:

M[P]=(π,y).M[P]=(\pi,y).

下一次:

PM[P].P \rightarrow M[P].

此時原本屬於:

I\mathfrak I

的在線活動,

部分被沉澱進:

B.\mathfrak B.

24. 這就是「認知基底化」

本文定義:

Cognitive Substratification\boxed{ \text{Cognitive Substratification} }

為:

一項原本需要在線認知干預的已完成工作,經由持久化、索引或程序編譯,被轉換為後續可直接由基底層重用的狀態或操作。

形式上:

Ik(P)Mk(P).I_k(P) \rightarrow M_k(P).

之後:

Ik(P)I_k(P)

不再每次重新執行。


25. 人類文明本身就具有類似效果

一個定理第一次被發現時可能需要大量創造性工作。

一旦寫成:

TT

並被保存、教學、索引,

後人使用:

TT

不必重新發現一次。

所以:

discoverystored theoremfuture primitive.\boxed{ \text{discovery} \rightarrow \text{stored theorem} \rightarrow \text{future primitive}. }

這也是知識累積最重要的計算效果之一。


26. AI 會讓這個循環更加快速

如果智能體可以:

  1. 解題;
  2. 保存;
  3. 自動索引;
  4. 重用;
  5. 再將重用結果抽象;

那麼:

CtMt+1Ct+1Mt+2.C_t \rightarrow M_{t+1} \rightarrow C_{t+1}' \rightarrow M_{t+2}.

會形成:

compute–memory compounding.\boxed{ \text{compute--memory compounding}. }

27. 但保存「答案」和保存「生成能力」不同

假設記住:

f(1),f(2),,f(N).f(1),f(2),\ldots,f(N).

這是 extensional memory。

若記住:

f(x)=x2,f(x)=x^2,

則是 compact generative representation。

第一種需要:

O(N)O(N)

空間。

第二種可能:

O(1)O(1)

描述。

所以:

memory compression\boxed{ \text{memory compression} }

本身又會回到 intelligence / representation problem。


28. 計算結果可以被三種形式保存

實例記憶

M[xi]=yi.M[x_i]=y_i.

結構記憶

M[C]=R.M[C]=R.

例如:

這類問題用方法 RR

生成記憶

M[f]=program producing f(x).M[f]=\text{program producing }f(x).

三者交換 online compute 的方式不同。


29. 生成式記憶其實重新變成計算

如果保存的是:

pf,p_f,

一個計算 ff 的程序,

query 時仍要執行:

pf(x).p_f(x).

所以:

compressed memory\boxed{ \text{compressed memory} }

往往透過:

decompression computation\boxed{ \text{decompression computation} }

恢復內容。

這再次表明:

CSC \leftrightarrow S

不是單向替代。


30. 計算與記憶形成一個循環,而不是二選一

更合理的是:

CSCS\boxed{ C \rightarrow S \rightarrow C' \rightarrow S' \rightarrow\cdots }

其中:

  • 計算產生記憶;
  • 記憶降低下一次計算;
  • 壓縮記憶需要計算;
  • 解壓與檢索又需要計算。

所以:

Computation and memory are mutually transforming resources.\boxed{ \text{Computation and memory are mutually transforming resources}. }

31. 尋址則是兩者之間的耦合器

沒有:

A,A,

則:

SS

難以有效轉化成:

Csaved.C_{\mathrm{saved}}.

因此可以寫:

Csaved=F(S,A,Q).\boxed{ C_{\mathrm{saved}} = F(S,A,Q). }

若:

A0,A\rightarrow0,

則巨大:

SS

的價值也可能趨近很低。


32. 因此三元比二元更合理

本文的核心不是:

CS.C\leftrightarrow S.

而是:

CSA.\boxed{ C \leftrightarrow S \leftrightarrow A. }

甚至更準確:

C(S,A,B,D).\boxed{ C \leftrightarrow (S,A,B,D). }

只是本篇聚焦前三者。


33. 第一種認知坍縮:重複推理坍縮

如果:

PP

反覆出現,

第一次:

Ireason(P)y.I_{\mathrm{reason}}(P)\rightarrow y.

之後:

M[P]y.M[P]\rightarrow y.

那麼:

MarginalValue(IreasonP)0.\boxed{ \operatorname{MarginalValue} (I_{\mathrm{reason}}\mid P) \rightarrow0. }

這稱為:

Repeated-Reasoning Collapse.\boxed{ \text{Repeated-Reasoning Collapse}. }

34. 第二種:搜索剪枝坍縮

若問題為有限:

X.X.

認知 heuristic:

IhI_h

的功能只是把:

X=N|X|=N

降低為:

k.k.

當:

C,P\mathcal C, \mathcal P

增加到可以直接處理 NN 時:

MarginalValue(Ih).\operatorname{MarginalValue}(I_h) \downarrow.

稱為:

Search-Compression Collapse.\boxed{ \text{Search-Compression Collapse}. }

35. 第三種:經驗先驗坍縮

如果系統可以:

evaluate all actions\text{evaluate all actions}

且成本極低,

則過往經驗提供的:

P(as)P(a\mid s)

不再那麼重要。

因為不需要先猜哪個 action 最值得試。

所以:

Prior Valueas exhaustive realization becomes cheap.\boxed{ \text{Prior Value} \downarrow \quad \text{as exhaustive realization becomes cheap}. }

36. 第四種:直覺排序坍縮

若所有 branch 能同時展開:

b1,,bN,b_1,\ldots,b_N,

那麼:

「哪條先試?」

這個問題本身失去部分意義。

因此:

IintI_{\mathrm{int}}

作為排序器的價值下降。

但如果直覺還負責:

representation invention,\text{representation invention},

則不能因此說整個直覺能力都坍縮。


37. 第五種:工具選擇坍縮

假設只有一個 solver 可以執行。

工具選擇很重要。

如果:

T1,,TnT_1,\ldots,T_n

能廉價全部並行執行,

則:

choose one\text{choose one}

可以被:

run all + verify\text{run all + verify}

取代。

所以:

selectionparallel realization.\boxed{ \text{selection} \rightarrow \text{parallel realization}. }

38. 第六種:部分記憶重建坍縮

人類因記憶容量與存取限制,需要從 fragment 重建:

M~.\tilde M.

若未來系統能保存高度完整的歷史狀態:

HtH_t

並精確定位,

部分 reconstructive memory 功能可能轉化為:

direct state retrieval.\boxed{ \text{direct state retrieval}. }

但只有在保存粒度與 indexing 足夠時才成立。


39. 正式定義:基底誘發認知坍縮

本文定義:

Substrate-Induced Cognitive Collapse, SICC.\boxed{ \text{Substrate-Induced Cognitive Collapse, SICC}. }

對問題族:

P,\mathcal P,

認知算子:

Ik,I_k,

以及基底序列:

B1,B2,,\mathfrak B_1,\mathfrak B_2,\ldots,

若:

MarginalUtility(IkP,Bn)0\operatorname{MarginalUtility} ( I_k \mid \mathcal P,\mathfrak B_n ) \rightarrow0

隨:

Bn\mathfrak B_n

增強而持續下降,

則稱 IkI_k 在該問題族上發生基底誘發認知坍縮


40. 「坍縮」不是能力消失

這是關鍵。

若:

IkI_k

仍然存在,

但該任務上不必使用,

仍算 SICC。

所以:

functional redundancyarchitectural deletion.\boxed{ \text{functional redundancy} \neq \text{architectural deletion}. }

41. 坍縮也是問題相對的

對:

P1,P_1,

可能:

IsearchI_{\mathrm{search}}

完全坍縮。

對:

P2,P_2,

它仍然極重要。

因此:

Collapse(Ik)=F(Ik,P,B).\boxed{ \operatorname{Collapse}(I_k) = F( I_k, P, \mathfrak B ). }

不是智能體的固定屬性。


42. 可以定義認知邊際價值

令:

U(P,B,I)U(P,\mathfrak B,\mathcal I)

為效用。

對算子:

Ik,I_k,

定義:

MVk=U(P,B,I)U(P,B,I{Ik}).\boxed{ MV_k = U( P,\mathfrak B,\mathcal I ) - U( P,\mathfrak B, \mathcal I\setminus\{I_k\} ). }

如果:

MVk0,MV_k\gg0,

該 cognition 很重要。

若:

MVk0,MV_k\approx0,

它在當前基底/問題下近乎冗餘。


43. 再定義「基底替代彈性」

可進一步抽象:

Ek,B=MVkB.\boxed{ E_{k,B} = -\frac{ \partial MV_k }{ \partial B }. }

若:

Ek,B0,E_{k,B}\gg0,

表示增加基底能力很快降低 IkI_k 的邊際價值。

這可稱:

Substrate Substitution Elasticity.\boxed{ \text{Substrate Substitution Elasticity}. }

這是工作性數學定義,而非目前已有實證定律。


44. 不是所有 cognition 都具有高替代彈性

例如「排序一百萬候選」可能:

Erank,P0E_{\mathrm{rank},P} \gg0

對並行能力很敏感。

但:

「應該把什麼東西定義成候選?」

則未必。

因此可暫時分:

Isubstitutable\boxed{ \mathcal I_{\mathrm{substitutable}} }

與:

Iresistant.\boxed{ \mathcal I_{\mathrm{resistant}}. }

45. 可能較容易被基底替代的算子

包括部分:

  • candidate ranking;
  • branch pruning;
  • repeated retrieval;
  • memorized proof reuse;
  • finite exhaustive search;
  • redundant verification;
  • fixed tool selection。

因為它們的效果可以被:

C,S,P,A\mathcal C,\mathcal S,\mathcal P,\mathcal A

直接放大。


46. 較抗替代的功能之一:問題形成

如果問題根本尚未被定義:

P=?,P=?,

那麼:

1010010^{100}

台 processor 不知道該算什麼。

因此:

problem formation\boxed{ \text{problem formation} }

不能僅由「對既定空間增加 enumeration throughput」直接取代。


47. 第二個抗替代功能:目標形成

同樣:

optimize what?\text{optimize what?}

如果:

GG

沒有給定,

更多 raw compute 不會自動回答:

G=?.G^\ast=?.

當然可以預先定義:

G\mathcal G

並枚舉目標。

但這又需要:

meta-objective\boxed{ \text{meta-objective} }

判斷哪些目標值得保留。


48. 第三個抗替代功能:開放世界新資訊

如果:

xx

尚未發生,

也無法由現有資訊推導,

則:

MM

再大也沒有:

x.x.

例如明天某 sensor 的真正讀值。

所以:

memory cannot contain genuinely unavailable future observations.\boxed{ \text{memory cannot contain genuinely unavailable future observations}. }

49. 第四個限制:不可判定性

更大有限記憶:

S,S\uparrow,

更快有限計算:

CC\uparrow

並不使普通可計算模型跨越不可判定性。

因此:

resource amplificationcomputability-class transition.\boxed{ \text{resource amplification} \neq \text{computability-class transition}. }

這延續第 2 篇的限制。


50. 第五個限制:輸出長度

若答案本身:

y=N,|y|=N,

而要求逐 bit/逐符號完整物質化,

則在一般輸出模型下:

CoutC_{\mathrm{out}}

不能被「答案地址是 O(1)O(1) 」抹掉。

所以:

resolve answeremit answer.\boxed{ \text{resolve answer} \neq \text{emit answer}. }

51. 第六個限制:規格正確性

即使記憶裡有:

103010^{30}

個完美形式證明,

如果原始自然語言問題:

PNP_N

被錯誤 formalize 成:

PF,P_F,

檢索:

M[PF]M[P_F]

仍然可能回答錯問題。

所以:

perfect retrievalperfect specification.\boxed{ \text{perfect retrieval} \neq \text{perfect specification}. }

52. 第七個限制:地址生成可能就是原問題

假設「答案」位於:

a.a^\ast.

但得到:

aa^\ast

需要先解:

P.P.

那麼:

qaq\rightarrow a^\ast

沒有比:

qyq\rightarrow y

更容易。

這可稱:

Address Construction Barrier.\boxed{ \text{Address Construction Barrier}. }

53. 因此「近完美尋址」必須拆成兩種

物理尋址近完美

給地址:

a,a,

幾乎立即:

aM[a].a\rightarrow M[a].

語義/內容解析近完美

給 query:

q,q,

幾乎立即:

qaq.q\rightarrow a_q.

第二種遠比第一種強。

而且更容易偷偷把智能本身藏入:

qaq.q\rightarrow a_q.

54. 這正是 RPR 為何需要中繼

如果不假設:

qaq\rightarrow a^\ast

一次完成,

而改成:

qr1r2a,q \rightarrow r_1 \rightarrow r_2 \rightarrow \cdots \rightarrow a^\ast,

每一節點只解局部定位問題,

就不需要一個全知 global addressing function。

這會成為第 7 篇的工程核心。


55. 極端基底思想實驗應如何正確表述

不要寫:

BΩ=infinite computer.\mathfrak B_\Omega = \text{infinite computer}.

更乾淨的是:

對目標問題族:

PT,\mathcal P_T,

若:

C,S,A,P\mathcal C, \mathcal S, \mathcal A, \mathcal P

相對於:

PT\mathcal P_T

的需求極大,

使其在實際資源尺度內近乎不再構成瓶頸,

稱:

B is substrate-saturated relative to PT.\boxed{ \mathfrak B \text{ is substrate-saturated relative to }\mathcal P_T. }

56. 定義「問題相對基底飽和」

若:

Cneeded(P)Cavailable,C_{\mathrm{needed}}(P) \ll C_{\mathrm{available}}, Sneeded(P)Savailable,S_{\mathrm{needed}}(P) \ll S_{\mathrm{available}}, Aneeded(P)Aavailable,A_{\mathrm{needed}}(P) \ll A_{\mathrm{available}},

對所有:

PPT,P\in\mathcal P_T,

則稱:

BPT\boxed{ \mathfrak B \succeq \mathcal P_T }

進入問題相對的 substrate-saturated regime。


57. 在飽和域中,很多人類難題會退化

例如一個有限:

101810^{18}

狀態搜索。

對人類:

impossible.\text{impossible}.

對 substrate-saturated system:

enumerate.\text{enumerate}.

因此:

human difficulty class\boxed{ \text{human difficulty class} }

不等於:

substrate-independent difficulty class.\boxed{ \text{substrate-independent difficulty class}. }

58. 這會改變我們對「智慧」的表象判定

一個系統:

AA

瞬間回答:

10610^6

種問題。

原因可能是:

類型一

IAI_A

非常強。

類型二

MAM_A

幾乎已存過。

類型三

CAC_A

直接暴力算完。

類型四

AAA_A

可以極快尋址。

類型五

以上混合。

所以:

observed fluencyunique evidence of cognitive depth.\boxed{ \text{observed fluency} \neq \text{unique evidence of cognitive depth}. }

59. 這對 AI benchmark 有直接後果

若系統 AA

CA=10,MA=10,C_A=10, \qquad M_A=10,

系統 BB

CB=106,MB=109,C_B=10^6, \qquad M_B=10^9,

最後:

ScoreB>ScoreA.Score_B>Score_A.

不能立即推出:

IB>IA.\mathfrak I_B>\mathfrak I_A.

Benchmark 實際測到:

BI.\boxed{ \mathfrak B \otimes \mathfrak I. }

60. 因此最好加入「等基底比較」

理想研究可以固定:

BABB\mathfrak B_A \approx \mathfrak B_B

再比較:

IA,IB.\mathfrak I_A, \mathfrak I_B.

或者固定:

I\mathfrak I

逐步提升:

B\mathfrak B

觀察:

MVk(B)MV_k(\mathfrak B)

如何下降。

這樣才能真正研究:

substrate–cognition substitution.\boxed{ \text{substrate–cognition substitution}. }

61. 「認知坍縮」最有趣的極限問題

現在可以正式問:

limBBsatMVk(B)=?\boxed{ \lim_{\mathfrak B\rightarrow\mathfrak B_{\mathrm{sat}}} MV_k(\mathfrak B) =? }

對每個:

Ik.I_k.

可能:

limMVranking=0,\lim MV_{\mathrm{ranking}}=0,

但:

limMVgoal0.\lim MV_{\mathrm{goal}}\neq0.

也可能某些我們今天認為高階的能力,實際上主要是有限資源條件下的壓縮技術。


62. 這不貶低那些能力

如果人類世界:

B\mathfrak B

極度有限,

那:

Iintuition,Iabstraction,IpredictionI_{\mathrm{intuition}}, I_{\mathrm{abstraction}}, I_{\mathrm{prediction}}

就是非常有價值的。

「可以被更大算力取代」不等於:

沒有價值。

它只表示:

value is resource-relative.\boxed{ \text{value is resource-relative}. }

63. 智能本身也可能創造新的基底

更高階智能不只使用:

B.\mathfrak B.

它可以建立:

  • 新 index;
  • 新 cache;
  • 新 solver;
  • 新記憶分類;
  • 新 hardware schedule;
  • 新編譯結果。

因此:

ItBt+1.\boxed{ \mathfrak I_t \rightarrow \mathfrak B_{t+1}. }

這又形成:

cognitionbetter substrateless future cognition.\text{cognition} \rightarrow \text{better substrate} \rightarrow \text{less future cognition}.

64. 於是會形成一個自我基底化循環

ItCtMtAtBt+1MV(It+1).\boxed{ \mathfrak I_t \rightarrow C_t \rightarrow M_t \rightarrow A_t \rightarrow \mathfrak B_{t+1} \rightarrow MV(\mathfrak I_{t+1})\downarrow. }

一個智能體可能先用高階 cognition 創造:

shortcut.\text{shortcut}.

之後再也不必用同樣 cognition 走第二次。


65. 這其實是「編譯」的一般化

第一次:

interpret / reason.\text{interpret / reason}.

之後:

compile.\text{compile}.

再之後:

execute.\text{execute}.

因此可以寫:

CognitionCompiled Cognitive ArtifactMechanical Reuse.\boxed{ \text{Cognition} \rightarrow \text{Compiled Cognitive Artifact} \rightarrow \text{Mechanical Reuse}. }

定理、索引、程式、cache、policy table 都可以是不同形式的 compiled artifact。


66. 高階智能體可能越來越少「重想」已解問題

假如智能體具有:

  • 高持久記憶;
  • 高品質 provenance;
  • 高速尋址;
  • 可驗證結果;
  • 版本控制;

那麼:

already solved\text{already solved}

應逐漸變成:

retrieve + verify.\boxed{ \text{retrieve + verify}. }

而不是:

reason from scratch.\text{reason from scratch}.

67. 這反而把認知資源推向真正新問題

如果:

PknownP_{\mathrm{known}}

幾乎全部被基底化,

認知資源可以集中到:

Pnovel.P_{\mathrm{novel}}.

因此認知坍縮並不一定減少智能活動。

它可能使高階認知:

move upward.\boxed{ \text{move upward}. }

68. 「容易的 cognition 被基底吃掉」

可以形成一種階層遷移:

昨日:

I3I_3

是研究級 cognition。

今天:

I3I_3

被編譯成 library。

智能改處理:

I4.I_4.

未來:

I4I_4

又基底化。

於是:

cognitive frontier\boxed{ \text{cognitive frontier} }

持續移動。


69. 這也解釋為何「未來的基本問題」可能曾經非常難

一旦:

hard discovery\text{hard discovery}

變成:

stored primitive,\text{stored primitive},

下一代智能體看到的 baseline problem space 已經不同。

所以:

Dt(P)Dt+1(P).\boxed{ D_t(P) \neq D_{t+1}(P). }

難度本身具有文明與基底歷史依賴。


70. 本文提出的九個工作命題

命題一:條件式交換命題

不存在普遍固定:

CS.C\leftrightarrow S.

但對特定問題族,可透過預計算、儲存與索引降低後續 online computation。


命題二:複雜度轉移命題

Conline\boxed{ C_{\mathrm{online}}\downarrow }

通常伴隨某些:

Cpre,Cstore,CindexC_{\mathrm{pre}}, C_{\mathrm{store}}, C_{\mathrm{index}}

增加。

因此不能只報 online cost。


命題三:尋址中介命題

記憶能否有效替代計算高度依賴:

A.\mathcal A.

即:

S⇏Conline\boxed{ S\uparrow \not\Rightarrow C_{\mathrm{online}}\downarrow }

若缺乏有效尋址。


命題四:地址形成分離命題

Caddress constructionCmemory access.\boxed{ C_{\mathrm{address\ construction}} \neq C_{\mathrm{memory\ access}}. }

常數時間物理存取不能自動推出常數時間問題解析。


命題五:基底誘發認知坍縮命題

存在問題族與認知算子 IkI_k,使:

BMV(Ik).\mathfrak B\uparrow \Rightarrow MV(I_k)\downarrow.

命題六:認知坍縮非全域命題

不能推出:

Ik,MV(Ik)0.\forall I_k, \qquad MV(I_k)\rightarrow0.

問題形成、目標形成、新資訊取得與部分表示問題可能具有較高抗替代性。


命題七:認知基底化命題

原本需要 cognition 產生的結果可以透過:

persist+index+verify\boxed{ \text{persist} + \text{index} + \text{verify} }

成為未來基底 primitive。


命題八:基底歷史依賴命題

Bt+1\mathfrak B_{t+1}

部分由:

CtC_t

產生,因此智能體過去的 cognition 可以改變自身未來的計算基底。


命題九: O(1)O(1) 分層命題

任何類 O(1)O(1) 主張至少應指定:

O(1)lookup,O(1)hop,O(1)online,O(1)output,\boxed{ O(1)_{\mathrm{lookup}}, O(1)_{\mathrm{hop}}, O(1)_{\mathrm{online}}, O(1)_{\mathrm{output}}, \dots }

不得把不同成本層混成單一總複雜度。


71. 與前五篇的統一

第 1 篇:

問題具有不同難度形狀.\text{問題具有不同難度形狀}.

第 2 篇:

大量認知障礙可機械化為搜索.\text{大量認知障礙可機械化為搜索}.

第 3 篇:

認知干預改變搜索分布.\text{認知干預改變搜索分布}.

第 4 篇:

認知干預可以為負.\text{認知干預可以為負}.

第 5 篇:

認知與機械計算共享基底.\text{認知與機械計算共享基底}.

本篇現在補上:

基底本身可以改變 cognition 的邊際必要性.\boxed{ \text{基底本身可以改變 cognition 的邊際必要性}. }

72. 但本篇留下了一個最大的未解問題

我們假設:

A(q)A(q)

可以把 query 導向有效記憶。

可是:

如果記憶分散在:

N1,N2,,N109,N_1,N_2,\ldots,N_{10^9},

沒有任何節點知道全局:

qa,q\rightarrow a^\ast,

怎麼辦?

若我們又不願假設一個:

global omniscient index\boxed{\text{global omniscient index}}

那就需要新的尋址方式。


73. 從「一次定位」改成「逐跳解析」

不要求:

qa.q\rightarrow a^\ast.

而改成:

qR1R2Rka.q \rightarrow R_1 \rightarrow R_2 \rightarrow \cdots \rightarrow R_k \rightarrow a^\ast.

每一節點只需要知道:

在我的局部狀態與可信規則下,下一步往哪裡?

這就是下一篇:

RelayPhase Resolution\boxed{ \text{RelayPhase Resolution} }

真正開始的地方。


74. 結論

本文從一個非常簡單的事實開始:

算過的東西,可以記下來。\boxed{ \text{算過的東西,可以記下來。} }

但沿著這句話推到底,會得到一個遠比 memoization 更大的問題。

如果:

ComputePersistent Memory,\text{Compute} \rightarrow \text{Persistent Memory},

而:

Persistent Memory+AddressingFast Reuse,\text{Persistent Memory} + \text{Addressing} \rightarrow \text{Fast Reuse},

那麼:

大量今天被視為「智能活動」的在線操作, 可能在未來被編譯成基底能力。\boxed{ \text{大量今天被視為「智能活動」的在線操作, 可能在未來被編譯成基底能力。} }

但這種轉換並不免費。

完整成本始終更接近:

Ctotal=Cpre+Cindex+Cstore+Cmaint+Q(Caddr+Cfetch+Conline+Cout).\boxed{ C_{\mathrm{total}} = C_{\mathrm{pre}} + C_{\mathrm{index}} + C_{\mathrm{store}} + C_{\mathrm{maint}} + Q( C_{\mathrm{addr}} + C_{\mathrm{fetch}} + C_{\mathrm{online}} + C_{\mathrm{out}} ). }

因此:

O(1)lookupO(1)_{\mathrm{lookup}}

只表示 lookup。

它不是:

O(1)world.O(1)_{\mathrm{world}}.

同樣地:

cognitive collapse\text{cognitive collapse}

也不是:

智能消失。

而是:

一項原本需要在線智能控制的功能, 在指定問題與基底條件下, 轉化成更低層的計算、記憶、尋址或驗證操作。\boxed{ \text{一項原本需要在線智能控制的功能, 在指定問題與基底條件下, 轉化成更低層的計算、記憶、尋址或驗證操作。} }

這進一步揭示了一個值得長期研究的極限問題:

limBBsatMV(Ik)=?\boxed{ \lim_{\mathfrak B\rightarrow\mathfrak B_{\mathrm{sat}}} MV(I_k) =? }

對不同認知算子,答案可能完全不同。

搜索排序可能首先坍縮。

重複推理可能被記憶取代。

部分直覺可能被海量案例檢索侵蝕。

但問題形成、目標形成、開放世界資訊取得以及元層規格問題,未必會以相同速度消失。

所以未來高階智能未必只是:

比今天「想得更多」。

它也可能因為:

記得更多、保存更多、找到更快、重算更少\boxed{ \text{記得更多、保存更多、找到更快、重算更少} }

而把大量舊有 cognition 逐步沉澱為基底。

真正的 frontier 因此不斷向前移動:

昨日的洞見今日的記憶明日的 primitive.\boxed{ \text{昨日的洞見} \rightarrow \text{今日的記憶} \rightarrow \text{明日的 primitive}. }

而當這個記憶與計算基底進一步分散到大量節點後,下一個問題不再只是:

記住多少?

而是:

沒有全知地址表時,如何從局部可信資訊,一跳、一跳地找到真正需要的內容、狀態或計算?

這正是 RelayPhase Resolution 的起點。


參考文獻與近期相關工作

  1. Dinur & Golovnev, Improved Time-Space Tradeoffs for 3SUM-Indexing, 2025。研究 preprocessing variant 中資料結構空間 SS 與 online query time TT 的 trade-off,並改善特定參數區域的已知結果。

  2. Golovnev et al., Data Structures Meet Cryptography: 3SUM with Preprocessing。研究 preprocessing、data structure space 與 online query time 之間的複雜度關係,是本文區分 offline 與 online cost 的典型理論背景。

  3. Li, Guo & Xin, Reliable Associative Lookup in Content-Addressable Memory, 2026。研究 CAM 的平行內容匹配與 O(1)O(1) lookup,以及底層記憶可靠性問題。

  4. Apparaju & Gupta, Compute Allocation for Reasoning-Intensive Retrieval Agents, 2026。指出長期 Agent memory 中的 retrieval 本身可能需要推理、query expansion 與 reranking,而且不同 retrieval 階段對額外 compute 的收益並不相同。

  5. Lightweight Memory Construction with Dynamic Evolution for LLM Agents, 2026。討論外部 Agent memory 中昂貴 memory construction 與後續 retrieval 之間的成本分離。

  6. Hu, Wang & McAuley, Evaluating Memory in LLM Agents via Incremental Multi-Turn Interactions, 2025。將 accurate retrieval、test-time learning、long-range understanding 與 selective forgetting 區分為不同 memory competencies,支持本文「有效記憶不是單一容量標量」的分類。

  7. Are We Ready For An Agent-Native Memory System?, 2026。將 Agent memory 描述為包含 storage、retrieval、update、consolidation 與 lifecycle governance 的資料管理系統,而非單純外部向量資料庫。


版本:v1.0

系列定位:計算—記憶—尋址 trade-off/基底誘發認知坍縮理論。

上一篇:《通用計算基底:智能與機械計算共同依賴的不對稱能力》

下一篇:《RelayPhase Resolution:局部可信中繼解析與跳躍式內容/計算路由》