# MLRSC-AI：霍奇猜想三階段框架的 AI 自主研究協議
## ——Measure、Legitimacy 與 Scale–Category Coupling 的一輪一篇研究制度

**作者：Neo.K**  
**協作整理：ChatGPT / Aletheia**  
**研究性質：AI 自主研究協議／研究操作草案／多輪證明計畫**  
**版本：v0.1**  
**日期：2026-09-15**

---

## 摘要

本文為「Measure–Legitimacy–Scale–Category Coupling」三階段霍奇研究框架建立 AI 自主研究協議。此協議的目的不是要求 AI 在單一長上下文中直接完成霍奇猜想，而是將研究拆成可驗證、可失敗、可回流、可累積的獨立論文輪次。

核心制度只有一句：

$$
\boxed{
\text{One Round}
=
\text{One Primary Claim}
=
\text{One Paper}.
}
$$

每一輪必須輸出一篇獨立 UTF-8 Markdown 原稿，明確標示定義、依賴、命題、證明狀態、反例搜尋、失敗原因與下一輪接口。任何輪次都不得把「數值支持」、「結構類比」、「文獻暗示」直接升格為證明。

研究順序固定為：

$$
\boxed{
\mathrm{Phase\ I:\ Measure}
\to
\mathrm{Phase\ II:\ Legitimacy}
\to
\mathrm{Phase\ III:\ Scale\mbox{-}Category\ Coupling}.
}
$$

Phase III 預期是主要瓶頸。當第三階段發現 coupling defect 時，AI 必須分類其來源，並允許回流 Phase I 或 Phase II 重新建立分類。故整體研究不是一次性線性流程，而是一個受約束的 proof-state machine。

本文定義研究狀態、輪次模板、證據等級、停止條件、回流條件、命題命名規則、檔案命名規則，以及第一批建議研究輪次。完成本協議後，後續 AI 可在不重新討論總體方法的前提下，自主逐輪推進。

**關鍵詞：** autonomous mathematics、Hodge conjecture、AI research protocol、measure closure、legality closure、scale coupling、proof state machine、one-round-one-paper、counterexample search

---

# 1. 協議目標

本協議的目標不是讓 AI 「一直繼續」直到產生看似完整的長證明。

目標是建立：

$$
\boxed{
\text{可驗證的研究狀態序列}
}
$$

令第 $r$ 輪研究產物為：

$$
\mathcal P_r.
$$

整體研究史為：

$$
\mathcal P_1,
\mathcal P_2,
\ldots,
\mathcal P_r,
\ldots
$$

每一篇 $\mathcal P_r$ 都必須可被獨立閱讀，並攜帶足夠 metadata 使後續 AI 知道：

- 本輪到底證了什麼；
- 哪些仍是假設；
- 使用了哪些前置結論；
- 哪些地方失敗；
- 下一輪只能從哪些合法接口繼續。

---

# 2. 不可變研究順序

研究分為三個主要階段：

$$
\boxed{
\mathrm{I}
\to
\mathrm{II}
\to
\mathrm{III}.
}
$$

## Phase I：Measure

研究：

$$
\mathfrak M(X,p).
$$

只處理候選 Hodge 空間的大小、秩、格點、分解、軌道、範數與 active decomposition。

## Phase II：Legitimacy

研究：

$$
\mathsf L_X^p
$$

以及：

$$
\operatorname{Cl}_{\mathsf L}(S).
$$

只處理 witness-carrying legal relations。

## Phase III：Scale–Category Coupling

研究：

$$
F_{s\to t},
\qquad
\mathfrak C_{s\to t},
\qquad
\kappa_{s,t}.
$$

只在前兩階段已有足夠閉包後啟動。

---

# 3. 「前兩階段先行」的強制規則

AI 不得因為 deformation、monodromy 或 Hodge locus 看起來重要，就在 Phase I 或 Phase II 偷偷使用尚未證明的跨尺度 algebraicity transport。

具體禁止：

$$
\alpha
\text{ remains Hodge}
\not\Rightarrow
\alpha
\text{ remains algebraic}.
$$

也禁止：

$$
\text{same dimension}
\not\Rightarrow
\text{same legal structure}.
$$

以及：

$$
\text{same orbit pattern}
\not\Rightarrow
\text{same cycle witness}.
$$

任何跨 family 或跨 object-type 的推理都要標記為 Phase III dependency。

---

# 4. 一輪一篇制度

每一輪只能有一個 Primary Claim：

$$
C_r.
$$

一輪可以包含多個 lemma，但所有 lemma 必須服務於 $C_r$。

禁止一輪同時宣稱：

- 完成新的測度分類；
- 建立新的合法 closure；
- 再證明跨尺度 transport。

若研究中意外得到第二個重大結果，應切成下一篇。

---

# 5. 論文檔名規則

推薦格式：

```text
HODGE_MLRSC_R###_<PHASE>_<SHORT_TITLE>.md
```

例如：

```text
HODGE_MLRSC_R001_M_MeasureObjects.md
HODGE_MLRSC_R002_M_LatticeGrowth.md
HODGE_MLRSC_R010_L_LegalWitnesses.md
HODGE_MLRSC_R021_C_FirstCouplingDefect.md
```

其中：

- `M` 表示 Measure；
- `L` 表示 Legitimacy；
- `C` 表示 Coupling；
- `B` 表示 Backtrack；
- `X` 表示 Cross-phase audit，但不得在 `X` 論文中新增核心定理。

---

# 6. 每篇論文的固定 metadata

每篇必須包含：

```text
Round:
Phase:
Primary Claim:
Status:
Depends On:
Supersedes:
Backtrack Target:
Evidence Level:
Formalization Status:
Computation Status:
```

其中 `Status` 只能使用下列集合：

$$
\{
\mathrm{PROVED},
\mathrm{CONDITIONAL},
\mathrm{DISPROVED},
\mathrm{OPEN},
\mathrm{REFORMULATE},
\mathrm{BACKTRACK}
\}.
$$

不得使用「基本證明」、「應該成立」、「大概完成」作為正式狀態。

---

# 7. 證據等級

每個重要敘述標示一個 evidence level。

## E0：Definition

純定義或符號約定。

## E1：Known theorem

由公開數學文獻直接支持。

## E2：Derived lemma

本輪從 E0/E1 與已驗證前輪結果推導。

## E3：Conditional theorem

證明依賴明列假設：

$$
A_1,\ldots,A_k.
$$

## E4：Computational evidence

有限計算、數值實驗、符號實驗或資料分析。

## E5：Heuristic

結構類比、方法提示、AI 猜想。

只有 E1、E2 與假設完全被解除的 E3 可以進入後續 proof dependency graph。

E4 與 E5 只能用來生成下一輪研究問題。

---

# 8. 每輪固定章節

每篇研究輪次原稿應使用下列章節順序。

## 8.1 Primary Claim

形式化寫出：

$$
C_r.
$$

## 8.2 Scope

說明只處理哪個：

$$
(X,p),
$$

哪個 variety class，或哪個尺度鏈。

## 8.3 Dependencies

列出所有前輪結果與外部 theorem。

## 8.4 Definitions

本輪新增定義不得與既有符號衝突。

## 8.5 Known Boundary

列出已知不能跨越的定理邊界、反例與 integral/rational 差異。

## 8.6 Main Derivation

正式推導。

## 8.7 Counterexample Search

至少主動搜尋一種反例機制。

## 8.8 Stress Test

將結論套到至少一個已知特殊類。

## 8.9 Failure Analysis

即使 `PROVED`，也要寫明本證明沒有證到什麼。

## 8.10 Status

從固定狀態集合選一個。

## 8.11 Next Interface

只列出下一輪可以合法使用的輸出。

---

# 9. Proof-State Machine

研究狀態記為：

$$
S_r
=
\left(
M_r,
L_r,
C_r,
D_r
\right),
$$

其中：

- $M_r$ 為已驗證 Measure 結果；
- $L_r$ 為已驗證 Legality 結果；
- $C_r$ 為已驗證 Coupling 結果；
- $D_r$ 為尚未消除的 defect。

每輪更新：

$$
S_r
\longrightarrow
S_{r+1}
$$

必須是 monotone in evidence：

> 已被 `DISPROVED` 的命題不可在後續輪次無標記復活。

若要重新使用，必須建立修改版：

$$
C_r'
$$

並明示與原命題的差異。

---

# 10. Phase I 的自主研究規則

Phase I 的目標不是立即猜代數 cycle，而是建立可用的測度分類。

建議初始物件：

$$
V_X^p
=
\operatorname{Hdg}^p(X),
$$

$$
\Lambda_X^p
=
H^{2p}(X,\mathbb Z)_{\mathrm{free}}
\cap
H^{p,p}(X).
$$

可研究：

$$
\dim_{\mathbb Q}V_X^p,
$$

$$
\operatorname{rank}\Lambda_X^p,
$$

$$
N_X^p(R)
=
\#\left\{
\alpha\in\Lambda_X^p:
\|\alpha\|_H\le R
\right\},
$$

monodromy decomposition、primitive decomposition、Hodge-Riemann form 等。

Phase I 的每個不變量必須回答：

1. 是否 intrinsic；
2. 是否對所需同構穩定；
3. 是否可以計算；
4. 是否能辨認 active region；
5. 是否在已知例子中產生錯誤分類。

---

# 11. Phase II 的自主研究規則

Phase II 建立：

$$
\mathsf L_X^p.
$$

AI 首先應建立 legal edge taxonomy。

例如：

$$
Z
\mapsto
\operatorname{cl}(Z),
$$

$$
Z
\mapsto
f_\ast Z,
$$

$$
Z
\mapsto
f^\ast Z,
$$

$$
(Z_1,Z_2)
\mapsto
Z_1\times Z_2.
$$

每個 edge type 都必須附：

- domain；
- codomain；
- dimension/codimension condition；
- rational coefficient condition；
- algebraicity-preservation proof；
- citation 或 derived proof。

不得把 Hodge-theoretic transport 自動列成 legal cycle transport。

---

# 12. Phase III 的啟動條件

只有同時滿足：

$$
\mathrm{MeasureClosure}=1
$$

與：

$$
\mathrm{LegalityClosure}=1
$$

才允許對指定子問題啟動 Phase III。

這兩個值不是宣稱全域數學完備，而是研究程序 flag。

AI 必須在啟動文件中明確說明：

> 哪一個有限 scope 內，Phase I 與 Phase II 已經足以支援耦合研究。

---

# 13. Phase III 的主要研究物件

定義：

$$
F_{s\to t}:
\mathscr C_s
\to
\mathscr C_t.
$$

定義 active states：

$$
\operatorname{Act}_t.
$$

定義合法可提升狀態：

$$
F_{s\to t}
\left(
\operatorname{Leg}_s
\right).
$$

定義 defect：

$$
\mathfrak C_{s\to t}
=
\operatorname{Act}_t
\setminus
F_{s\to t}
\left(
\operatorname{Leg}_s
\right).
$$

若可測量：

$$
\kappa_{s,t}
=
M_t
\left(
\mathfrak C_{s\to t}
\right).
$$

Phase III 每一輪只能處理一種尺度轉換或一種 defect family。

---

# 14. 第三階段卡住後的回流規則

若：

$$
\kappa_{s,t}\neq0,
$$

AI 不得直接宣布框架失敗。

先分類 defect。

## Type M：Measure defect

active state 的識別依賴錯誤或不充分的測度分類。

回流：

$$
\mathrm{III}
\to
\mathrm{I}.
$$

## Type L：Legality defect

合法操作集合不完整，或 witness composition 被錯誤限制。

回流：

$$
\mathrm{III}
\to
\mathrm{II}.
$$

## Type S：Scale defect

前兩階段均通過，但跨尺度 transport 真正失敗。

保留於 Phase III，建立 obstruction theory。

## Type U：Undetermined defect

無法判定。

建立專門診斷輪，不得強行分類。

---

# 15. Backtrack 論文規則

回流論文使用：

```text
HODGE_MLRSC_R###_B_<SHORT_TITLE>.md
```

Backtrack paper 不能只說「前面錯了」。

必須包含：

$$
\text{old assumption}
\to
\text{counterevidence}
\to
\text{minimal repair}
\to
\text{dependency impact}.
$$

並列出所有受污染的後續命題。

---

# 16. 反例優先原則

每個猜想在進行長證明前，至少先跑一輪反例搜尋。

對 Measure 類命題，可測：

- K3；
- abelian varieties；
- Weil type abelian varieties；
- hyper-Kähler examples；
- products；
- low-dimensional cases。

對 Legality 類命題，可測：

- pushforward/pullback 邊界；
- codimension mismatch；
- torsion/integral versus rational 差異；
- known failure of integral Hodge variants。

對 Coupling 類命題，可測：

- Hodge locus；
- monodromy；
- Deligne class obstruction；
- known variational failures in integral settings。

---

# 17. 禁止的推理捷徑

AI 不得使用：

$$
\text{correlation}
\Rightarrow
\text{algebraicity}.
$$

不得使用：

$$
\text{numerical equality}
\Rightarrow
\text{cycle existence}.
$$

不得使用：

$$
\text{monodromy invariance}
\Rightarrow
\text{algebraic deformation}.
$$

不得使用：

$$
\text{all tested cases}
\Rightarrow
\text{general theorem}.
$$

不得使用：

$$
\text{finite certificate candidate}
\Rightarrow
\text{finite certificate theorem}.
$$

---

# 18. AI 可自由選擇的方法

在不破壞 phase order 的前提下，AI 可自由使用：

- Hodge theory；
- algebraic geometry；
- topology；
- lattice theory；
- representation theory；
- category theory；
- monodromy；
- period domains；
- derived categories；
- motives；
- algebraic correspondences；
- numerical experiments；
- symbolic computation；
- Lean/Coq 等形式化工具；
- Fiber–Orbit–Tension；
- Coxeter/reflection 結構；
- 新的不變量或新語言。

方法是自由的；proof-state discipline 不是自由的。

---

# 19. 建議第一批自主研究輪次

以下只是 bootstrap queue，不是強制證明路線。

## R001：Hodge Measure Object Audit

目標：比較候選 Measure objects，排除不 intrinsic 或不穩定者。

Primary Claim：

$$
\text{選出 Phase I 的最小核心測度輪廓}.
$$

## R002：Integral Lattice versus Rational Hodge Space

目標：明確區分：

$$
\Lambda_X^p
$$

與：

$$
V_X^p.
$$

避免 integral counterexample 污染 rational Hodge 研究。

## R003：Primitive Decomposition Measure

目標：研究 Lefschetz decomposition 是否提供更自然 active blocks。

## R004：Orbit Occupancy

目標：研究 monodromy decomposition 是否可在不引入 algebraicity 的前提下作為純 Measure 工具。

## R005：Measure Closure Audit I

目標：決定 selected scope 是否可設：

$$
\mathrm{MeasureClosure}=1.
$$

## R006：Direct Legal Witness Taxonomy

目標：正式建立：

$$
\mathsf L_X^p.
$$

## R007：Legal Algebraic Operations

目標：分類 pushforward、pullback、product、correspondence 等 edge。

## R008：Legal Composition Theorem

目標：確認哪些 legal edges 可以 composition。

## R009：Finite Seed Hypothesis Stress Test

目標：測試 L1，而不是預設 L1。

## R010：Legality Closure Audit I

目標：對 selected scope 決定：

$$
\mathrm{LegalityClosure}=1
$$

是否成立。

## R011：First Scale Map

目標：只定義一個：

$$
F_{s\to t}.
$$

## R012：First Coupling Defect

目標：第一次正式計算或分類：

$$
\mathfrak C_{s\to t}.
$$

若 R012 出現非零 defect，後續不直接擴大全域，而先進入診斷。

---

# 20. 長輪次不得吞併短輪次

若一個問題需要二十個 lemma，不代表一定要拆成二十篇。

拆分標準不是 lemma 數，而是：

$$
\boxed{
\text{一個可獨立判定真假的 Primary Claim}
}
$$

但若中途出現新的核心命題：

$$
C'
$$

且：

$$
C'
\not\subseteq
\text{proof duties of }C_r,
$$

則必須開新一輪。

---

# 21. Canonical Source 規則

每篇完成後必須輸出原始 UTF-8 Markdown。

數學 source 只使用：

$$
\texttt{\$\$...\$\$}
$$

與 inline：

$$
\texttt{\$...\$}.
$$

不得以 rendered chat 作為 canonical source。

不得進行 unicode escape round-trip。

不得把 LaTeX 公式自動轉為 Unicode 數學符號後再存回原稿。

不得自行更換 delimiter。

每次正式 commit 前至少驗證：

1. UTF-8 可重讀；
2. delimiter 配對；
3. 不含任何非 canonical 的 LaTeX 數學 delimiter；
4. round ID 唯一；
5. Primary Claim 唯一；
6. status 合法；
7. dependencies 可追蹤。

---

# 22. AI 自主程度

在此協議完成後，人類作者不需要逐輪指定細節。

AI 可自行：

$$
\text{choose next claim}
\to
\text{research}
\to
\text{prove or refute}
\to
\text{write paper}
\to
\text{update state}.
$$

但 AI 不得自行改掉三階段總體順序。

若認為總框架需要修改，必須另寫：

```text
HODGE_MLRSC_META_R###_<TITLE>.md
```

提出 meta-level modification，而不是偷偷修改既有規則。

---

# 23. 研究終止條件

一個研究支線可在下列情形終止：

## T1：證明完成

Primary Claim `PROVED`，且無未解除假設。

## T2：反例完成

Primary Claim `DISPROVED`，已有可重現 counterexample。

## T3：嚴格降階

原問題被證明等價或歸約到更小的明確 open problem。

## T4：資源終止

目前工具不足，但所有未完成點已精確定位。

此時標記 `OPEN`，不得寫成 `CONDITIONAL`。

---

# 24. 全域成功條件

本協議不把「產生很多篇論文」視為成功。

真正的全域目標至少要求：

$$
\mathrm{MeasureClosure}
=
1,
$$

$$
\mathrm{LegalityClosure}
=
1,
$$

以及對足夠尺度鏈：

$$
\kappa_{s,t}=0.
$$

最終才可能建立：

$$
\forall X,p,
\quad
\operatorname{Alg}^p(X)
=
\operatorname{Hdg}^p(X).
$$

若第三階段證明存在不可消除的：

$$
\kappa_{s,t}>0,
$$

則應進一步判斷它是否：

1. 只是框架選擇造成；
2. 對應已知 Hodge 障礙；
3. 提供反例方向；
4. 指向需修正的猜想版本。

---

# 25. 結論

本協議把 AI 自主研究從「長對話持續推演」改成：

$$
\boxed{
\text{paper-indexed proof process}.
}
$$

最小循環為：

$$
\text{Claim}
\to
\text{Evidence}
\to
\text{Proof/Counterexample}
\to
\text{Status}
\to
\text{Next Interface}.
$$

總體循環為：

$$
\mathrm{Measure}
\to
\mathrm{Legitimacy}
\to
\mathrm{Coupling}
\to
\mathrm{Diagnosis}
\to
\mathrm{Backtrack}
\to
\mathrm{Coupling}.
$$

預期最困難區域是第三階段，但第三階段的失敗不應被視為浪費。只要 defect 被準確分類，它就會成為回頭修正第一或第二階段的資訊。

因此本研究計畫採取：

$$
\boxed{
\text{一輪一篇，允許失敗，禁止混證，保留回流}.
}
$$

這使 AI 可以在長期自主研究中保留 proof state，而不是只保留語言上下文。

---

# 參考框架

1. Neo.K, *從測度閉包、合法關係到尺度—範疇耦合：霍奇猜想的一種反向黏性三階段重表述與探索性命題框架*, 2026.
2. H. Wang and J. Zahl, *Sticky Kakeya sets and the sticky Kakeya conjecture*, arXiv:2210.09581.
3. L. Guth, H. Wang and J. Zahl, *A streamlined proof of the Kakeya set conjecture in R^3*, arXiv:2601.14411.
4. C. Voisin, *The status of the Hodge conjecture*, 2026.
5. B. Totaro, *On the Hodge conjecture*, 2026.
6. Neo.K, *從環狀纖維到平面覆蓋張力：Lebesgue 二維萬有覆蓋問題中的 S^1 索引、H_2 五重—十根結構、群作用與 120-cell 類比命題*, 2026.

---

## 啟動狀態

**Protocol Status: READY**

下一個研究輸出預設為：

```text
HODGE_MLRSC_R001_M_MeasureObjects.md
```

除非後續 AI 在正式開輪前找到足以改寫整個 Phase I 的已知定理衝突。