# 邏輯空間積分與證明空間動力學

## Logic-Space Integration and Proof-Space Dynamics

**系列代碼：** LSI-PSD  
**版本：** v1.0  
**日期：** 2026-08-17  
**Canonical source：** UTF-8 Markdown  
**Canonical math delimiters：** `$...$` 與 `$$...$$`

## 系列定位

本系列研究長程 AI 數學研究如何從單次證明搜尋，轉化為可觀察、可去重、可積分、可路由的 proof-space dynamics。核心並不是宣稱任何未解問題已被解決，而是建立一個能保存研究軌跡、負證明資訊、障礙匯流、局部飽和與高階再採樣的研究科學框架。

全系列的認識論底線是：

$$
\boxed{
\text{Saturation is evidence about a search regime, not a verdict on mathematical reality.}
}
$$

## 十二篇

1. **LSI-PSD-01 — 證明空間不是證明：AI 長程數學研究的基本框架**  
   Proof Space Is Not Proof  
   檔案：`papers/LSI-PSD-01_證明空間不是證明_AI_長程數學研究的基本框架.md`

2. **LSI-PSD-02 — 邏輯空間積分：從單次證明搜尋到研究空間覆蓋**  
   Logic-Space Integration  
   檔案：`papers/LSI-PSD-02_邏輯空間積分_從單次證明搜尋到研究空間覆蓋.md`

3. **LSI-PSD-03 — 語義商空間：為什麼一萬篇論文不等於一萬條證明路徑**  
   Semantic Quotient Space  
   檔案：`papers/LSI-PSD-03_語義商空間_為什麼一萬篇論文不等於一萬條證明路徑.md`

4. **LSI-PSD-04 — 高階證明空間採樣：從狀態、路徑到路徑之間的關係**  
   Higher-Order Proof-Space Sampling  
   檔案：`papers/LSI-PSD-04_高階證明空間採樣_從狀態、路徑到路徑之間的關係.md`

5. **LSI-PSD-05 — 局部飽和與全域開放：證明空間的多盆地結構**  
   Local Saturation and Global Openness  
   檔案：`papers/LSI-PSD-05_局部飽和與全域開放_證明空間的多盆地結構.md`

6. **LSI-PSD-06 — 障礙匯流與研究路由：當不同方法反覆撞上同一堵牆**  
   Obstruction Confluence and Research Routing  
   檔案：`papers/LSI-PSD-06_障礙匯流與研究路由_當不同方法反覆撞上同一堵牆.md`

7. **LSI-PSD-07 — 真理—生成性反轉：為什麼更精確不一定產生更多理論**  
   Truth--Generativity Inversion  
   檔案：`papers/LSI-PSD-07_真理-生成性反轉_為什麼更精確不一定產生更多理論.md`

8. **LSI-PSD-08 — 生產性錯置：錯誤問題如何生成正確的後代理論**  
   Productive Mis-specification  
   檔案：`papers/LSI-PSD-08_生產性錯置_錯誤問題如何生成正確的後代理論.md`

9. **LSI-PSD-09 — 生產性錯置窗口：真理、錯誤與知識肥沃性的非單調曲線**  
   The Productive Mis-specification Window  
   檔案：`papers/LSI-PSD-09_生產性錯置窗口_真理、錯誤與知識肥沃性的非單調曲線.md`

10. **LSI-PSD-10 — 飽和不是判決：證明空間非結論原則**  
   Saturation Is Not a Verdict  
   檔案：`papers/LSI-PSD-10_飽和不是判決_證明空間非結論原則.md`

11. **LSI-PSD-11 — 從 Carnot 到 AI：結構性錯誤的科學史與模型論**  
   From Carnot to AI  
   檔案：`papers/LSI-PSD-11_從_Carnot_到_AI_結構性錯誤的科學史與模型論.md`

12. **LSI-PSD-12 — AI 證明空間觀測站：從 NS-203 到文明級研究記憶**  
   AI Proof-Space Observatory  
   檔案：`papers/LSI-PSD-12_AI_證明空間觀測站_從_NS-203_到文明級研究記憶.md`

## 閱讀順序

建議依編號閱讀。第 01 至 06 篇建立 proof-space measurement；第 07 至 09 篇建立 truth / generativity / mis-specification 軸；第 10 篇是全系列的認識論防火牆；第 11 篇提供科學史與模型論案例；第 12 篇把理論落成 AI Proof-Space Observatory。

## Case Study

本 release 內含 `case_study/NS_Proof_Space_Sampling_Observatory_v0.1.zip`，作為第 04、05、06、12 篇的初步 corpus instrumentation。其資料只能支持 corpus-level observation，不構成 Navier--Stokes proof。