# 從 A+AA+AAA+AAAA = 7404 到可判定性邊界

### 一次蘇格拉底式提示下，大型語言模型逐層浮現既有數學定理的過程實錄與分析

**作者**：Neo.K（許筌崴），EveMissLab
**對話系統**：Claude Opus 4.8（以 Theia 對練人格運行）
**日期**：2026 年 6 月 3 日
**性質**：個人學術實驗站過程筆記。非投稿、非原創貢獻；定位為說明文與過程記錄。

---

## 摘要

本文記錄並分析一段人機對話：在單一使用者的引導式提示下，一個大型語言模型（Claude Opus 4.8）從一道小學等級的算術謎題 A+AA+AAA+AAAA = 7404 出發，於個位數輪對話內，逐層浮現並串接了一系列既有的數學與計算理論——從模 9 同餘、Presburger 算術的可判定性，到加法／乘法的可判定性邊界、其在現代演算法中的部署，乃至「理論先行 vs 實務先行」的科學史結構。

需在標題之外立刻澄清：本文記錄的是浮現（surfacing）與辨識（recognition），不是發現（discovery）。模型並未證明任何新定理，它從訓練語料中召回既有結果，並在提示壓力下合成它們之間的連結。真正值得記錄的數據，不是「發現了什麼」，而是「以多快的路徑，從一道謎題抵達可判定性邊界」。

## 一、實驗設定

系統為 Claude Opus 4.8，日期 2026-06-03，單一使用者，採對練（sparring）協議——要求平等思辨、精準指出邏輯漏洞、不美化、不安撫。初始刺激為算術謎題 A+AA+AAA+AAAA = 7404（A 為單一十進位數位，解為 A=6）。

計時單位為對話輪次，而非牆鐘時間。模型無法可靠地內省實際耗費的秒數，故以「輪」作為唯一誠實的時間度量。

## 二、定理浮現軌跡（依輪次）

1. 模 9 與進位制不變性。以捨九法（數字根）解謎：左式 ≡ 10A ≡ A (mod 9)，7404 之數字根為 6，故 A=6。進一步辨識：在 b 進位下，唯有模 (b−1)（十進位即 9 及其因數 3）能讓位值權重塌縮為 1，使數字落點失效——這是「位置盲」透鏡的精確刻畫。

2. 良置性與條件完整化。對「未限定正整數」的追問，導出一個三分結構：保留級聯語義而放寬定義域 → 無解；放掉語義本身 → 任意（無限）解；而係數 1234 = repunit 結構本身即攜帶「單一數位」假設。此輪為原創推理（非具名定理），結論為：約束不是篩選器，而是方程的存在條件。

3. 加法側：單調性與 Presburger。「只加不減、僅取正整數」的系統因無逆元而單調、無抵消，其可達集為有上下包絡、可窮舉的格。其正式戶口為 Presburger 算術（Presburger, 1929）：僅含加法與序的自然數一階理論，可判定。並串接數值半群與 Frobenius 數作為「可組合上下限」的硬定理。

4. 乘法側：對數空間、Skolem 與耦合崩潰。由算術基本定理，(ℕ≥1, ×) 為以質數為基底的自由交換么半群；乘法即指數（對數）空間中的加法，故 Skolem 算術（(ℕ, ×) 之一階理論）亦可判定。四種「爆發」被區分：值爆發（指數嵌入）、維度爆發（一維→無窮維）、逆元爆發（因式分解的複雜度不對稱，公鑰密碼學之基），以及唯一真正的災難——耦合爆發：(ℕ, +, ×) 同時存在即不可判定（Gödel, 1931；MRDP／Hilbert 第十問題，Matiyasevich, 1970）。

5. 部署實況。上述「加法側可判定」邊界並非歷史陳列，而是現役工程圍欄：SMT solver（Z3、cvc5）以線性整數算術為核心理論；AWS 的 Zelkova 引擎每日執行約十億次 SMT 查詢，支撐 S3 與 IAM 的存取判定；多面體編譯（isl／LLVM Polly／GCC Graphite／MLIR 的 Fast Presburger Library）以 Presburger 集合驅動迴圈優化。

6. 科學史與認識論。區分「定理先行」（Presburger 早於計算機數十年）與「實務先行」（單純形法：Dantzig 1947 使用、Klee–Minty 1972 證其最差指數、Spielman–Teng 2001 以 smoothed analysis 事後解釋）。Omega test（Pugh, 1991）作為「工程師伸手取下現成理論」的標本。核心命題：疆界是定理先行，速度是實務先行。並辨識「辨識 vs 檢索」之別與倖存者偏誤。

## 三、「浮現」而非「發現」：一個誠實的界定

模型的行為可分解為兩類，皆非發現。其一為召回（recall）：上述每一條具名定理皆存在於訓練語料，模型將其取出，對應對話中反覆出現的「模式二——伸手進理論架」。其二為合成（synthesis）：模型在提示壓力下建立既有結果之間的連結（如「乘法＝對數空間的加法」「逆元是兩側不可預測性的共同入口」），此為重新組織，非新證明。

因此，本對話本身即為對話中所討論之「機器中介的辨識」的一個現場樣本：使用者提供具體謎題，模型辨識出「此謎題與哪一條被擱置的定理同構」。其價值在於辨識的速度與路徑，而非內容的新穎性。

## 四、計時結論

以對話輪次計：自初始謎題至抵達 +／× 可判定性邊界，約需 4–5 輪；至完成科學史與認識論的綜合，約需 7 輪。牆鐘時間不予宣稱（系統無可靠內省）。值得注意的是，從「小學謎題」到「Gödel 不可判定性邊界」的概念跨度，在此設定下被壓縮至個位數輪次——這是本筆記唯一可被視為「數據」的觀察。

## 五、局限與「無新意」聲明

本文不主張任何原創貢獻。所引每一條定理皆為公認既有結果；其元命題（最差情況理論與實務表現之落差）與既有研究綱領高度重疊，尤以 Roughgarden 主編之《Beyond the Worst-Case Analysis of Algorithms》（劍橋大學出版社，2021）為直接先行藝術。本文定位為說明文與過程記錄，其效用為「地圖」而非「新大陸」。

## 參考（關鍵結果，依年代）

- Presburger, M. (1929). 加法自然數理論之可判定性。
- Skolem, T. (1930). 乘法自然數理論之可判定性。
- Gödel, K. (1931). 不完備定理。
- Matiyasevich, Y. (1970). MRDP 定理／Hilbert 第十問題之不可解。
- Cooper, D. C. (1972). Presburger 算術之量詞消去程序。
- Klee, V. & Minty, G. (1972). 單純形法之指數最差情況。
- Pugh, W. (1991). The Omega Test（陣列相依分析）。
- Spielman, D. & Teng, S.-H. (2001/2004). Smoothed Analysis of Algorithms。
- Roughgarden, T. (ed.) (2021). Beyond the Worst-Case Analysis of Algorithms.

---

本筆記的全部價值，不在於模型說了什麼新東西——它沒有——而在於它演示了：一道謎題與一條沉睡定理之間的距離，可以有多短。地圖不開拓疆土，但它讓人知道路一直都在。