← Archive
lm-001755 · 2026-07

智能計算轉化與分配定律_v0.1

下載 MD 檔 ⬇

智能計算轉化與分配定律

從物理算力、動態推理到可累積智能成果的統一框架

版本: v0.1
日期: 2026-07-23
文件性質: 公開理論草案/可檢驗框架
英文暫名: The Law of Intelligent Computation Conversion and Allocation(ICCA Law)


摘要

當代人工智慧的能力已無法只用模型參數量、輸入輸出 Token 數、單次延遲或硬體峰值算力描述。同樣數量的可見輸出,可能對應完全不同的隱藏推理深度、候選分支數量、工具執行次數、驗證成本、記憶重建負擔與跨輪狀態累積程度。另一方面,服務系統仍受能源、硬體、併發需求、排程策略與經濟成本約束,因此單一使用者實際取得的智能能力,既不是模型名義能力的直接映射,也不是物理算力的簡單平均分配。

本文提出「智能計算轉化與分配定律」,將人工智慧輸出理解為一個多階段轉化過程:物理計算資源首先經由系統排程分配給特定請求,再經由模型架構、訓練品質、推理策略、工具編排、驗證機制與狀態連續性,被轉化為可用的智能成果;此過程同時受到資源競爭、協調成本、驗證成本、狀態遺失與任務不適配的耗散。

本文保留一條極簡主公式:

I=ηCD,I=\frac{\eta C}{D},

其中 (I) 為有效智能成果,(C) 為實際分配的計算,η\eta 為計算轉化為智能成果的總效率,(D) 為競爭與耗散。這條式子不是完整模型,而是總綱。其背後可展開為動態分配方程、推理時計算方程、驗證方程、狀態連續方程與累積研究能力方程。

本文進一步提出:可見 Token 與實際計算已發生結構性解耦;「降智」與模型世代能力上升可以同時成立;單次請求能力與長程累積能力必須分開測量;高階 AI 的主要躍遷,不只來自更多算力,也來自更高的計算轉化效率與更低的狀態耗散。本文最後給出可測量指標、可否證命題與實驗設計,將此框架從修辭性描述推進為可逐步驗證的計算科學研究綱領。

關鍵詞: 智能算力、推理時計算、動態算力分配、Token 解耦、計算密度、狀態連續性、驗證成本、累積智能、AI 基礎設施


一、問題:為什麼「模型能力」不再是單一量?

早期對人工智慧能力的描述,往往依賴幾個容易觀察的尺度:

  1. 模型參數量;
  2. 訓練資料量;
  3. 訓練所需 FLOPs;
  4. 上下文長度;
  5. 輸入與輸出 Token 數;
  6. 單次推理延遲;
  7. 基準測試分數。

這些尺度仍然有用,但已不足以描述現代 AI 系統。

原因在於,使用者看到的「一次回答」可能只是複雜計算程序的外層介面。系統內部可能包含:

  • 多階段推理;
  • 隱藏推理 Token;
  • 多候選生成;
  • 搜尋與回溯;
  • 程式執行;
  • 外部工具呼叫;
  • 記憶檢索;
  • 長上下文壓縮;
  • 交叉驗證;
  • 錯誤修正;
  • 多模型路由;
  • 專家子網路選擇;
  • 結果重排與安全檢查。

因此,兩個表面上同樣輸出一千個 Token 的請求,背後的物理計算量、有效推理量與可累積成果可能相差數十倍、數百倍,甚至更多。

這導致三個基本問題:

問題一:Token 還能否代表計算量?

不能。Token 是符號輸入輸出的計量單位,不是穩定的物理計算單位。

問題二:模型名義能力是否等於使用者實得能力?

不等於。使用者實得能力還受到服務負載、帳戶優先級、延遲要求、成本限制、任務判定與動態路由影響。

問題三:更多算力是否必然產生更多智能?

不必然。若模型架構、推理策略、工具協調或驗證機制效率低落,新增算力可能被浪費在重複、錯誤或無法累積的計算上。

因此,需要一個同時描述「供給、分配、轉化、耗散與累積」的統一框架。


二、核心命題

本文的核心命題是:

人工智慧的有效能力,不等於模型本身的名義能力,也不等於物理算力本身;它是物理計算資源經由動態分配與多階段轉化後,扣除競爭、協調、驗證與狀態耗散所形成的可用智能成果。

這個命題可以壓縮為:

I=ηCD\boxed{ I=\frac{\eta C}{D} }

其中:

  • (I):有效智能成果;
  • (C):實際分配到特定任務的計算資源;
  • η\eta:計算轉化為有效智能成果的總效率;
  • (D):競爭、協調、驗證與狀態耗散的合成項。

這條式子是零階主式。它的作用不是直接預測每一次請求,而是確立三個不可省略的基本量:

  1. 沒有計算供給,就沒有智能輸出;
  2. 有計算供給,不代表能有效轉化;
  3. 有效轉化仍會受到多種耗散。

三、零階、第一階與第二階模型

3.1 零階主式

I=ηCDI=\frac{\eta C}{D}

零階模型適合表達宏觀方向:

  • (C) 上升,其他條件不變時,(I) 傾向上升;
  • η\eta 上升,單位算力產生的有效成果增加;
  • (D) 上升,使用者實得能力下降。

但零階模型不說明各項如何形成。


3.2 第一階展開

對任務 (x)、使用者 (u)、時間 (t),定義:

Iinst(x,u,t)=Calloc(x,u,t)ηeff(x,t)αtask(x,t)Deff(x,u,t)\boxed{ I_{\mathrm{inst}}(x,u,t) = \frac{ C_{\mathrm{alloc}}(x,u,t)\, \eta_{\mathrm{eff}}(x,t)\, \alpha_{\mathrm{task}}(x,t) }{ D_{\mathrm{eff}}(x,u,t) } }

其中:

  • IinstI_{\mathrm{inst}}:單次請求的瞬時有效智能;
  • CallocC_{\mathrm{alloc}}:該請求實際取得的計算;
  • ηeff\eta_{\mathrm{eff}}:計算轉化效率;
  • αtask\alpha_{\mathrm{task}}:模型與任務的適配係數;
  • DeffD_{\mathrm{eff}}:總耗散。

這裡加入 αtask\alpha_{\mathrm{task}},是因為同一模型在不同任務上的能力差異可能很大。模型對某種符號推理、程式、視覺、長程規劃或專業領域的適配程度,不能全部塞入一般效率項而不加區分。


3.3 第二階展開

計算分配項

Calloc=Cbase+Creason+Cbranch+Ctool+Cverify+Cmemory+CorchestrateC_{\mathrm{alloc}} = C_{\mathrm{base}} + C_{\mathrm{reason}} + C_{\mathrm{branch}} + C_{\mathrm{tool}} + C_{\mathrm{verify}} + C_{\mathrm{memory}} + C_{\mathrm{orchestrate}}

各項分別表示:

  • CbaseC_{\mathrm{base}}:基本模型前向計算;
  • CreasonC_{\mathrm{reason}}:隱藏推理與延長思考;
  • CbranchC_{\mathrm{branch}}:多候選、搜尋、回溯與分支;
  • CtoolC_{\mathrm{tool}}:程式、資料庫、搜尋、模擬等工具執行;
  • CverifyC_{\mathrm{verify}}:檢查、反證、證書與一致性驗證;
  • CmemoryC_{\mathrm{memory}}:記憶檢索、上下文重建與壓縮;
  • CorchestrateC_{\mathrm{orchestrate}}:跨模型、跨代理與跨工具編排。

轉化效率項

ηeff=Φη(A,M,R,O,V,S)\eta_{\mathrm{eff}} = \Phi_{\eta} \left( A,M,R,O,V,S \right)

其中:

  • (A):架構效率;
  • (M):訓練後模型品質;
  • (R):推理策略;
  • (O):工具與流程編排;
  • (V):驗證機制;
  • (S):狀態保存與重用能力。

ηeff\eta_{\mathrm{eff}} 不宜簡單視為幾個完全獨立因子的乘積,因為它們之間存在耦合。例如,更好的狀態保存會降低重複推理;更好的驗證器會改變分支搜尋策略;更好的工具編排會讓較小模型完成原本需要更大模型的工作。

耗散項

為避免分母量綱混亂,可以將各耗散項正規化為無量綱比例:

Deff=(1+δcontention)(1+δcoordination)(1+δverification)(1+δstate)(1+δlatency)D_{\mathrm{eff}} = \left(1+\delta_{\mathrm{contention}}\right) \left(1+\delta_{\mathrm{coordination}}\right) \left(1+\delta_{\mathrm{verification}}\right) \left(1+\delta_{\mathrm{state}}\right) \left(1+\delta_{\mathrm{latency}}\right)

其中:

  • δcontention\delta_{\mathrm{contention}}:併發使用者與資源競爭;
  • δcoordination\delta_{\mathrm{coordination}}:多代理、多工具協調成本;
  • δverification\delta_{\mathrm{verification}}:證明與高可靠度驗證成本;
  • δstate\delta_{\mathrm{state}}:遺忘、上下文斷裂與不一致;
  • δlatency\delta_{\mathrm{latency}}:延遲限制導致的提早截斷與低預算推理。

四、物理算力與請求算力

4.1 物理供給不等於單次請求供給

設整個服務系統在時間 (t) 的物理計算容量為:

Cphysical(t)C_{\mathrm{physical}}(t)

對某個使用者與任務,實際分配量為:

Calloc(x,u,t)=a(x,u,t)Cphysical(t)C_{\mathrm{alloc}}(x,u,t) = a(x,u,t)\,C_{\mathrm{physical}}(t)

其中 (a(x,u,t)) 是動態分配比例。

此比例不只取決於使用者數量,也可能取決於:

a=π(qx,pu,t,bu,rx,τx)a = \pi \left( q_x,\, p_u,\, \ell_t,\, b_u,\, r_x,\, \tau_x \right)

其中:

  • qxq_x:系統估計的任務難度;
  • pup_u:服務優先級;
  • t\ell_t:當下負載;
  • bub_u:預算或配額;
  • rxr_x:任務風險與可靠度要求;
  • τx\tau_x:延遲容忍度。

這表示計算分配本身是一個政策函數,而不是自然平均。


4.2 算力稀釋仍然存在

當總供給近似固定、併發需求上升時,單一請求可取得的平均資源傾向下降:

CˉallocCphysicalNeffective\bar C_{\mathrm{alloc}} \propto \frac{C_{\mathrm{physical}}}{N_{\mathrm{effective}}}

NeffectiveN_{\mathrm{effective}} 不等於登入人數,而是經任務成本加權後的有效併發量:

Neffective=j=1NwjN_{\mathrm{effective}} = \sum_{j=1}^{N} w_j

一個需要長程推理、工具執行與多重驗證的請求,其權重 wjw_j 可能遠高於普通問答。


4.3 動態分配下的「降智」

假設新模型的最大能力為 InewmaxI_{\mathrm{new}}^{\max},動態降配比例為 (d),則:

Inewserved=dInewmax,0<d1.I_{\mathrm{new}}^{\mathrm{served}} = d\,I_{\mathrm{new}}^{\max}, \qquad 0<d\le 1.

即使 (d<1),仍可能有:

dInewmax>Ioldmax.d\,I_{\mathrm{new}}^{\max} > I_{\mathrm{old}}^{\max}.

因此以下兩件事可以同時成立:

  1. 使用者感覺某些時段或某些請求被降配;
  2. 降配後的新世代模型仍超過上一代模型。

這不是矛盾,而是「世代效率上升」與「服務分配波動」同時作用的結果。


五、可見 Token—實際計算解耦

5.1 Token 不是 FLOPs

令:

  • TinT_{\mathrm{in}}:輸入 Token;
  • TvisibleT_{\mathrm{visible}}:可見輸出 Token;
  • ThiddenT_{\mathrm{hidden}}:隱藏推理 Token;
  • (B):候選分支數;
  • (V):驗證輪數;
  • (E):工具執行量。

則單次請求計算可概念化為:

Calloc=f(Tin,Tvisible,Thidden,B,V,E,).C_{\mathrm{alloc}} = f \left( T_{\mathrm{in}}, T_{\mathrm{visible}}, T_{\mathrm{hidden}}, B,V,E,\ldots \right).

在現代系統中:

Tvisible∝̸Calloc.T_{\mathrm{visible}} \not\propto C_{\mathrm{alloc}}.

兩個可見輸出長度相同的回答,背後可能有完全不同的計算歷程。


5.2 計算密度

定義每個可見 Token 所承載的物理計算密度:

ρC=CallocTvisible.\rho_C = \frac{C_{\mathrm{alloc}}}{T_{\mathrm{visible}}}.

定義每個可見 Token 所承載的有效智能密度:

ρI=IinstTvisible.\rho_I = \frac{I_{\mathrm{inst}}}{T_{\mathrm{visible}}}.

模型世代提升可能同時提高:

ρC\rho_C \uparrow

以及:

IinstCalloc=ηeffαtask/Deff.\frac{I_{\mathrm{inst}}}{C_{\mathrm{alloc}}} = \eta_{\mathrm{eff}}\alpha_{\mathrm{task}}/D_{\mathrm{eff}} \uparrow.

因此:

ρI=ρCIinstCalloc\rho_I = \rho_C \cdot \frac{I_{\mathrm{inst}}}{C_{\mathrm{alloc}}}

可能出現乘積式增長。

這是為什麼表面輸出長度沒有巨大變化,但實際完成工作的範圍、精度與工程深度可能出現顯著躍升。


六、瞬時智能與累積智能

6.1 單次能力不是長程能力

一次回答表現很好,不代表系統能完成長程研究或工程。長程任務需要把上一輪成果保留下來,並在下一輪中正確重用。

定義狀態:

[ S_k ]

代表第 (k) 輪之後保留下來的:

  • 理論結構;
  • 程式;
  • 數據;
  • 證書;
  • 失敗紀錄;
  • 參數設定;
  • 未解問題;
  • 依賴關係。

狀態演化可寫成:

Sk+1=F(Sk,Ek,Vk,Fk,Rk),S_{k+1} = \mathcal F \left( S_k, E_k, V_k, F_k, R_k \right),

其中:

  • EkE_k:本輪探索;
  • VkV_k:本輪驗證;
  • FkF_k:失敗與反例;
  • RkR_k:回溯修正。

6.2 狀態連續係數

定義:

κstate[0,1]\kappa_{\mathrm{state}} \in [0,1]

表示前一輪有效成果有多少能被下一輪正確保留並利用。

  • κstate0\kappa_{\mathrm{state}}\approx 0:每輪幾乎重新開始;
  • κstate1\kappa_{\mathrm{state}}\approx 1:大部分成果可穩定累積。

長程累積智能可寫為:

Icum(n)=k=1n(j=k+1nκstate,j)Iinst,k+GreuseLinconsistency.I_{\mathrm{cum}}(n) = \sum_{k=1}^{n} \left( \prod_{j=k+1}^{n} \kappa_{\mathrm{state},j} \right) I_{\mathrm{inst},k} + G_{\mathrm{reuse}} - L_{\mathrm{inconsistency}}.

其中:

  • GreuseG_{\mathrm{reuse}}:工具、程式、證書和資料結構的重用增益;
  • LinconsistencyL_{\mathrm{inconsistency}}:跨輪矛盾、版本漂移與錯誤繼承造成的損失。

此式說明:長程能力不是瞬時能力的簡單加總,而是被狀態連續性加權的累積。


6.3 連續性的超線性效應

當狀態可以重用時,前一輪建立的工具可能降低後續多輪成本:

Ck+1required<CkrequiredC_{k+1}^{\mathrm{required}} < C_k^{\mathrm{required}}

或者在相同成本下提高產出:

[ I_{k+1}

I_k. ]

因此,狀態連續性不只防止遺忘,也可能帶來超線性增益:

Icum(n)>k=1nIisolated,k.I_{\mathrm{cum}}(n) > \sum_{k=1}^{n} I_{\mathrm{isolated},k}.

這是代理系統、長期記憶、版本控制與可重現工程對智能能力的根本價值。


七、驗證:成本、稅與增益

7.1 驗證不是免費的

對高可靠度任務,新增算力往往不直接用於產生新答案,而是用於:

  • 交叉檢查;
  • 反例搜尋;
  • 精確算術;
  • 單元測試;
  • 形式化證明;
  • 證書生成;
  • 獨立實作;
  • 錯誤界估計。

因此驗證會形成成本:

Cverify>0.C_{\mathrm{verify}}>0.

若只看輸出速度,驗證似乎降低效率;但若考慮錯誤率,它可能提高有效成果:

Iusable=Iraw(1ε),I_{\mathrm{usable}} = I_{\mathrm{raw}} \cdot (1-\varepsilon),

其中 ε\varepsilon 為錯誤或不可採信比例。


7.2 驗證稅與驗證增益

定義驗證稅:

τV=CverifyCalloc.\tau_V = \frac{C_{\mathrm{verify}}}{C_{\mathrm{alloc}}}.

定義驗證增益:

gV=IusableverifiedIusableunverified.g_V = \frac{ I_{\mathrm{usable}}^{\mathrm{verified}} }{ I_{\mathrm{usable}}^{\mathrm{unverified}} }.

在低風險任務中,過高的 τV\tau_V 可能不經濟;在數學、醫療、法律、安全與基礎科學中,即使驗證成本高,gVg_V 仍可能遠大於一。

因此不存在對所有任務通用的最佳驗證比例。最佳配置取決於錯誤成本:

τV=argmaxτV[Iusable(τV)λcostCverify(τV)].\tau_V^* = \arg\max_{\tau_V} \left[ I_{\mathrm{usable}}(\tau_V) - \lambda_{\mathrm{cost}}C_{\mathrm{verify}}(\tau_V) \right].

八、工具與編排

8.1 外部工具是計算的延伸

模型能力不應只測量其內部權重所完成的推理。現代 AI 系統可以調用:

  • 程式執行器;
  • 定理證明器;
  • 搜尋引擎;
  • 資料庫;
  • 模擬器;
  • 試算表;
  • 圖像與影片處理器;
  • 專用科學軟體;
  • 其他模型或代理。

因此整體能力是:

Isystem=Imodel+Itool+IorchestrationDcoordination.I_{\mathrm{system}} = I_{\mathrm{model}} + I_{\mathrm{tool}} + I_{\mathrm{orchestration}} - D_{\mathrm{coordination}}.

工具越多,不一定越強。若協調失敗、資料格式不一致、錯誤無法回傳,工具數量反而增加耗散。


8.2 編排閾值

定義工具與代理數量為 (m)。當 (m) 很小時,新增工具可能提高能力;但超過某個閾值後,協調成本可能快速上升:

Dcoordination(m)O(mγ),γ>1.D_{\mathrm{coordination}}(m) \sim O(m^\gamma), \qquad \gamma>1.

若編排效率隨系統進步,則可以把臨界閾值向外推:

mcritical,t+1>mcritical,t.m_{\mathrm{critical},\,t+1} > m_{\mathrm{critical},\,t}.

因此模型世代進步的一個重要表徵,不只是單模型推理更強,而是能穩定控制更多工具、更多狀態與更長依賴鏈。


九、非線性、閾值與飽和

9.1 更多計算不是永遠線性有效

對固定模型與任務,計算增加通常存在邊際遞減:

IC>0,2IC2<0\frac{\partial I}{\partial C}>0, \qquad \frac{\partial^2 I}{\partial C^2}<0

但某些任務可能存在門檻。當計算不足時,系統無法完成最小閉環;一旦越過門檻,能力突然上升:

I(C){Ilow,C<C,Ihigh,CC.I(C) \approx \begin{cases} I_{\mathrm{low}}, & C<C^*,\\ I_{\mathrm{high}}, & C\ge C^*. \end{cases}

例如,只有當系統有足夠預算同時完成探索、程式執行與驗證時,才能產生可靠成果。少一個環節,整體價值可能接近零。


9.2 架構提升會移動門檻

新模型可能以較少計算完成舊模型無法完成的閉環:

Cnew<Cold.C_{\mathrm{new}}^* < C_{\mathrm{old}}^*.

同時,新模型也可能獲得更高最大預算:

Cnewmax>Coldmax.C_{\mathrm{new}}^{\max} > C_{\mathrm{old}}^{\max}.

因此世代提升可能同時表現為:

  1. 更低的最低可行計算;
  2. 更高的最大可用計算;
  3. 更高的單位計算效率;
  4. 更強的狀態累積;
  5. 更低的工具協調損失。

這五者疊加時,能力可能呈現非線性躍升。


十、智能計算轉化與分配定律的正式陳述

定律一:計算供給約束

對任何可執行 AI 系統,若其他條件固定,有效智能成果受到實際可用計算資源上界約束:

IeffectiveηmaxCalloc.I_{\mathrm{effective}} \le \eta_{\max}C_{\mathrm{alloc}}.

沒有物理計算供給,就不存在無成本智能輸出。


定律二:轉化效率非恆定

同一物理計算量在不同模型、不同推理策略、不同工具配置與不同任務上,可轉化為不同的有效智能成果:

ηeff=ηeff(A,M,R,O,V,S,x).\eta_{\mathrm{eff}} = \eta_{\mathrm{eff}}(A,M,R,O,V,S,x).

因此 FLOPs 不能單獨決定智能能力。


定律三:分配非中性

單一使用者與單一請求取得的計算資源,是由負載、優先級、預算、風險、延遲與任務難度共同決定的動態量:

Calloc=π(x,u,t).C_{\mathrm{alloc}} = \pi(x,u,t).

因此模型名義能力不等於服務時實得能力。


定律四:可見 Token 解耦

可見 Token 數與實際計算量之間不存在跨模型、跨模式、跨任務穩定的線性比例:

Tvisible∝̸Calloc.T_{\mathrm{visible}} \not\propto C_{\mathrm{alloc}}.

Token 可作為文字長度尺度,但不能直接作為智能算力尺度。


定律五:狀態連續放大

當中間成果能被正確保存、驗證與重用時,多輪智能成果可超過孤立單輪成果的線性總和:

Icum>IisolatedI_{\mathrm{cum}} > \sum I_{\mathrm{isolated}}

在高 κstate\kappa_{\mathrm{state}} 條件下,智能系統會由回答器轉變為持續研究與工程系統。


定律六:耗散不可消失

任何複雜智能系統都存在競爭、驗證、協調、延遲與狀態耗散:

Deff1.D_{\mathrm{eff}}\ge 1.

提升能力不只依靠增加算力,也依靠降低耗散。


十一、可推導命題

命題一:降配與世代超越可以共存

若:

dηt+1Ct+1>ηtCt,d\eta_{t+1}C_{t+1} > \eta_tC_t,

則新世代模型即使被動態降配,仍可超過上一代完整狀態。


命題二:短輸出可以具有高計算密度

若隱藏推理、分支與驗證量增加,而可見輸出長度不變,則:

ρC=CallocTvisible.\rho_C = \frac{C_{\mathrm{alloc}}}{T_{\mathrm{visible}}} \uparrow.

因此答案短不代表計算少。


命題三:更多算力可能被低效率抵消

若:

η2D2<η1D1C1C2,\frac{\eta_2}{D_2} < \frac{\eta_1}{D_1} \cdot \frac{C_1}{C_2},

則即使 C2>C1C_2>C_1,系統二的有效智能仍可能較低。


命題四:驗證可能降低速度但提高有效產出

若驗證使錯誤率下降幅度大於其資源成本造成的產出下降,則:

Iusableverified>Iusableunverified.I_{\mathrm{usable}}^{\mathrm{verified}} > I_{\mathrm{usable}}^{\mathrm{unverified}}.

命題五:長程狀態是獨立能力維度

兩個模型即使瞬時能力相同,只要:

κstate,A>κstate,B,\kappa_{\mathrm{state},A} > \kappa_{\mathrm{state},B},

模型 A 在長程任務上的累積成果就可能顯著超過模型 B。


命題六:工具數量存在最佳區間

若工具收益為 (G(m)),協調成本為 (D(m)),則存在:

m=argmaxm[G(m)D(m)].m^* = \arg\max_m \left[G(m)-D(m)\right].

因此無限制增加代理與工具,不會自動增加有效智能。


十二、測量框架

要讓本理論成為可檢驗框架,需要把抽象量轉化為代理指標。

12.1 物理與服務層

可測量:

  • 單次請求延遲;
  • GPU/TPU 使用時間;
  • 峰值與平均記憶體;
  • 能源消耗;
  • 工具執行時間;
  • 併發負載;
  • 排隊時間;
  • 超時與截斷率。

12.2 推理層

可測量:

  • 隱藏推理長度;
  • 候選分支數;
  • 回溯次數;
  • 自我修正次數;
  • 工具呼叫數;
  • 驗證器執行數;
  • 搜尋深度;
  • 重複計算比例。

12.3 成果層

可測量:

  • 正確率;
  • 可重現率;
  • 測試通過率;
  • 證書完整度;
  • 錯誤發現率;
  • 新增可用程式量;
  • 新增可驗證命題量;
  • 對後續任務的重用率;
  • 人工修正時間。

12.4 狀態層

可測量:

  • 跨輪一致性;
  • 依賴關係保存率;
  • 已解問題重複發生率;
  • 版本衝突率;
  • 前輪成果調用成功率;
  • 錯誤回溯成功率;
  • 中間產物可讀性與可遷移性。

12.5 建議指標

有效計算密度

ρC=估計計算量可見輸出 Token\rho_C = \frac{\text{估計計算量}}{\text{可見輸出 Token}}

有效智能密度

ρI=可驗證成果量可見輸出 Token\rho_I = \frac{\text{可驗證成果量}}{\text{可見輸出 Token}}

單位計算產出率

ηemp=可驗證成果量估計計算量\eta_{\mathrm{emp}} = \frac{\text{可驗證成果量}}{\text{估計計算量}}

狀態保留率

κemp=下一輪成功重用的前輪成果前輪可重用成果總量\kappa_{\mathrm{emp}} = \frac{\text{下一輪成功重用的前輪成果}} {\text{前輪可重用成果總量}}

驗證報酬率

RV=因驗證避免的錯誤成本驗證計算成本R_V = \frac{\text{因驗證避免的錯誤成本}} {\text{驗證計算成本}}

十三、實驗設計

實驗一:同 Token、不同推理預算

固定:

  • 任務;
  • 輸入;
  • 可見輸出上限;
  • 模型。

只改變推理預算,測量:

  • 正確率;
  • 工具使用;
  • 驗證結果;
  • 延遲;
  • 可重現性。

若可見 Token 接近不變,但成果顯著改變,即支持 Token—計算解耦。


實驗二:同模型、不同負載

在不同服務負載或不同時段,重複執行同一批任務,測量:

  • 延遲;
  • 完成率;
  • 推理深度;
  • 工具調用;
  • 回答穩定性。

若系統實得能力隨負載顯著波動,即支持動態分配與算力稀釋。


實驗三:同算力、不同編排

固定總計算預算,比較:

  1. 單模型直接回答;
  2. 單模型加工具;
  3. 多代理協作;
  4. 多代理加獨立驗證。

觀察有效成果與協調成本,估計最佳工具/代理數量 mm^*


實驗四:狀態連續性

比較兩組:

  • A 組每輪保存程式、證書、失敗紀錄與依賴;
  • B 組每輪只保存自然語言摘要。

在長程任務中測量:

  • 重複工作量;
  • 錯誤繼承;
  • 推進速度;
  • 最終可驗證成果。

若 A 組出現顯著累積增益,即支持狀態連續放大定律。


實驗五:驗證配置曲線

逐步提高驗證預算比例 τV\tau_V,測量:

  • 初始產出速度;
  • 錯誤率;
  • 最終可採用成果;
  • 人工修正成本。

由此估計不同任務的最佳驗證比例。


十四、可否證條件

本理論不能只吸收所有現象而不允許被推翻。以下結果會削弱或否定本文的重要部分:

  1. 在控制模型、任務與輸出長度後,改變推理預算不影響成果品質;
  2. 不同服務負載下,實得能力完全不受分配影響;
  3. 可見 Token 與實際計算在跨模型、跨任務下保持穩定線性比例;
  4. 狀態保存與工程化中間產物對長程任務沒有可測增益;
  5. 增加驗證只增加成本,從不提高可用成果;
  6. 工具與多代理編排的能力完全可由單模型內部能力解釋;
  7. 單位計算效率在模型世代間沒有系統性變化。

若未來實驗反覆得到這些結果,本文框架就必須大幅修正。


十五、與傳統算力尺度的關係

本文不否定 FLOPs、參數量、Token 數或基準測試,而是重新安排它們的位置。

  • FLOPs 描述物理計算;
  • 參數量描述模型容量的一部分;
  • Token 描述符號介面長度;
  • 基準測試描述特定任務的外部表現;
  • 本定律描述這些要素如何經由分配與轉化形成使用者實得的智能成果。

因此:

FLOPsIntelligence,\text{FLOPs} \neq \text{Intelligence},

但:

Intelligence⊥̸FLOPs.\text{Intelligence} \not\perp \text{FLOPs}.

智能不是算力的同義詞,卻不能脫離算力而存在。真正需要研究的是兩者之間的轉化函數。


十六、經濟與治理含義

16.1 名義模型相同,不代表服務相同

同一模型名稱可能對應不同:

  • 推理預算;
  • 服務優先級;
  • 工具權限;
  • 記憶深度;
  • 驗證配置;
  • 延遲上限;
  • 併發資源。

因此 AI 服務透明度不能只公布模型名稱,也應逐步公布可理解的服務級別與計算配置。


16.2 Token 定價可能失真

若:

Tvisible∝̸Calloc,T_{\mathrm{visible}} \not\propto C_{\mathrm{alloc}},

則單純按可見 Token 計價,無法精確反映後端成本。未來定價可能轉向:

  • 推理強度;
  • 工具執行量;
  • 驗證級別;
  • 記憶保存量;
  • 延遲優先級;
  • 可重現性要求;
  • 任務風險等級。

16.3 智能資源分配會成為治理問題

當高強度智能請求需要大量能源與計算時,系統必須決定:

  • 哪些任務獲得更多推理預算;
  • 哪些使用者享有較高優先級;
  • 高風險任務是否強制驗證;
  • 公共研究是否應獲得基礎算力保障;
  • 如何避免智能資源過度集中。

這表示智能算力不只是工程資源,也是新的公共資源與權力結構。


十七、適用範圍與限制

本理論目前是一個跨層級框架,而不是已完成參數估計的自然定律。其主要限制包括:

  1. 許多商業模型不公開內部推理與實際算力;
  2. 「有效智能成果」需要依任務定義,難以使用單一尺度;
  3. 不同硬體的 FLOPs 不一定具有相同實際效用;
  4. 工具與模型能力容易互相混淆;
  5. 長程成果存在品質與數量不可直接等價的問題;
  6. 狀態連續性可能同時保存錯誤;
  7. 驗證器本身也可能錯誤;
  8. 人類參與程度會影響成果歸因;
  9. 不同服務平台的動態分配政策通常不可見。

因此,本文主張建立測量框架,而不是假裝目前已能精確反推出所有隱藏計算。


十八、研究綱領

後續可分為六個方向:

18.1 計算密度測量

研究如何由延遲、工具執行、能耗、硬體利用率與結果結構,估計單次請求的實際計算密度。

18.2 智能轉化效率

建立不同模型、不同任務下的:

ηeff\eta_{\mathrm{eff}}

經驗估計方法。

18.3 狀態連續動力學

研究記憶、版本控制、中間產物與錯誤回溯如何影響:

κstate.\kappa_{\mathrm{state}}.

18.4 驗證經濟學

研究不同風險任務的最佳驗證預算與錯誤成本。

18.5 動態分配公平性

研究 AI 服務的資源分配是否可被稽核、比較與治理。

18.6 能源—計算—智能閉環

將本定律與能源供給、資料中心、電網、硬體製造及 AI 自動化基礎設施連接,形成更完整的智能物理代謝模型。


十九、結論

智能計算不能再被理解為「模型收到 Token,再輸出 Token」的單純映射。

更接近現實的描述是:

物理供給動態分配模型推理工具與搜尋驗證狀態保存可累積智能成果.\text{物理供給} \rightarrow \text{動態分配} \rightarrow \text{模型推理} \rightarrow \text{工具與搜尋} \rightarrow \text{驗證} \rightarrow \text{狀態保存} \rightarrow \text{可累積智能成果}.

本文提出的零階主式:

I=ηCD\boxed{ I=\frac{\eta C}{D} }

應被理解為總綱,而不是終點。

其完整含義是:

有效智能成果等於實際分配的物理與外部計算,經由模型架構、推理、工具、驗證與狀態連續性轉化後,再扣除資源競爭、協調、延遲與狀態耗散所得的結果。

這個框架同時解釋了:

  • 為何同樣 Token 可能承載不同計算量;
  • 為何降配與世代能力上升可以並存;
  • 為何更多算力不必然帶來更多成果;
  • 為何驗證會變慢卻提高可用性;
  • 為何長程狀態保存會造成能力躍遷;
  • 為何現代 AI 正從回答器轉變為動態研究與工程系統。

真正值得測量的,不再只是模型有多少參數或輸出了多少字,而是:

每一單位物理計算,最終被轉化成多少可驗證、可重用、可累積的智能成果。\boxed{ \text{每一單位物理計算,最終被轉化成多少可驗證、可重用、可累積的智能成果。} }

這正是「智能計算轉化與分配定律」所要描述的核心對象。


附錄 A:符號表

符號 含義
(I) 有效智能成果
IinstI_{\mathrm{inst}} 瞬時有效智能
IcumI_{\mathrm{cum}} 累積智能成果
CphysicalC_{\mathrm{physical}} 系統物理計算供給
CallocC_{\mathrm{alloc}} 單次請求實際分配計算
ηeff\eta_{\mathrm{eff}} 計算轉化效率
αtask\alpha_{\mathrm{task}} 任務適配係數
DeffD_{\mathrm{eff}} 合成耗散
ρC\rho_C 每可見 Token 的計算密度
ρI\rho_I 每可見 Token 的智能密度
κstate\kappa_{\mathrm{state}} 狀態連續係數
τV\tau_V 驗證預算比例
mm^* 最佳工具/代理數量
SkS_k 第 (k) 輪累積狀態

附錄 B:最小公式組

總綱

I=ηCDI=\frac{\eta C}{D}

瞬時智能

Iinst=CallocηeffαtaskDeffI_{\mathrm{inst}} = \frac{ C_{\mathrm{alloc}} \eta_{\mathrm{eff}} \alpha_{\mathrm{task}} }{ D_{\mathrm{eff}} }

計算分配

Calloc=Cbase+Creason+Cbranch+Ctool+Cverify+Cmemory+CorchestrateC_{\mathrm{alloc}} = C_{\mathrm{base}} + C_{\mathrm{reason}} + C_{\mathrm{branch}} + C_{\mathrm{tool}} + C_{\mathrm{verify}} + C_{\mathrm{memory}} + C_{\mathrm{orchestrate}}

Token 解耦

Tvisible∝̸CallocT_{\mathrm{visible}} \not\propto C_{\mathrm{alloc}}

計算密度

ρC=CallocTvisible\rho_C = \frac{C_{\mathrm{alloc}}}{T_{\mathrm{visible}}}

狀態演化

Sk+1=F(Sk,Ek,Vk,Fk,Rk)S_{k+1} = \mathcal F(S_k,E_k,V_k,F_k,R_k)

累積智能

Icum(n)=k=1n(j=k+1nκstate,j)Iinst,k+GreuseLinconsistencyI_{\mathrm{cum}}(n) = \sum_{k=1}^{n} \left( \prod_{j=k+1}^{n} \kappa_{\mathrm{state},j} \right) I_{\mathrm{inst},k} + G_{\mathrm{reuse}} - L_{\mathrm{inconsistency}}

版本結語:
v0.1 建立總綱、基本方程、六條定律、可推導命題、測量框架與可否證條件。後續版本可進一步加入量綱分析、經驗資料、模擬模型、服務負載實驗與跨模型比較。