AMRAL

研究框架:五個獨立的軸

每一個研究案例由 Case × Methodology × Protocol × Autonomy × Validation 五個彼此獨立的軸描述,不再是單一強制流程。

未來展望:希爾伯特二十三問題

黎曼猜想是第一個案例,不是終點。CASE-0001 掛在希爾伯特第八問題底下: PROGRAM-HILBERT-23 → H08 → 黎曼猜想 → Weil 二次型研究 → Batch 01。 主張很直接:已被證明的問題,仍然可以被重新研究;答案的存在,不等於研究路徑的終結。

這條計畫線往後每個新案例走同一套節奏——Batch、W 系列工程包、封卷、平台匯入包——AMRAL 這個名字不變,會變多的只是案例。

同一個 H08 底下也長出一條延伸線:臨界線比例梯(CPL)。它不是嘗試證明或反證 RH, 而是延伸一篇真實、已發表的 Anthropic 論文——Claude《More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line》(2026-08-10),無條件把臨界線零點比例推到 67.25%,明確不影響 RH 本身。 Neo.K 的後續研究是重建論文自留白的一個常數、審查能否推進到 70% 以上。

第二條計畫線:萬有覆蓋問題

跟希爾伯特二十三問題平行、不隸屬其下的另一群經典開放問題:掛谷針問題、Moser 蟲問題、Lebesgue 萬有覆蓋問題—— 同樣是「一維物件的方向變化如何轉譯成二維承載區域」這條主軸的不同切面。PROGRAM-UNIVERSAL-COVERING 目前掛兩個 各自獨立的案例:直接攻堅 Moser 蟲問題的數值最佳化,跟把掛谷、中心生成螺旋、Moser 統一起來的橋接理論。兩者不合併記錄。

第三條計畫線:P versus NP

PROGRAM-P-VS-NP 是另一個獨立問題族,分兩個各自獨立的案例。p-np-dual/ 是傳統 P/NP 對偶討論: 不預先選邊,同時把 H=: P=NP 與 H≠: P≠NP 建到各自最強版本,在同一套計算模型、 資源帳本與正確性標準下逐輪互相攻擊,24 輪覆蓋量詞壓縮、跨表示不變量、Clocked 對角化、WQO 與語義單調性等主流工具鏈, 不急於宣布證明完成。glc-framework/ 則是第 24 輪之後,研究者自己另外提出的「動態四層閉合框架」—— 把問題重新投影到 GCC／USRT／USEG／GLC 四層,核心表述「過程自由,最終帳本不自由」,附兩個執行順序互異的研究交接方案並陳。 這條線目前只做到「把已完成的研究攤開展示」,還沒有繼續往下推進。

第四條計畫線:BSD 猜想

PROGRAM-BSD 是第四個獨立問題族——Birch and Swinnerton-Dyer 猜想,另一個 Clay Millennium Prize 問題。 核心工具是曲線級證書階梯(C0 身分 → C9 完整強 BSD → C10 family 定理),精確分級每條曲線、每個質數究竟證到哪一層, 不是只存一個「BSD true/false」的布林值。目前 Phase 0(全局包圍框架,九篇)與 P5(rank-2 曲線 389.a1 於 p=11 的單一質數強 BSD,十篇)已上線—— Phase 0 其中一篇是對研究者自己舊主張的正式否決,P5 目前壓縮到只剩複數首項與 Selmer 行列式的比較仍是 OPEN。 Phase 1(重現 Banwait–Huang 2026 演算法化普查)、Phase 2(非半穩定曲線 696.e1 顯式 twist 家族)都已有大量真實進展,尚待逐篇建頁。

第五條計畫線:CCM 計算複合方法論

PROGRAM-CCM(Computational Composite Methodology)跟前四條線性質不同——不是攻堅單一猜想, 而是一套給數學研究本身用的方法論理論:如何系統性組合計算探索、形式化驗證與人類審查, 產生可追蹤、可否證、可交棒的研究狀態。目前基礎理論篇上線,規劃了 13 個校準基準與一套以希爾伯特第三問題 為應用案例的 18 輪系列,兩者都已定範疇但尚未逐篇建置。

第六條計畫線:Navier–Stokes 全域正則性

PROGRAM-NS 是第六個獨立問題族——三維不可壓縮 Navier–Stokes 方程的全域正則性問題,另一個 Clay Millennium Prize 問題。文件開頭即明確列出八項不主張:不主張已證明 global regularity、不主張已構造 finite-time blow-up、不主張 True ETN(無限維張力場)或 X 積分本身能推出 PDE 正則性。核心工具是把問題壓縮成 兩條互補、可證偽的命題:C1(Chain Necessity)——blow-up 必須生成一條來源可追蹤、逐尺度合法的 X-legal UV concentration chain;C2(Finite Obstruction)——任何這樣的鏈都必在有限尺度被真正 N–S 結構阻斷。若兩者皆證明,則 ¬Blowup。

目前:C1a/C1b(UV 逃逸必要性、非線性補給的因果來源)CLOSED;C2 已證明純量可加預算不足以排除 blow-up(抽象 cascade ledger 反例),前沿轉向 C3 跨尺度耦合剛性,展開為 25 輪獨立子調查。後續 C4(9 輪,同步化與共享事件耦合)、 C5(13 輪,記錄窗與補償動機狀態空間)、C6(17 輪,最小遞迴缺陷循環與 sink-SCC 提取)相繼完成—— framework + C1/C2/C3/C4/C5/C6 全 67 篇目前皆已上線,全域正則性仍完全 OPEN,沒有任何一輪 宣稱已解決。另有一份跨全系列的機器可讀符號對照表,收錄全部 67 篇中 定義過的每個符號。