能力編譯:從人類極端案例到可執行 AI 算子族
Capability Compilation: From Extreme Human Cases to Executable AI Operator Families
系列:極端能力生成、變量影響域與 AI 能力編譯,第 3 篇/共 3 篇
系列英文名:Extreme Capability Generation, Variable Influence Domains, and AI Capability Compilation
系列代碼:ECGC
文件編號:EML-ECGC-2026-03-v0.1
作者:Neo.K with Aletheia(GPT-5.6 Sol)
機構:EveMissLab/一言諾科技有限公司
版本:v0.1
日期:2026-09-12
性質:Capability Compilation/Agent Architecture/Operator Engineering/Experimental AI/Capability Transfer
狀態:Public Theory Draft
直接前置:ECGC-01《天才不是變量》;ECGC-02《有限生成基與無界能力空間》;HGCB Series;《無界策:源點》
系列狀態:ECGC Series Complete
後續接口:Agent Game/Player-Equivalent Interface/Controlled World-Model Laboratory 系列
摘要
如果極端能力可以被拆成能力變量、影響域、生成基與算子結構,那麼最重要的下一步不是再寫一篇人物分析,而是把這些結構轉成 AI Agent 可以真正執行、消融、比較與重組的形式。本文提出「能力編譯」(Capability Compilation)概念:將人類歷史案例、專家行為、AI 高品質軌跡與跨領域能力現象,從敘事層逆向工程為可執行能力算子,再將算子編譯到 Agent 的觀察、表徵、策略生成、判斷、世界模型、規劃、學習、協調與超博弈模組中。
本文將能力編譯器表示為:
其中 為能力證據, 為候選變量, 為交互結構, 為生成算子, 為目標任務族,而 為可載入 Agent 的執行結構。
本文特別區分「模仿人物」與「編譯能力」:
前者試圖讓 AI 看起來像某人;後者則試圖辨識什麼機制讓某類高尾端表現得以出現,再將機制抽象化、去人物化、可測化與可組合化。人物名稱應在編譯後逐步消失,只保留可以被驗證的能力結構。
本文建立七層能力編譯管線:Evidence Extraction、Variable Decomposition、Mechanism Inference、Operator Formalization、Runtime Binding、Experimental Evaluation、Recompilation。並提出 Capability IR(能力中介表示)、Operator Contract、Capability Package、Ablation Matrix、Cross-Domain Transfer Test 與 Capability Provenance 等工程概念。
本文最終主張:人類歷史與專家案例不應只被 AI 當作知識文本,而可以被當成「能力化石」來逆向工程;真正高階的 AI 能力研究,應從「模型知道某位天才是誰」推進到「模型能否抽出、編譯、測試並超越支撐該能力的生成機制」。
關鍵詞
能力編譯;AI Agent;算子族;極端能力;能力中介表示;能力包;消融實驗;世界模型;能力遷移;人工能力設計
1. 從「知道天才」到「編譯能力」
人類文明留下大量關於:
- 軍事家;
- 數學家;
- 科學家;
- 工程師;
- 藝術家;
- 企業家;
- 組織;
- 團隊;
的歷史資料。
AI 可以回答:
某個人做過什麼?
甚至可以回答:
為什麼他被認為很厲害?
但這仍然主要是:
本文研究更強的問題:
也就是:
能不能把「他為什麼能做到」抽成 AI 可用的能力結構?
2. Persona Imitation 不是 Capability Compilation
假設要研究某位極端案例:
最容易做的是 Prompt:
你現在扮演 ,用他的思考方式回答。
這是:
它可能產生文風、語氣、知識背景與角色一致性。
但不代表:
真的被重建。
因此:
能力編譯追求的是:
不是:
3. 人物最終應該從能力模型中消失
如果能力模型完成後仍然必須寫:
那代表抽象化仍然不足。
理想狀態是:
然後:
被重命名為其功能。
例如:
人物只保留在:
而不保留在 runtime 本體中。
4. 能力證據層
定義能力證據集合:
證據可能包括:
- 歷史決策紀錄;
- 作品;
- 對局;
- 失敗案例;
- 專家訪談;
- 實驗;
- 行為軌跡;
- AI reasoning trace 的可公開結構摘要;
- 任務表現;
- 多次重複結果。
能力編譯的第一步不是直接抽象。
而是:
5. 證據必須包含成功與失敗
只研究:
會產生 survivor bias。
因此:
如果某個候選機制只在成功案例中被敘事提到,但在失敗時也大量存在,則:
可能沒有想像中高。
因此能力編譯不是英雄敘事。
它需要:
6. 第一層:Evidence Extraction
能力編譯第一層:
目標是從敘事中抽出:
- 狀態;
- 可見資訊;
- 行動;
- 時間;
- 資源;
- 對手;
- 替代方案;
- 結果;
- 後續修正;
- 不確定性。
所以一段:
他果斷抓住時機。
應被展開成:
只有如此才能後續比較。
7. 第二層:Variable Decomposition
接著:
利用 ECGC-01 的候選變量:
但不要求每個案例都使用全部變量。
應得到:
並標記:
- evidence strength;
- confounders;
- alternative explanations;
- transfer confidence。
8. 第三層:Mechanism Inference
變量存在不代表知道機制。
例如:
高。
仍需知道:
它如何產生高品質候選?
所以建立:
例如:
或者:
或:
因此:
9. 第四層:Operator Formalization
當機制足夠穩定,將其抽成算子:
算子不是人格敘事。
它需要最少包含:
10. Operator Contract
本文提出:
每個能力算子應定義:
Input
它需要哪些輸入?
Preconditions
什麼條件下可啟動?
Internal State
是否需要記憶?
Transform
它做什麼轉換?
Output
輸出什麼?
Cost
token、時間、算力、工具成本。
Risks
可能造成什麼錯誤?
Metrics
如何知道它有效?
因此:
才能真正被 Agent runtime 調用。
11. 一個簡單的策略生成算子
例如:
Input:
Output:
但 contract 還需要:
其中:
是候選預算。
再要求:
對至少部分候選成立。
這樣才不是「請多想幾個」。
12. 世界模型算子
可包含:
- entity state;
- uncertainty;
- causal relation;
- opponent estimate;
- missing information;
- confidence。
再由:
產生:
這樣世界模型能力才能被獨立消融。
13. 超博弈審查算子
從 HGCB 直接轉入:
它檢查:
- 玩家漏列;
- 行動漏列;
- 規則可變;
- 效用錯置;
- 時間尺度錯置;
- 耦合遊戲;
- 觀察者盲區。
但要有啟動條件。
例如:
或:
否則每一步都做超博弈審查會過度昂貴。
14. 第五層:Capability IR
不同 Agent 架構不應直接綁死在某個模型 API。
因此本文提出:
簡稱:
它是一個模型無關層。
例如:
capability_ir:
capability_id: strategic_option_generation
version: 0.1
variables:
generation: high
judgment: required
world_model: required
operator:
input:
- current_state
- uncertainty_map
- task_goal
output:
- candidate_actions
constraints:
candidate_budget: 8
must_include_nondefault: true
evaluation:
- novelty
- feasibility
- downstream_value
Capability IR 再由不同 runtime 編譯。
15. Capability IR 的目的
它讓:
不等於:
而是成為:
這樣同一能力可以被編譯到:
- LLM Agent;
- RL Agent;
- hybrid symbolic Agent;
- multi-agent system;
- game bot;
- simulation Agent。
16. 第六層:Runtime Binding
Capability IR 需要綁定具體 runtime。
定義:
例如對 LLM Agent:
對 RL Agent:
對 hybrid Agent:
因此:
17. Capability Package
多個算子可以組成:
記為:
例如「高階策略包」可能包含:
但:
不是越大越好。
需要考慮:
18. 編譯目標不能是「最大能力」
能力編譯應明確指定:
即目標任務族。
因為:
未必適合:
所以:
能力編譯是有成本約束的工程。
19. 第七層:Experimental Evaluation
算子寫出來不代表能力成立。
必須:
至少比較:
baseline,
以及:
20. Ablation Matrix
本文提出:
若能力包:
測:
再逐一移除:
定義貢獻:
再測交互:
這能逐步辨識真正支撐能力的算子。
21. 不應只看勝率或總分
若:
只有一個 benchmark score,
很容易錯過能力結構。
應建立:
例如:
- solution quality;
- novelty;
- robustness;
- adaptation;
- calibration;
- latency;
- resource cost;
- transfer;
- strategy diversity;
- error recovery。
因此:
22. Cross-Domain Transfer Test
若某算子只在一個環境有用:
可能只是 heuristic。
真正一般能力需要:
在:
保留部分增益。
定義:
再檢查 variance。
如果:
極高,
則它可能高度域特化。
23. Capability Provenance
任何能力包都應知道:
它為什麼存在?
因此需要:
記錄:
- 原始案例;
- 抽取證據;
- 變量假說;
- 形式化版本;
- 實驗版本;
- 成功環境;
- 失敗環境;
- 已知限制。
這避免「某個很酷的 Prompt」變成不可追溯傳統。
24. 人類能力只是第一代資料源
Capability Compilation 的資料不必只來自人類。
可以是:
其中:
- :人類;
- :AI Agent;
- :人類/AI 團隊;
- :模擬生成能力樣本。
因此未來能力編譯可能逐漸:
25. 從能力考古到能力設計
初期是:
也就是逆向既有極端案例。
後期則是:
把來自不同案例的變量與算子重組:
這個能力包可能歷史上從未存在。
26. 人工能力拓撲
假設:
來自高策略生成案例。
來自高數學抽象案例。
來自高工程執行案例。
則:
如果三者可兼容,
則可測:
也就是歷史上沒有自然出現過的能力配置。
27. 不是所有能力都可直接相加
若:
需要高探索,
但:
需要嚴格剪枝,
可能互相衝突。
因此 Capability Package 需要:
即算子關係圖。
可能有:
- requires;
- conflicts;
- amplifies;
- substitutes;
- gates;
- supervises。
所以:
本質上是圖,不是 list。
28. Operator Scheduler
多個算子存在時,需要:
它決定:
何時啟動。
例如:
只在:
時開。
只在:
時開。
這可以避免:
29. 能力不只是模型權重
一個 AI 的能力可以存在於:
因此 Capability Compilation 不要求所有能力都重新訓練進權重。
有些能力可以透過:
- prompt/runtime policy;
- external memory;
- search;
- tool;
- evaluator;
- orchestration;
實現。
這使實驗成本大幅下降。
30. 能力編譯與訓練的關係
能力編譯不是取代訓練。
而是可以產生:
例如先用 runtime operator 實現:
如果它跨環境穩定有效,
再蒸餾:
進模型權重。
因此:
這是一條低風險路徑。
31. 能力編譯與世界模型
如果世界模型:
也是可編譯能力,
那麼可以測不同:
例如:
- state-only;
- causal;
- opponent-aware;
- multi-scale;
- game-space-aware。
然後比較:
這使「世界模型好不好」不再只是抽象辯論。
32. 能力編譯與遊戲本體論
遊戲環境特別適合 Capability Compilation。
因為遊戲可提供:
以及 replay。
如果再限制 AI 只能取得玩家等價資訊,
就能測:
這會是下一系列的直接入口。
33. 世界模型遊戲實驗
例如固定 Agent interface:
建立:
baseline,
然後在:
測:
這就能把 ECGC 從理論轉成可重複實驗。
34. 能力包的版本化
每個:
應有版本:
因為能力模型可能錯。
所以必須支援:
如果:
在某類任務退化,
可回到:
這與軟體工程非常相似。
35. 能力包不應被神格化
一旦某能力包成功,很容易形成:
這就是最強方法。
但 ECGC-02 已指出:
因此每個能力包應保存:
也就是允許:
但兩者都能達到:
36. 能力過擬合
若能力包在:
極強,
但:
崩潰,
則:
可能只是:
因此能力編譯必須測:
- unseen map;
- unseen opponent;
- unseen rules;
- unseen domain;
- perturbed interface。
37. 對抗測試
能力包也應被對抗測試。
例如:
是否容易被:
欺騙?
是否容易被故意製造的假新奇:
拖垮?
是否在高變動環境過度承諾?
因此:
38. 安全與權限邊界
能力編譯若直接連到真實高風險環境,可能產生不必要風險。
因此實驗順序應優先:
而且能力包應標記:
高風險操作需要:
- tool permission;
- rate limit;
- human approval;
- logging;
- rollback。
39. 能力編譯不是人格工程
這點必須再次強調。
如果能力包來自某個人:
不代表要複製:
- 性格;
- 政治立場;
- 身份;
- 情緒;
- 道德;
- 社會背景。
真正應抽取的是:
因此能力編譯必須進行:
40. 能力編譯不是成功學
成功學常問:
成功者都做什麼?
Capability Compilation 問:
兩者不同。
如果一個「成功特質」無法:
- 定義;
- 干預;
- 測試;
- 消融;
- 遷移;
它不能直接進入正式能力包。
41. 能力編譯器
本文正式定義:
為能力編譯器。
其輸入:
輸出:
形式上:
42. 能力編譯的完整管線
本文提出七層:
更完整循環:
這使能力研究成為迭代工程。
43. 自動能力編譯
一旦上述流程成熟,
AI 可以自己執行:
也就是:
- 讀取能力案例;
- 提出變量;
- 生成算子;
- 建立 capability package;
- 在模擬環境測;
- 做 ablation;
- 保留有效部分;
- 重新編譯。
因此:
44. 能力搜尋空間
若已有算子庫:
AI 可以搜索:
目標:
但還可允許:
生成。
因此:
這就進入真正的人工能力設計。
45. 能力超越
「超越歷史案例」不應定義為:
而是:
即新能力包具有更大的可達能力域。
可能包括:
- 更廣 domain transfer;
- 更低成本;
- 更快適應;
- 更穩定;
- 更高 novelty;
- 更少失誤。
46. Synthetic Exemplar
一旦新能力包:
在大量任務穩定有效,
它本身可以成為下一代:
也就是不再需要歷史人物作為源點。
下一輪:
這形成:
47. 能力演化的停止條件
即使可以不斷搜尋,也需要停止。
例如:
持續:
輪,
且:
則暫停該分支。
但:
這延續 ECGC-02。
48. 能力工程的最小倫理原則
即使本文主要是技術框架,仍需最低約束:
能力可以:
- 被研究;
- 被模擬;
- 被測試;
不代表應直接進入所有真實環境。
因此能力包需要:
49. 十二個核心命題
命題一:模仿非編譯
命題二:人物去本體化
而非 runtime 核心。
命題三:能力需要中介表示
命題四:算子契約命題
命題五:能力包圖結構命題
命題六:能力必須可消融
命題七:跨域遷移命題
命題八:能力可存在於 runtime
命題九:先 runtime 後蒸餾
命題十:能力包可人工重組
命題十一:能力來源可超越人類
命題十二:能力編譯閉環
50. ECGC 系列統一
ECGC-01:
要拆:
與:
ECGC-02:
要找:
與:
ECGC-03:
因此整個系列形成:
51. 結論
人類歷史中大量極端案例,對 AI 的價值不應只停留在:
AI 知道這些人的故事。
更高階用途是:
即把極端表現視為能力化石。
接著:
將其中可驗證的生成機制抽成:
- 變量;
- 關係;
- 算子;
- 中介表示;
- capability package;
- 實驗。
最後進入:
由 AI 重組歷史上從未共同存在過的能力結構。
因此:
只是第一代資料。
真正的長期方向是:
本文最終可濃縮為:
不要讓 AI 只知道天才做過什麼;讓 AI 把支撐極端能力的結構抽出來、跑起來、拆掉重測,再組成新的能力。
或者形式化為:
至此,ECGC 系列完成。
參考文獻
Anderson, J. R. (1983). The Architecture of Cognition. Harvard University Press.
Newell, A. (1990). Unified Theories of Cognition. Harvard University Press.
Newell, A., & Simon, H. A. (1972). Human Problem Solving. Prentice-Hall.
Sutton, R. S., & Barto, A. G. (2018). Reinforcement Learning: An Introduction (2nd ed.). MIT Press.
Lake, B. M., Ullman, T. D., Tenenbaum, J. B., & Gershman, S. J. (2017). Building Machines That Learn and Think Like People. Behavioral and Brain Sciences, 40, e253.
Stanley, K. O., & Lehman, J. (2015). Why Greatness Cannot Be Planned. Springer.
Taylor, T., et al. (2016). Open-Ended Evolution: Perspectives from the OEE Workshop in York. Artificial Life, 22(3), 408-423.
Lehman, J., Clune, J., Misevic, D., Adami, C., Beaulieu, J., Bentley, P. J., Bernard, S., Beslon, G., Bryson, D. M., Cheney, N., Cully, A., Doncieux, S., Dyer, F. C., Ellefsen, K. O., Feldt, R., Fischer, S., Forrest, S., Frénoy, A., Gagné, C., Le Goff, L., Grabowski, L. M., Hodjat, B., Hutter, F., Keller, L., Knibbe, C., Krcah, P., Lenski, R. E., Lipson, H., MacCurdy, R., Maestre, C., Miikkulainen, R., Mitri, S., Moriarty, D. E., Mouret, J.-B., Nguyen, A., Ofria, C., Parizeau, M., Parsons, D., Pennock, R. T., Punch, W. F., Ray, T. S., Schoenauer, M., Shulte, E., Sims, K., Stanley, K. O., Taddei, F., Tarapore, D., Thibault, S., Weimer, W., Watson, R., & Yosinski, J. (2020). The Surprising Creativity of Digital Evolution. Artificial Life, 26(2), 274-306.
Neo.K with Aletheia. (2026). 天才不是變量:從高尾端表現到能力生成變量與影響域. ECGC Paper 01, EveMissLab.
Neo.K with Aletheia. (2026). 有限生成基與無界能力空間:從約束無限遊戲到能力生成論. ECGC Paper 02, EveMissLab.
Neo.K with Aletheia. (2026). HGCB Series: Hypergame, Cognitive Base Space, and Multi-Agent Incompleteness. EveMissLab.
Neo.K. (2026). 《無界策:源點》. EveMissLab working manuscript.
附錄 A:Capability IR 最小規格
capability_ir:
id:
version:
target_task_family:
evidence:
source_types:
provenance:
variables:
required:
optional:
bottlenecks:
operators:
- id:
input:
preconditions:
internal_state:
transform:
output:
constraints:
cost:
metrics:
risks:
operator_graph:
requires:
conflicts:
amplifies:
substitutes:
gates:
runtime_binding:
prompt:
memory:
tools:
planner:
evaluator:
scheduler:
evaluation:
baseline:
ablations:
transfer_domains:
robustness_tests:
failure_surfaces:
deployment:
scope:
permission_class:
rollback:
附錄 B:能力編譯器最小流程
capability_compiler:
ingest:
- collect evidence
- normalize episodes
- include failures
decompose:
- candidate variables
- influence domains
- confounders
infer:
- mechanism graph
- alternative explanations
- confidence
formalize:
- operator contracts
- capability IR
bind:
- target runtime
- memory
- tools
- scheduler
test:
- baseline
- ablation
- transfer
- adversarial
- cost
recompile:
- keep
- remove
- mutate
- compose
附錄 C:一句話版本
能力編譯不是讓 AI 模仿某個天才,而是把支撐極端能力的生成機制抽成可執行算子,讓 AI 能載入、消融、測試、重組,最後生成歷史上從未存在過的能力配置。