← AMRAL · PROGRAM-ACTM
Algebraic Combinatorial Transcendence Methodology · 方法論論文加 34 輪研究筆記（2026-09-30 至 10-04）；沒有任何一輪證明或反駁四指數猜想
ACTM 是一份方法論：研究哪些代數種子與關係結構，在指數、對數與冪這類「逃逸算子」下獲得超越次數；附候選診斷量、六階段計畫與 Schanuel 預測度介面。實際內容在第 2 輪之後轉向一個具體的開放問題——四指數猜想（Four Exponentials Conjecture）。R01–R02 校準經典結果（Lindemann–Weierstrass；Gelfond–Schneider 與 Baker）；R03 把四指數猜想改寫成等價的結構問題（一個「2 → 1」的維度缺口）；R04–R09 研究一個假想反例的兩種型別（Type P／Type B）與二進制錨定下降塔 BADT；R10–R16 證明「有理線性 Waldschmidt–Masser 放大器」這條策略走不通；R17–R34 沿 Dasgupta–Kakde（Adv. Math. 487, 2026）的路線，針對他們未解的蘊涵 (w) ⇒ (m) 在實的 BADT₂ 情形攻堅，停在一座明確開放的橋——「Cubic One-More-Zero」。
誠實的現況：沒有任何一輪宣稱證明四指數猜想、Matrix Coefficient 猜想、Schanuel 猜想或 BADT₂ 的不可能性，也沒有任何一輪宣稱某個具體常數的超越性、代數獨立性或無理性（35／35 份文件都有不宣稱行；R02 的 2^√2 例子是經典的 Gelfond–Schneider／Baker）。內容分四類：(1) 經典結果的正確重述（R01–R03）；(2)「若存在 Type P／BADT 狀態則…」的條件式結構理論（R04–R09）；(3) 關於證明策略的障礙定理（R10–R19、R24–R27、R33），其中「NoGo」從不表示四指數猜想為假；(4) 精確的複雜度、漸近與次數結果（R18、R19、R25、R28–R31、R33、R34），部分依賴外部定理（Waldschmidt 1978、Perucca–Sgobba）。全部是未經審稿、由 AI 執行的數學。範圍上限：BADT₂ 是 Type P 的子案例，而 Type P 只是兩條分支之一；R05 之後再沒有回頭處理 Type B。對 BADT₂ 的完全成功，也只解決四指數猜想的一個角落。
自評的 PASS 與驗證腳本：34 輪的判定全都是自評的「PASS」，包括內容是「這條路走不通」的輪次；方法論自己定義的 PROVED／KNOWN／DERIVED／CONJECTURAL／UNKNOWN 五級標籤在 R01–R34 從未使用。24 份驗證腳本都是有限的健全性檢查——本站全部重跑過，皆 PASS，計數重現（5,150／14,420／40,698／31,419,396），R12–R14 的 CSV 逐位元組重生——但 R11 的界表與 R12–R14 的 2＋4＋12 個特例是寫死的，R22 有一個空洞的斷言，R28 以代數替身代替超越數 s。沒有形式證明的產物。
系列內部的更正與容易誤讀的措辭：R24 是 R23 的勘誤（R23 的腳本仍斷言舊的界）；R30 撤回 R29 的一個啟發式；R16 讓 R11–R15 在邏輯上多餘（它稱之為「佐證」）；R28 的次數界被 R30／R31 取代。「已完全解決」「一次關閉」「解開 ASRP」這類措辭（R16、R20、R22、R23）都限定在各自文件裡的範圍，脫離上下文會誤導。R04 方框中的「2^(π³) 必為超越數」是以「2^π 與 2^(π²) 皆為代數」為前提的條件式結果（經典形式：2^π、2^(π²)、2^(π³) 中至少有一個超越）。日期與版本也有出入（R07、R23 的標頭日期早於檔案時間；R16 是唯一的 v1.0）。
作者與出處：35 份文件的標頭都寫「作者：Neo.K；Aletheia（GPT-5.6 Sol）；機構：EveMissLab／一言諾科技有限公司」，沒有任何一份說明誰主導、誰執行，也沒有人工審查的紀錄，沒有提到 Claude。外部查核：Dasgupta–Kakde（arXiv:2408.08178；n = 2 的情形等價於四指數猜想；(m) ⇒ (o) 已證；(w) ⇒ (m) 未解）、Floater（arXiv:2603.19900）與 Roy–Waldschmidt 1995／1997 都存在，且與系列引用的方式吻合；Waldschmidt 1978 的常數、Perucca–Sgobba 與 Philippon 1997 沒有複查。
閱讀路徑：先讀方法論（不宣稱）、R03（開放目標）、R16（最強定理與它自己的範圍說明）、R34（終點）。想看一條失敗路線怎麼被誠實記下，讀 R08 與 R24；R17 是 Dasgupta–Kakde 路線「已證／未證」的地圖；R33 的「不證明什麼」最清楚。R11–R15 在邏輯上被 R16 取代、R23 被 R24 部分更正；其餘輪次不另開頁面，列在下方表格並提供下載。原文的部分式子使用未定義的 LaTeX 巨集（R17、R22–R28 的 \BKd、\BK、\Log），在頁面上會顯示為紅色原始碼，原檔位元組未更動；三份枚舉用的 CSV 不單獨提供（腳本約 2 秒可重生）。
方法論與 13 輪有獨立頁面；其餘 21 輪見下方表格。全部原文是 zh-Hant 夾英文術語。 14 個閱讀頁面的正文已提供完整中英雙語；權威原文與全文譯本均可分別下載。翻譯不代表獨立數學驗證，也不提升原文的證據等級。下方僅供下載的原件與套件不包含在上述全文雙語範圍內，維持原始位元組。
有獨立頁面的 14 份文件與其餘各輪的原始位元組，未經改寫；20 個原始 zip 另附。其餘各輪附一句話主張與旗標（「無」＝沒有發現誇大；「輕微」＝措辭可能被過度解讀，或系列後面已更正）。完整封存保存在 AMRAL 的研究封存庫，依 SHA-256 逐檔驗證。