問題生成之後:框架生成、元問題與認知前沿再生
系列: 最後人類認知前沿(Last Human Cognitive Frontier, LHCF)篇次: 08 / 12作者: Neo.K研究協作: Aletheia(GPT-5.6 Thinking)版本: v0.1日期: 2026-08-02
摘要
當人工智慧逐步從答案生成進入假說生成、研究問題形成、世界模型建立與長時程自主研究後,「人類最後優勢在於提出問題」已不足以描述真正高階的認知前沿。因為問題並非直接從世界中自然浮現;任何問題都依賴某組變量、表示方式、因果假設、搜索空間、價值函數與驗證規則。真正更高階的能力,是在舊問題空間失效時,辨識「問題之所以難,可能不是答案難找,而是我們正在錯誤座標系裡提問」,並重新生成可被提出的問題集合。
本文提出 Meta-Problem and Frontier Regeneration Framework(MPFR,元問題與前沿再生框架) ,將框架表示為:
F = ( V , R , Ω , Q , V , E , Π ) , F=(\mathcal V,\mathcal R,\Omega,\mathcal Q,V,\mathcal E,\Pi), F = ( V , R , Ω , Q , V , E , Π ) ,
其中 V \mathcal V V 為基本變量, R \mathcal R R 為表示系統, Ω \Omega Ω 為搜索空間, Q \mathcal Q Q 為可生成問題集合, V V V 為價值函數, E \mathcal E E 為驗證/證據規則, Π \Pi Π 為搜索與推理程序。Frame Generation 不再定義為換術語或重述,而是對上述至少一個結構分量進行非平凡改寫,並使新框架在解釋、預測、壓縮、搜索效率、驗證能力或後續問題生成能力上取得可檢查增益。
本文進一步定義四類元問題:問題元問題、表示元問題、價值元問題與驗證元問題。它們分別追問:「為何要問這個問題?」「為何使用這組變量?」「為何這類問題被認為重要?」「為何這種證據被接受為判準?」。只有當智能體能針對這些元層級進行改寫,才進入真正的 Frame Generator。
2026 年的外部進展已開始觸碰這個領域。ARC-AGI-3 要求智能體在無指令環境中探索、推斷目標並建立世界模型;7 月的 Tycho 進一步把問題描述成 active abstraction:不只生成可測試模型,也必須決定何時值得建立、修正、使用或繞過模型。ACL 2026 的 EVA 則把「自主生成抽象」直接視為開放動態環境中 agent 缺失的核心能力。FirstResearch 開始要求 LLM 在研究執行之前,以可審核 certificate 明確給出 primitive definitions、assumptions、mechanism、tension、falsifier 與 failure-update rule。這些系統顯示,AI 已開始從固定問題求解向「生成自己的中介表示與研究問題」推進。
因此本文不把 Frame Generation 視為人類永久特權,而是提出可消失的測量假說。核心量包括框架位移 Δ F \Delta_F Δ F 、問題集位移 Δ Q \Delta_{\mathcal Q} Δ Q 、搜索空間轉換 X Ω X_\Omega X Ω 、價值函數位移 Δ V \Delta_V Δ V 、驗證制度位移 Δ E \Delta_E Δ E 、框架增益 G F G_F G F 、框架後問題增益 Y F Y_F Y F 與前沿再生係數 ρ R \rho_R ρ R 。當一個新框架只改變名稱而不改變可生成問題、可檢驗命題與搜索結構時,其 Δ F \Delta_F Δ F 應接近零。只有當新框架使原本不可問、不可測、不可見或不可有效搜索的結構成為可操作對象時,才構成真正前沿位移。
本文最終把「前沿再生」定義為:
F n → Q n → A n → M n → F n + 1 → Q n + 1 , F_n
\rightarrow
Q_n
\rightarrow
A_n
\rightarrow
M_n
\rightarrow
F_{n+1}
\rightarrow
\mathcal Q_{n+1}, F n → Q n → A n → M n → F n + 1 → Q n + 1 ,
其中 M n M_n M n 是對本輪失敗、答案、殘差與框架限制的元分析。如果 Q n + 1 \mathcal Q_{n+1} Q n + 1 只是舊問題集閉包,則不是前沿再生;如果它創造出新的有效問題族,則認知前沿被真正重新打開。
關鍵詞: 框架生成、元問題、問題空間、主動抽象、世界模型、問題形成、認知前沿再生、AI 科學家、LHCF
1. 問題生成還不是最高層
第 7 篇定義:
W → Q ( W ) W\rightarrow\mathcal Q(W) W → Q ( W )
為 Problem Generation。
但這裡隱含了一個東西:
F . F. F .
因為世界 W W W 並不自帶唯一問題集合。
同一組現象可以被表示為:
粒子;
場;
圖;
因果網;
動力系統;
機率分布;
資訊流;
約束滿足;
優化問題。
因此真正應寫成:
Q = Q ( W ∣ F ) . \mathcal Q
=
\mathcal Q(W|F). Q = Q ( W ∣ F ) .
也就是:
我們能提出哪些問題,取決於我們先用什麼框架看世界。
所以 Problem Generator 之前,還存在一個更深層變量:
F . F. F .
2. 框架的形式定義
本文定義:
F = ( V , R , Ω , Q , V , E , Π ) \boxed{
F=
(
\mathcal V,
\mathcal R,
\Omega,
\mathcal Q,
V,
\mathcal E,
\Pi
)
} F = ( V , R , Ω , Q , V , E , Π )
其中:
V \mathcal V V :基本變量集合
我們認為世界由什麼描述?
R \mathcal R R :表示系統
這些變量如何組織?
Ω \Omega Ω :搜索空間
候選解/候選模型在哪裡搜索?
Q \mathcal Q Q :問題生成規則
什麼類型的問題可以被合法提出?
V V V :價值函數
哪些問題/解答被認為重要?
E \mathcal E E :驗證制度
什麼算證據?什麼算失敗?
Π \Pi Π :程序集合
允許使用哪些推理、搜索、實驗與演算法?
因此:
Q Q Q
只是:
F F F
的一個投影。
3. Frame Generator 的操作定義
若智能體只做:
Q → Q ′ , Q\rightarrow Q', Q → Q ′ ,
但:
F ′ = F , F'=F, F ′ = F ,
則只是問題生成。
真正 Frame Generation 是:
Φ F : F → F ′ \boxed{
\Phi_F:
F
\rightarrow
F'
} Φ F : F → F ′
且至少存在:
Δ F ( F , F ′ ) > 0. \Delta_F(F,F')>0. Δ F ( F , F ′ ) > 0.
更嚴格地,還要求:
G F ( F ′ ) > 0 , G_F(F')>0, G F ( F ′ ) > 0 ,
即新框架不是任意改寫,而帶來可檢查增益。
因此:
difference ≠ improvement . \text{difference}
\neq
\text{improvement}. difference = improvement .
4. 四種元問題
4.1 問題元問題
M Q : 為什麼這是問題? M_Q:
\text{為什麼這是問題?} M Q : 為什麼這是問題?
例如:
我們為什麼把提高預測精度當成核心目標,而不是找可解釋機制?
4.2 表示元問題
M R : 為什麼使用這組表示? M_R:
\text{為什麼使用這組表示?} M R : 為什麼使用這組表示?
例如:
這個系統真的適合以單一標量描述嗎?
4.3 價值元問題
M V : 為什麼這類結果被視為重要? M_V:
\text{為什麼這類結果被視為重要?} M V : 為什麼這類結果被視為重要?
例如:
benchmark 分數提高是否真的對應科學發現能力?
4.4 驗證元問題
M E : 為什麼這種 evidence 足以判定? M_E:
\text{為什麼這種 evidence 足以判定?} M E : 為什麼這種 evidence 足以判定?
例如:
LLM judge 的高分是否能代表研究創意真的有未來影響?
這四種元問題共同構成:
M ( F ) . \mathcal M(F). M ( F ) .
5. 第一個關鍵能力:知道不是「再修模型」的時候
一般學習是:
M 0 → M 1 → M 2 . M_0
\rightarrow
M_1
\rightarrow
M_2. M 0 → M 1 → M 2 .
模型預測錯了,就修:
M . M. M .
但高階情況可能是:
model failure ≠ parameter failure . \boxed{
\text{model failure}
\neq
\text{parameter failure}.
} model failure = parameter failure .
可能真正需要改的是:
F . F. F .
也就是:
M ∈ F M\in F M ∈ F
整個框架都不對。
因此 Frame Generator 必須具備:
Framework Failure Detection
定義:
D F = P ( correctly identify when local repair is insufficient ) . D_F
=
P(
\text{correctly identify when local repair is insufficient}
). D F = P ( correctly identify when local repair is insufficient ) .
6. 殘差不只是錯誤,而可能是框架訊號
令:
e t = y t − y ^ t . e_t
=
y_t-\hat y_t. e t = y t − y ^ t .
低階系統問:
如何讓 e t e_t e t 更小?
Frame Generator 問:
e t e_t e t 是否具有結構?
若:
e t e_t e t
持續在某些區域出現:
E [ e ∣ z ] ≠ 0 , E[e|z]\neq0, E [ e ∣ z ] = 0 ,
則可能代表:
漏變量;
錯因果方向;
錯尺度;
錯表示;
錯目標函數。
所以元問題可由:
residual → framework critique \text{residual}
\rightarrow
\text{framework critique} residual → framework critique
生成。
7. ARC-AGI-3:目標與模型都不是預先給定
ARC-AGI-3 把 agent 放入:
要求:
explore → model → infer goal → plan . \text{explore}
\rightarrow
\text{model}
\rightarrow
\text{infer goal}
\rightarrow
\text{plan}. explore → model → infer goal → plan .
這已把:
G G G
與:
M M M
從常數變成 agent 要自己推斷的變量。
所以它與傳統:
( Q , G ) → A (Q,G)\rightarrow A ( Q , G ) → A
具有根本不同結構。
8. 2026 年 7 月的進一步轉折:Active Abstraction
Tycho 在 ARC-AGI-3 上提出:
Active Abstraction
其核心不是只建 executable world model。
而是:
agent 要決定何時建模、何時修模型、何時使用模型、何時跳過模型。
形式上:
π : s t → { build , repair , use , bypass } . \pi:
s_t
\rightarrow
\{
\text{build},
\text{repair},
\text{use},
\text{bypass}
\}. π : s t → { build , repair , use , bypass } .
這非常重要。
因為:
知道何時不要再相信自己的表示 \boxed{
\text{知道何時不要再相信自己的表示}
} 知道何時不要再相信自己的表示
本身就是一個元認知操作。
9. 但 Active Abstraction 還不是完整 Frame Generation
Tycho 仍然在 ARC-AGI-3 這個上層 benchmark 框架中。
外部已決定:
可觀察空間;
行動集合;
reward/成功定義;
benchmark 世界。
因此它主要處理:
F l o c a l . F_{\mathrm{local}}. F local .
真正 LHCF 的 Frame Generator 還必須能問:
上層 benchmark/研究任務本身是否值得保留? \boxed{
\text{上層 benchmark/研究任務本身是否值得保留?}
} 上層 benchmark /研究任務本身是否值得保留?
10. EVA:自主生成抽象
ACL 2026 的 EVA(Evolving Agents)把開放動態環境中的核心缺口描述為:
autonomous generation of abstractions . \text{autonomous generation of abstractions}. autonomous generation of abstractions .
它讓 agent 從觀察與互動中形成 pseudo-symbolic representation,並使用自生成抽象形成 internal curriculum。
這提供一個重要訊號:
representation generation \boxed{
\text{representation generation}
} representation generation
正在從理論願景變成 agent architecture 的直接研究對象。
因此「人類最後會重新表示問題」也不能被當作永久護城河。
11. 問題形成必須可審核:FirstResearch
FirstResearch 2026 提出:
Research Question Certificate
要求一個 AI 科學研究問題在正式執行前先留下:
primitive definitions;
assumptions;
mechanism;
tension/contradiction;
falsifiable hypothesis;
minimal decisive test;
failure-update rule。
這與 LHCF 第 4 篇 CCAG 非常接近。
因為「新問題」真正有價值的前提是:
它能被檢查自己是怎麼長出來的。 \boxed{
\text{它能被檢查自己是怎麼長出來的。}
} 它能被檢查自己是怎麼長出來的。
Frame Generation 如果不可審核,很容易退化成文字創意。
12. 框架位移向量
本文不再只用單一:
Δ F . \Delta_F. Δ F .
而定義:
Δ F = ( Δ V , Δ R , Δ Ω , Δ Q , Δ E , Δ Π ) . \mathbf{\Delta}_F
=
(
\Delta_V,
\Delta_R,
\Delta_\Omega,
\Delta_Q,
\Delta_E,
\Delta_\Pi
). Δ F = ( Δ V , Δ R , Δ Ω , Δ Q , Δ E , Δ Π ) .
其中:
Δ V \Delta_V Δ V :基本變量位移;
Δ R \Delta_R Δ R :表示位移;
Δ Ω \Delta_\Omega Δ Ω :搜索空間位移;
Δ Q \Delta_Q Δ Q :問題集合位移;
Δ E \Delta_E Δ E :驗證制度位移;
Δ Π \Delta_\Pi Δ Π :推理程序位移。
注意此處 Δ V \Delta_V Δ V 的 V V V 指 variables;後文價值函數位移記為 Δ v a l \Delta_{\mathrm{val}} Δ val ,避免混淆。
13. 問題集位移
令:
Q F \mathcal Q_F Q F
為框架 F F F 能生成的問題集合。
新框架:
F ′ . F'. F ′ .
定義:
Δ Q = D ( Q F , Q F ′ ) . \Delta_{\mathcal Q}
=
D(
\mathcal Q_F,
\mathcal Q_{F'}
). Δ Q = D ( Q F , Q F ′ ) .
若:
Q F ′ ≈ Q F , \mathcal Q_{F'}\approx\mathcal Q_F, Q F ′ ≈ Q F ,
則框架位移很可能只是表面。
若:
Q F ′ ∖ Q F ≠ ∅ , \mathcal Q_{F'}
\setminus
\mathcal Q_F
\neq\varnothing, Q F ′ ∖ Q F = ∅ ,
則新框架至少創造了新問題族。
14. 強框架生成:新問題是舊框架不可表達的
本文定義:
Strong Frame Generation
若存在:
Q ∗ ∈ Q F ′ Q^*
\in
\mathcal Q_{F'} Q ∗ ∈ Q F ′
但:
Q ∗ ∉ Expressible ( F ) , Q^*
\notin
\operatorname{Expressible}(F), Q ∗ ∈ / Expressible ( F ) ,
則:
F ′ F' F ′
產生了強框架位移。
這比:
Q ∗ ∉ Q F Q^*
\notin\mathcal Q_F Q ∗ ∈ / Q F
更強。
因為它不是「以前沒想到」。
而是:
以前的語言/變量根本不能自然提出這個問題。 \boxed{
\text{以前的語言/變量根本不能自然提出這個問題。}
} 以前的語言/變量根本不能自然提出這個問題。
15. 搜索空間轉換
令:
Ω F \Omega_F Ω F
是舊搜索空間。
Ω F ′ \Omega_{F'} Ω F ′
是新搜索空間。
框架生成可能:
壓縮
Ω F ′ ≪ Ω F . \Omega_{F'}\ll\Omega_F. Ω F ′ ≪ Ω F .
把一個大搜索問題變成小表示問題。
擴張
Ω F ′ ⊃ Ω F . \Omega_{F'}\supset\Omega_F. Ω F ′ ⊃ Ω F .
發現原本忽略的候選。
重參數化
兩者 cardinality 類似,但幾何改變。
所以不能只用大小。
應定義:
X Ω = D g e o m ( Ω F , Ω F ′ ) . X_\Omega
=
D_{\mathrm{geom}}
(
\Omega_F,
\Omega_{F'}
). X Ω = D geom ( Ω F , Ω F ′ ) .
16. 價值函數位移
舊框架:
V ( Q ) . V(Q). V ( Q ) .
新框架:
V ′ ( Q ) . V'(Q). V ′ ( Q ) .
定義:
Δ v a l = D ( V , V ′ ) . \Delta_{\mathrm{val}}
=
D(V,V'). Δ val = D ( V , V ′ ) .
這可能是最難的一種 Frame Generation。
因為它問:
我們是否一直在優化錯的東西?
例如:
benchmark accuracy \text{benchmark accuracy} benchmark accuracy
可能被改成:
mechanistic understanding . \text{mechanistic understanding}. mechanistic understanding .
或者:
paper count \text{paper count} paper count
改成:
future external impact . \text{future external impact}. future external impact .
17. RINoBench 與 HindSight 的警告:Evaluator 會決定什麼叫「好問題」
RINoBench 2026 顯示,LLM 的研究創意新穎性判斷雖能產生與人類相似的理由,卻不能穩定對齊人類 novelty gold standard。
HindSight 2026 更提出 time-split 方法:只用某時間點以前的資料生成研究想法,再看之後 30 個月真實文獻與引用影響。其結果顯示 LLM judge 與未來實際研究影響可以顯著脫鉤。
因此:
V j u d g e ≠ V f u t u r e . \boxed{
V_{\mathrm{judge}}
\neq
V_{\mathrm{future}}.
} V judge = V future .
這表示 Frame Generator 不只要生成問題,還可能必須修正:
我們如何評估問題。 \text{我們如何評估問題。} 我們如何評估問題。
18. 驗證制度位移
定義:
E \mathcal E E
為可接受證據規則。
某些新理論出現時,舊證據可能不足。
新框架可能要求:
新儀器;
新 benchmark;
新數學不變量;
新形式 verifier;
新因果識別方法;
新資料粒度。
因此:
Δ E > 0 \Delta_E>0 Δ E > 0
表示:
新框架甚至改變「如何知道自己對不對」。
這是非常強的框架位移。
19. 元問題生成算子
本文定義:
M : ( F , W , H ) → M \boxed{
\mathcal M:
(F,W,H)
\rightarrow
M
} M : ( F , W , H ) → M
其中:
F F F :現框架;
W W W :世界/資料;
H H H :失敗史;
M M M :元問題。
例如:
M = 「是不是變量選錯?」 M=
\text{「是不是變量選錯?」} M = 「是不是變量選錯?」
或:
M = 「是不是 evaluator 在獎勵錯誤目標?」 M=
\text{「是不是 evaluator 在獎勵錯誤目標?」} M = 「是不是 evaluator 在獎勵錯誤目標?」
元問題不是直接解:
Q . Q. Q .
而是檢查生成:
Q Q Q
的機器。
20. Framework Critic
在 Frame Generator 之前,可以定義一個中間角色:
Framework Critic
其任務:
C F : F → { limitations } . C_F:
F
\rightarrow
\{\text{limitations}\}. C F : F → { limitations } .
它可以知道:
目前框架哪裡不夠。
但不一定能建立:
F ′ . F'. F ′ .
因此:
criticize ≠ generate . \text{criticize}
\neq
\text{generate}. criticize = generate .
這與「知道一套理論有問題」但無法提出更好理論類似。
21. Frame Generator
Frame Generator 必須:
F → Φ F ′ F
\xrightarrow{\Phi}
F' F Φ F ′
並且:
G F ( F ′ ) > 0. G_F(F')>0. G F ( F ′ ) > 0.
它至少要同時通過:
新框架可定義;
新框架可審核;
能解釋舊框架的重要成功;
能處理至少一個舊框架缺陷;
能生成新的有效問題;
不只是增加任意複雜度。
22. 框架增益
定義:
G F = w 1 Δ e x p l a i n + w 2 Δ p r e d i c t + w 3 Δ c o m p r e s s + w 4 Δ s e a r c h + w 5 Δ v e r i f y + w 6 Y F . G_F
=
w_1\Delta_{\mathrm{explain}}
+
w_2\Delta_{\mathrm{predict}}
+
w_3\Delta_{\mathrm{compress}}
+
w_4\Delta_{\mathrm{search}}
+
w_5\Delta_{\mathrm{verify}}
+
w_6Y_F. G F = w 1 Δ explain + w 2 Δ predict + w 3 Δ compress + w 4 Δ search + w 5 Δ verify + w 6 Y F .
其中:
Y F Y_F Y F
是框架後問題增益。
若:
G F ≤ 0 , G_F\le0, G F ≤ 0 ,
即使:
Δ F ≫ 0 , \Delta_F\gg0, Δ F ≫ 0 ,
也只是大幅改寫,不是前沿進步。
23. 框架後問題增益
定義:
Y F = ∑ Q i ∈ Q F ′ ∖ Q F G ( Q i ) V Q ( Q i ) . Y_F
=
\sum_{Q_i\in
\mathcal Q_{F'}\setminus\mathcal Q_F}
G(Q_i)V_Q(Q_i). Y F = Q i ∈ Q F ′ ∖ Q F ∑ G ( Q i ) V Q ( Q i ) .
其中:
G ( Q i ) G(Q_i) G ( Q i ) :CCAG 有效性;
V Q ( Q i ) V_Q(Q_i) V Q ( Q i ) :問題價值。
因此新框架真正有用的一個判準是:
它生出了多少以前生不出的好問題。 \boxed{
\text{它生出了多少以前生不出的好問題。}
} 它生出了多少以前生不出的好問題。
24. 前沿再生的正式循環
本文將第 7 篇的 Frontier Regenerator 展開成:
F n → Q n → A n → H n → M n → F n + 1 → Q n + 1 \boxed{
F_n
\rightarrow
Q_n
\rightarrow
A_n
\rightarrow
H_n
\rightarrow
M_n
\rightarrow
F_{n+1}
\rightarrow
\mathcal Q_{n+1}
} F n → Q n → A n → H n → M n → F n + 1 → Q n + 1
其中:
A n A_n A n :答案;
H n H_n H n :失敗/殘差/反例歷史;
M n M_n M n :元問題;
F n + 1 F_{n+1} F n + 1 :重構框架。
真正再生發生在:
Q n + 1 ⊈ Closure ( Q n , A n ) . \mathcal Q_{n+1}
\not\subseteq
\operatorname{Closure}
(
\mathcal Q_n,A_n
). Q n + 1 ⊆ Closure ( Q n , A n ) .
25. 前沿再生係數
定義:
ρ R = Y F ⋅ Δ F C r e f r a m e + ϵ . \rho_R
=
\frac{
Y_F\cdot \Delta_F
}{
C_{\mathrm{reframe}}+\epsilon
}. ρ R = C reframe + ϵ Y F ⋅ Δ F .
其中:
C r e f r a m e C_{\mathrm{reframe}} C reframe
為產生、測試與驗證新框架所需成本。
高:
ρ R \rho_R ρ R
表示:
少量重構成本產生大量有效新問題。
低:
ρ R \rho_R ρ R
表示:
大量概念改寫卻沒有真正產生新前沿。
26. 框架債務
一個理論體系可能長期靠 patch 維持。
定義:
D F D_F D F
為 framework debt。
如果每加入一個新觀察:
O i O_i O i
都需要:
p i p_i p i
個特殊例外,
則:
D F ∝ ∑ i p i . D_F
\propto
\sum_i p_i. D F ∝ i ∑ p i .
當:
D F D_F D F
過高時,Frame Generator 應傾向:
replace \text{replace} replace
而不是:
patch . \text{patch}. patch .
這與軟體技術債相似,但發生在認知表示層。
27. 「換框架」不能成為逃避反例的方法
第 4 篇已處理 moving goalpost。
因此 Frame Generation 必須保留:
Ledger ( F → F ′ ) . \operatorname{Ledger}(F\rightarrow F'). Ledger ( F → F ′ ) .
明確記錄:
哪些主張被保留;
哪些被放棄;
哪些反例迫使改寫;
哪些只是新問題;
哪些結論已失效。
否則:
reframing \text{reframing} reframing
會變成:
semantic escape . \text{semantic escape}. semantic escape .
28. Reframe 需要保真條件
定義核心成功集合:
S ( F ) . S(F). S ( F ) .
如果新框架:
F ′ F' F ′
完全無法重現舊框架已經可靠解釋的結果,
則它可能不是進步。
最低保真:
Fidelity = ∣ S ( F ) ∩ S ( F ′ ) ∣ ∣ S ( F ) ∣ . \operatorname{Fidelity}
=
\frac{
|S(F)\cap S(F')|
}{
|S(F)|
}. Fidelity = ∣ S ( F ) ∣ ∣ S ( F ) ∩ S ( F ′ ) ∣ .
除非舊成功本身被證明是錯誤。
29. 框架替換與框架擴張
兩種情況要區分。
Framework Replacement
F → F ′ , F\rightarrow F', F → F ′ ,
舊框架被大幅取代。
Framework Extension
F ⊂ F ′ . F\subset F'. F ⊂ F ′ .
新框架保留舊框架為特殊情況。
後者通常具有較高保真,但不代表一定更好。
LHCF 應觀察的是:
Δ F , G F , Y F , \Delta_F,
G_F,
Y_F, Δ F , G F , Y F ,
而不是「革命」這種敘事標籤。
30. 問題空間的拓撲改變
令:
Q \mathcal Q Q
不是離散清單,而是一個帶距離:
d Q d_Q d Q
的空間。
框架轉換:
Φ F : Q → Q ′ . \Phi_F:
\mathcal Q
\rightarrow
\mathcal Q'. Φ F : Q → Q ′ .
可能造成:
新 connected component;
原本分離問題被連接;
原本相鄰問題被拆開;
新維度出現。
因此 Frame Generation 可以被理解為:
問題空間拓撲變換。 \boxed{
\text{問題空間拓撲變換。}
} 問題空間拓撲變換。
這比「產生新問題」更精確。
31. 新維度生成
若新框架引入一個原本不存在的獨立變量:
z , z, z ,
使:
dim ( Q ′ ) > dim ( Q ) , \dim(\mathcal Q')
>
\dim(\mathcal Q), dim ( Q ′ ) > dim ( Q ) ,
則可稱:
Cognitive Dimension Expansion
Δ d Q > 0. \Delta d_Q>0. Δ d Q > 0.
這類框架通常能產生大量以前根本無法分類的問題。
但維度增加不一定是好事,也可能只是過擬合。
仍需:
G F > 0. G_F>0. G F > 0.
32. 抽象壓縮也可能降低維度
反過來,強框架可能發現:
x 1 , x 2 , … , x n x_1,x_2,\ldots,x_n x 1 , x 2 , … , x n
其實由少數 latent generators:
g 1 , … , g k g_1,\ldots,g_k g 1 , … , g k
生成。
其中:
k ≪ n . k\ll n. k ≪ n .
則:
Δ d Q < 0 \Delta d_Q<0 Δ d Q < 0
但:
G F ≫ 0. G_F\gg0. G F ≫ 0.
所以 Frame Generation 既可能升維,也可能降維。
真正重要的是:
是否找到更好的可操作表示。 \boxed{
\text{是否找到更好的可操作表示。}
} 是否找到更好的可操作表示。
33. 框架選擇不是單框架競賽
可能存在:
F 1 , F 2 , F 3 F_1,
F_2,
F_3 F 1 , F 2 , F 3
各自在不同區域最好。
因此高階智能不一定追求:
F ∗ = 唯一真框架 . F^*=\text{唯一真框架}. F ∗ = 唯一真框架 .
而可能建立:
F = { F i } . \mathcal F
=
\{F_i\}. F = { F i } .
再學習:
π ( F i ∣ x ) . \pi(F_i|x). π ( F i ∣ x ) .
即:
對什麼問題用什麼框架。
這是:
Framework Portfolio Intelligence
34. Meta-Frame:管理多框架
更上一層可以定義:
F ( 2 ) F^{(2)} F ( 2 )
管理:
F 1 ( 1 ) , … , F n ( 1 ) . F^{(1)}_1,\ldots,F^{(1)}_n. F 1 ( 1 ) , … , F n ( 1 ) .
它包含:
何時切換;
何時組合;
何時拒絕混用;
何時創造新框架。
這就是:
meta-frame . \boxed{
\text{meta-frame}.
} meta-frame .
因此元問題可以遞迴:
F → F ( 2 ) → F ( 3 ) → ⋯ F
\rightarrow
F^{(2)}
\rightarrow
F^{(3)}
\rightarrow\cdots F → F ( 2 ) → F ( 3 ) → ⋯
但實務上必須以增益停止,否則會無限 meta 化。
35. Meta-stop rule
定義第 k k k 層元框架增益:
G F ( k ) . G_F^{(k)}. G F ( k ) .
若:
G F ( k ) < ϵ G_F^{(k)}
<
\epsilon G F ( k ) < ϵ
連續多層成立,
則停止:
meta-escalation . \text{meta-escalation}. meta-escalation .
否則「再問為什麼」本身也會成為無限文字遊戲。
36. 人類最後前沿可能出現在「框架選擇」而不是「框架創造」
即使 AI 能生成:
10 6 10^6 1 0 6
個框架,
真正瓶頸可能是:
哪一個值得投入現實資源? \boxed{
\text{哪一個值得投入現實資源?}
} 哪一個值得投入現實資源?
所以要區分:
Frame Generation \text{Frame Generation} Frame Generation
與:
Frame Selection . \text{Frame Selection}. Frame Selection .
後者需要:
成本;
風險;
可驗證性;
研究時間;
社會價值;
多重目標。
37. AI 已開始進入 Frame Selection
Tycho 的 active abstraction 已經包含:
是否值得花成本建立/修正模型?
這其實是局部的:
model-selection under cost . \text{model-selection under cost}. model-selection under cost .
FirstResearch 的 certificate 則把:
這個研究問題是否值得執行?
向前移到正式研究前。
所以 AI 正開始從:
generate \text{generate} generate
走向:
generate + audit + select . \text{generate + audit + select}. generate + audit + select .
38. LHCF 的真正高門檻
因此本文提出:
Strong Frontier Regenerator
智能體 z z z 必須同時做到:
偵測框架債務;
生成元問題;
提出新框架;
通過 CCAG;
保留必要舊成功;
產生新有效問題族;
讓當代前沿 AI 重新產生有效認知阻抗;
在 AI 吸收新框架後再次循環。
形式:
SFR ( z , t ) = 1 \boxed{
\operatorname{SFR}(z,t)=1
} SFR ( z , t ) = 1
若上述條件在至少:
L F ≥ ℓ L_F\ge\ell L F ≥ ℓ
輪中成立。
39. 前沿再生深度
定義:
L F L_F L F
為:
F 0 → F 1 → ⋯ → F n F_0
\rightarrow
F_1
\rightarrow
\cdots
\rightarrow
F_n F 0 → F 1 → ⋯ → F n
中能維持:
G F > g min G_F>g_{\min} G F > g m i n
與:
R F > θ R_F>\theta R F > θ
的最大層數。
這是第 7 篇:
L R L_R L R
的框架級版本。
40. 世界線 A:AI 先解題,再學會出題,最後學會改框架
若能力逐層吸收:
S 1 → S 2 → S 3 → S 4 → S 5 , S_1
\rightarrow
S_2
\rightarrow
S_3
\rightarrow
S_4
\rightarrow
S_5, S 1 → S 2 → S 3 → S 4 → S 5 ,
則人類前沿會逐步向上遷移。
這是 LHCF 最直觀的候選世界線。
41. 世界線 B:AI 直接跨層
也可能更快:
S 1 → S 4 . S_1
\rightarrow
S_4. S 1 → S 4 .
例如 agent 透過自生成抽象直接獲得框架操作能力。
若如此:
「問題生成是最後人類前沿」
可能根本沒有長時間歷史窗口。
42. 世界線 C:人機複合體先取得 Frame Generation
另一種可能:
h ∗ h^* h ∗
先因為:
人類提供異常感知;
AI 提供巨大搜索;
共享記憶提供跨輪次累積;
而形成:
C F ( h ∗ ) > C F ( A ) , C F ( h 0 ) . C_F(h^*)>C_F(A),C_F(h^0). C F ( h ∗ ) > C F ( A ) , C F ( h 0 ) .
這會延長第 6 篇的複合智能前沿。
但它仍需消融測試,不可只因使用人機協作就宣稱 synergy。
43. 可反駁預測
預測一
Frame Generation 與 Problem Generation 不完全共線:
corr ( C Q , C F ) < 1. \operatorname{corr}(C_Q,C_F)<1. corr ( C Q , C F ) < 1.
預測二
高品質 reframe 會顯著改變:
Q \mathcal Q Q
而非只改善同一問題的答案。
預測三
真正 Frame Generator 在舊 evaluator 下可能表現較差,因為 evaluator 本身屬於舊框架。
預測四
自生成抽象型 agent 的進步會提高:
C F ( A t ) C_F(A_t) C F ( A t )
使人類框架前沿快速收縮。
預測五
若前沿再生是獨立能力,則:
L F L_F L F
與單次:
Δ F \Delta_F Δ F
不完全相關。
一次巨大框架革命不代表能持續再生。
44. 如何反駁 MPFR?
如果未來資料顯示:
所有高品質問題都可以在固定框架下生成;
框架轉換無法被可靠區分於普通 prompt rephrasing;
Δ F \Delta_F Δ F 對未來問題生成沒有預測力;
AI/人類的 C Q , C F , C R C_Q,C_F,C_R C Q , C F , C R 幾乎完全共線;
元問題只增加文字複雜度而不提升外部績效;
則 MPFR 應被壓縮或放棄。
45. 與 EveMissLab 問題空間研究線的關係
既有 EveMissLab 研究已多次把演算法與問題理解為兩個需要匹配的空間,而不是把「問題」當固定自然物。這使 LHCF 的 MPFR 可以被視為進一步時間化與 AI 化的版本:
Algorithm Space ↔ Problem Space \text{Algorithm Space}
\leftrightarrow
\text{Problem Space} Algorithm Space ↔ Problem Space
再升級成:
Frame → Problem Space → Algorithm / Theory Space . \boxed{
\text{Frame}
\rightarrow
\text{Problem Space}
\rightarrow
\text{Algorithm / Theory Space}.
} Frame → Problem Space → Algorithm / Theory Space .
真正高階的智能,不只在兩個既有空間中找匹配,也可能重構這兩個空間本身。
46. 結論:最深的問題不是「答案是什麼」,而是「為什麼世界被切成這些問題?」
從第 2 篇開始,LHCF 已經描述:
Answer Space → Problem Space → Frame Space . \text{Answer Space}
\rightarrow
\text{Problem Space}
\rightarrow
\text{Frame Space}. Answer Space → Problem Space → Frame Space .
本文正式把第三層展開。
一個框架:
F F F
決定:
什麼被看見、什麼能被問、什麼值得問、什麼算證據。 \boxed{
\text{什麼被看見、什麼能被問、什麼值得問、什麼算證據。}
} 什麼被看見、什麼能被問、什麼值得問、什麼算證據。
因此 Frame Generator 的真正工作不是:
想一個更有創意的問題。
而是:
重寫產生問題的生成機制。 \boxed{
\text{重寫產生問題的生成機制。}
} 重寫產生問題的生成機制。
而 Frontier Regenerator 則更進一步:
當上一個框架被 AI 吸收後, 仍能從答案、失敗與殘差中產生下一個有效框架。 \boxed{
\text{當上一個框架被 AI 吸收後,
仍能從答案、失敗與殘差中產生下一個有效框架。}
} 當上一個框架被 AI 吸收後, 仍能從答案、失敗與殘差中產生下一個有效框架。
其核心循環是:
F n → Q n → A n → M n → F n + 1 → Q n + 1 . F_n
\rightarrow
Q_n
\rightarrow
A_n
\rightarrow
M_n
\rightarrow
F_{n+1}
\rightarrow
\mathcal Q_{n+1}. F n → Q n → A n → M n → F n + 1 → Q n + 1 .
如果有一天,AI 可以在沒有關鍵人類認知貢獻下穩定完成這整個循環:
C F ( A t ) ≫ 0 , C R ( A t ) ≫ 0 , C_F(A_t)\gg0,
\qquad
C_R(A_t)\gg0, C F ( A t ) ≫ 0 , C R ( A t ) ≫ 0 ,
那麼 LHCF 的高階人類前沿就會再次向後退。
而如果 AI 進一步可以自己:
發現 evaluator 錯了;
發現價值函數錯了;
發現問題空間錯了;
重建驗證制度;
生成下一批框架;
那麼我們就開始逼近:
AI-native epistemic regime . \boxed{
\text{AI-native epistemic regime}.
} AI-native epistemic regime .
下一篇第 9 篇將不再主要問「能力類型」,而問成本:
《理論吸收時間與認知資源配置:高階 AI 為何仍可能存在難題》
也就是:
即使 AI 最終能理解所有東西, 不同理論的吸收時間與資源成本是否仍會形成真正前沿? \boxed{
\text{即使 AI 最終能理解所有東西,
不同理論的吸收時間與資源成本是否仍會形成真正前沿?}
} 即使 AI 最終能理解所有東西, 不同理論的吸收時間與資源成本是否仍會形成真正前沿?
參考文獻
[1] ARC Prize Foundation. ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence. arXiv:2603.24621, 2026.
[2] Lehmann, J., Aioanei, A., & Vahdati, S. Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3. arXiv:2607.28287, 2026.
[3] Rodionov, S. Executable World Models for ARC-AGI-3 in the Era of Coding Agents. arXiv:2605.05138, 2026.
[4] Ranaldi, L. Evolving Agents. ACL 2026, pp. 16561–16569.
[5] Wang, Y. FirstResearch: Auditable Question Formation for LLM Scientific Discovery Agents. arXiv:2607.05682, 2026.
[6] Liu, Y. et al. ResearchBench: Benchmarking LLMs in Scientific Discovery via Inspiration-Based Task Decomposition. Findings of ACL 2026.
[7] Shi, C. et al. Are LLMs Ready for Scientific Discovery? A Capability-Oriented Benchmark for AI Scientists. arXiv:2607.11079, 2026.
[8] Lew, A. J., Cao, Y., & Buehler, M. J. ProjectionBench: Evaluating Scientific Hypothesis Generation in LLMs Under Progressive Information Disclosure. arXiv:2605.30284, 2026.
[9] Schopf, T., & Färber, M. Is this Idea Novel? An Automated Benchmark for Judgment of Research Ideas. arXiv:2603.10303, 2026.
[10] Jiang, B. HindSight: Evaluating Research Idea Generation via Future Impact. arXiv:2603.15164, 2026.
[11] Neo.K / Aletheia. 從解題者到前沿生成者:最後人類認知對手的能力結構. LHCF 07, 2026.
版本註記
v0.1 建立 MPFR 框架,將 Frame 定義為 ( V , R , Ω , Q , V , E , Π ) (\mathcal V,\mathcal R,\Omega,\mathcal Q,V,\mathcal E,\Pi) ( V , R , Ω , Q , V , E , Π ) ,提出四類元問題、框架位移向量、強框架生成、框架增益 G F G_F G F 、框架後問題增益 Y F Y_F Y F 、前沿再生係數 ρ R \rho_R ρ R 、Framework Debt 與 Meta-stop rule。第 9 篇將轉向理論吸收時間、資源預算與高階 AI 的認知成本。