載入清單中…
← 黎曼猜想 · 半自主研究軌道
黎曼猜想 · Neo 主導
這條軌道由 Neo 直接主導研究方向,不是 AI 自主排程的接力。過程跟結果都不如原本預期——沒有推進到 AI 自主軌道(Batch 01) 那樣的完整閉區間證書。原始過程資料原樣封存,回頭當成 AI 自主研究這條線的材料,不是被丟棄的失敗紀錄。 方法論見方法論頁。另一條軌道見AI 自主研究。
六篇內部稿,原字未改。前導技術稿與方法論稿各自獨立;序列①—④依方法論稿規劃的順序推進,每篇文中都自己聲明「不構成黎曼猜想證明」。
Neo.K 主筆、Aletheia(GPT-5.6 Sol)協作的獨立猜想線，不是這裡其他案例的產物。核心設問：一個符號經合法化簡後仍消不掉， 不代表它本體不可約，也可能只是目前的符號語言還不夠深。套用到黎曼 ξ 上：零點本身可能不是最底層的東西，而是某個更深的 「零事件生成」結構投影出來的結果——文件本身反覆聲明「不構成 RH 證明」，並附明確可否證判準。四組文件：基礎猜想文件、 SECV 方法論十篇（第 09、10 篇分別延伸到四色定理與 Navier–Stokes，不只是 RH）、RH_Game 十篇（十篇裡有兩篇是真正的負結果， 不是每篇都支持猜想）、ZeroGenesis_Game 精選 8 篇（原系列 23 篇，是連續的研究日誌而非各自獨立，第 23 篇不是收尾， 只是目前寫到的最後一篇——這件事本身照實說明，完整 23 篇原檔可在下方下載）。原始壓縮包中另有 4 篇標為 BSD 的檔案， 經確認是作者整理時誤放的其他專案內容，與 SECV／RH 無關，未收錄於此。
通用方法基礎，不限於 RH——第 09、10 篇分別以四色定理、Navier–Stokes 為延伸測試域。
SECV 的母命題是：在既定合法域與證明義務下，計算不必求出全部變量，而可以先證明哪些符號不再具有獨立存在的必要性——其形式目標為求 X* = Residual_{Γ,Q}(X_0)，使 Q(X_0|Γ) ≡ Q(X*|Γ) 且 sdf(X*) ≤ sdf(X_0)。
SECV Paper 02 · 符號對角性消除符號對角性消除把 x 與其合法自映射像 D(x) 放入同一比較槽，在 (Γ, Q) 下判定可商化、可對消、可殘差化或不可約，最終輸出的 Σ* = Fix(R_{Γ,Q,D}) 只是相對於該 (Γ, Q, D) 的固定點——標記為 irreducible 僅表示「在目前規則集下尚不可約」，與 proven fundamental 不同。
SECV Paper 03 · 符號自由度降維真正的符號自由度降維被定義為：X 到 Y 為 SDFR 若且唯若 srank(Y) < srank(X) 且 Q(X) ≡ Q(Y)；因此縮短表達式不算降維，而任何 srank = k 的主張都必須同時提供大小 k 的 sufficient basis 上界證書與獨立的下界證書才算閉合。
SECV Paper 04 · 合法消除演算本文把 soundness、termination 與 confluence 訂為三個必須分別驗證、互不蘊涵的可靠性維度（confluence 不蘊涵 soundness，termination 亦不蘊涵 soundness），並將四條主結果全部以「定理模板」形式交付給未來的領域化 SECV runtime 完成；本文自身完成的證明，是有限 reduction chain 的 global soundness 可由 local soundness 經傳遞性組成的初等論證。
SECV Paper 05 · 生成種子本文正式區分 proof sufficiency 與 generative sufficiency：一個 seed (Σ*, Γ_S, G, I_S, Π_S) 只有在同時滿足 seed soundness E(S) ⊆ X_Γ、seed completeness X_Γ ⊆ E(S) 與 seed stability（對所有 x ∈ E(s) 有 R(x) = s）時才具生成能力，而 generative sufficiency 蘊涵 proof sufficiency 的反向並不成立。
SECV Paper 06 · 消除—生成對偶本文把 SECV 的閉環從 E∘R = I 改寫為 quotient 層級的 [E(R(x))]_{Γ,Q} = [x]_{Γ,Q}（即 E∘R ≃ I）與 seed 方向的 R∘E = I_S，並指出若 E(s) = F_R(s)，則 E∘R 返回的不是原物件而是整個 equivalence fiber；exact invertibility 幾乎等於不允許真正 quotient，因此通常反而阻止有效降維。
SECV Paper 07 · 問題域完備性本文把完備性主張的門檻訂死：E(S) = X_Γ 要求 missing domain 與 false-generated domain 同時為空，而高經驗涵蓋率——即使 10^9 個 case 全部被 cover——在缺少有限窮舉、coverage theorem，或 induction 與 structural decomposition 證書時，都不能推出數學上的完備性。
SECV Paper 08 · 無限階對等差以 f(x) = e^(-1/x^2)（x > 0）、f(x) = 0（x ≤ 0）在 x = 0 處所有有限階導數皆為零而 x > 0 時 f(x) ≠ 0，本文確立 flat to all orders 不蘊涵 identically zero：因此即使對所有有限 N 都有 R = O(ε^N)，仍必須另有 analytic 或 quasianalytic 的 closure theorem 才能推出 R = 0。
SECV Paper 09 · 四色 benchmark本文把「為什麼不是五色」重新形式化為：對 seed s 定義 color-necessity rank κ(s) 與 fifth-color necessity defect δ_5(s) = max(0, κ(s) − 4)，指出可說的只有「不存在一個合法、不可約、完備生成閉環所必需的第五色自由度」，而非「第五種顏色無法被使用」；相應的四色閉合結果僅以五項前提的條件式定理模板形式給出，並未在本文完成。
SECV Paper 10 · 跨域壓力測試本文的核心是殘差完成原則：Finished Proof = Certified SECV Reduction + Domain-Specific Residual Completion——SECV 把 P 壓成 P ⟺ P^(Δ*) 之後，原問題只有在另行證明 Δ* = 0、Δ* 不屬於合法域，或 Δ* 本身生成所需的合法 witness 三者之一時才算完成，且這三種 completion 的邏輯方向完全不同。
十種不同數學表示的探索性測試，結果分布誠實不修飾：一篇窄域正結果、兩篇明確負結果、其餘七篇皆為 PARTIAL 或 RH-conditional。
在 xi 的 cosh 核正測度表示下，PF_2 層的 Toeplitz 二階小行列式非負精確等價於傾斜測度的變異係數上界 CV^2_{P(n-1)}(u^2) ≤ (4n+1)/(n(2n-1))；本局完成的是這個改寫，而非該不等式的證明。
RH Game 02 · 缺陷曲率與秩位移對偶連續三階 Toeplitz 行列式可精確壓成三個相鄰 Turán 缺陷的曲率條件 D(3,n)/a_n^3 = δ_n^2 - (1-δ_n)^2·δ_{n-1}δ_{n+1}，而同輪標題所稱「結案」的 PF_2 層是由 Csordas–Norfolk–Varga (1986) 與 Csordas–Varga (1988) 的既有定理提供，並非本局新證。
RH Game 03 · van Dantzig 對偶與 Hausdorff 矩格倒數對數導數的冪和 p_m = Σ_j β_j^m 經 c_n = p_{n+1}/(p_1·L^n) 正規化後成為 [0,1] 上的 Hausdorff 矩序列，使 RH 對應到 Pascal 型有限差分格 A(n,k) ≥ 0；但論文明言此終點與 Zhang (2023) 等既有判準重合，本局所做的是把 van Dantzig、Hausdorff、Toeplitz 三路統一成同一張化約–生成圖。
RH Game 04 · Wall 正則矩與有限種子不可能性二維 Hausdorff 正性格 A(n,k) ≥ 0（對所有 n,k）可正則地壓成一維箱約束 0 ≤ g_n ≤ 1（對所有 n）；同時本局論證出通用 Hausdorff 正性不存在固定有限局部種子，因每一階正則矩都帶來新的自由參數。
RH Game 05 · Wall 尾端吸引子（RH 條件下）在假設 RH 的前提下，xi 的 Wall 正則矩鏈具有可求和的邊界吸引性（g_n 趨於 1 且 Σ(1-g_n) 收斂），且端點逆質量 B_m 服從一條精確的兩步重正化遞迴——這些皆是 RH 的推論（RH 推出 X），不是支持 RH 的獨立證據。
RH Game 06 · 重正化殘差與 Beta(1/2,1) 定點重正化後的 Riemann 逆零點尾端收斂到普適的 Beta(1/2,1) 定點（極限正則矩 g*(2k-1) = (2k-1)/(4k-1)、g*(2k) = 2k/(4k+1)），因此尾端質量趨零並不代表符號殘差已消失——同一局也判定 Game 05 的有限不變區策略太粗。
RH Game 07 · 漸近偽裝（負結果）尾端正性不是對 RH 敏感的觀測量：以 Riemann–von Mangoldt 主項的 Lambert-W 反函數，可在不假設 RH 的情況下（證明綱要層級）建立成長正性窗 n + k ≤ c·log N（c < 1/log 4），因此高處線外零點在逆矩座標中會自動落入越來越深的合法偽裝區。
RH Game 08 · 匹配 Cayley 放大器在匹配尺度 c = |z| 與 n = 4m 下，單一零點軌道對廣義 Li 係數的貢獻精確為 -8·sinh^2(2m·artanh(x/|z|))：線上軌道為 0、線外軌道嚴格為負，構成一個可由 log xi 實點導數計算的局部缺陷放大器（判準本身仍屬 Li／Bombieri–Lagarias／Sekatskii 的既有結果）。
RH Game 09 · Fejér 高度小波與二次提升廣義 Li 係數的二次提升給出 Gram 矩陣 G(j,k) = Λ_j(c) + Λ_k(c) - Λ_{|j-k|}(c)，其對所有 M 半正定與 RH 等價；論文明白承認「我們仍沒有證 RH，因為這本身就是 RH-equivalent condition」，本局真正新增的是精確 sech 高度核與 Fejér 帶通所給的可計算 (c, M) 譜圖。
RH Game 10 · 素數側 Laguerre 與 Schur–CMV 鏈本局把 Cayley–Li Gram 半正定族依序壓成 Toeplitz 正定、Carathéodory 正實函數（即 Lagarias 判準 Re(ξ'/ξ)(s) > 0 於 Re s > 1/2），再壓成一條可由 s_0 = 1/2 + c > 1 處 ξ'/ξ 導數生成的純量 Schur 鏈 |α_n(c)| ≤ 1，即 Cayley 零點角度測度的 Verblunsky 係數；作者明言這不是新的 RH 等價定理，而是既有結果之間的合法商化重寫。
連續研究日誌，非各自獨立單元；精選開篇、實質內容較多的幾篇，加上最後一篇 23——放 23 篇正是因為它沒有真正收尾系列，這件事本身值得誠實呈現。完整 23 篇原檔見下方封存。
在 path graph、Dirichlet Laplacian 與半線 Airy 三個系統中，F(s)=0 可在完全不把零點清單當輸入的前提下，被逐級降成 ker A(s) 非零、L_s 與 R_s 相交、transversality 失效、直到 phase defect Delta phi(s) = phi_L(s) − phi_R(s) 落在 pi 的整數倍，達到本篇自定分級的 Z1–Z4；而對 Riemann ξ 只達到語法層，缺的是「arithmetic data 蘊含 generator 合法」這一支非循環箭頭。
ZeroGenesis 05 · 對稱摺疊對任意固定 c > 1/2，定義 M_c(z) = h(1/2 + c 乘 (1−z) 的平方根) 除以 ((1−z) 的平方根乘 h(1/2+c))，其中 h = ξ'/ξ；其在 z=0 的任意有限 Taylor jet 只由 s_0 = 1/2 + c > 1 的絕對收斂素數冪資料生成，每一組函數方程零點軌道成為留數恆等於 −m_rho 乘 2/(c h(s_0))、與零點高度無關的量子化極點，且 RH 等價於 M_c 為 [0,1] 上的 Hausdorff 矩生成函數。
ZeroGenesis 09 · 能量判準以加權面積測度 r 乘 |ξ'/ξ(1/2 + r + it)| 平方 dr dt 度量，臨界線上的簡單零點在邊長 L 的 Carleson 盒中恰貢獻 (pi/2 + log 2) 乘 L 的有限能量，而 rho = 1/2 + x + i gamma（x > 0）的 m 重零點產生 2 pi x m 平方 乘 log(1/eps) 的對數發散、重整化能量荷為 2 pi (Re rho − 1/2) m 平方，於是 RH 等價於 r 的 1/2 次方乘 ξ'/ξ 屬於 Re s > 1/2 上的局部 L 平方。
ZeroGenesis 12 · 回到素數側令 R(t) = e 的 −t/2 次方乘 (psi(e^t) − e^t)，則 RH 等價於 R 是緩增分布，且緩增閾值與每個有限 1 <= p < 無窮 的閾值都恰等於零點譜橫坐標 sup_rho Re rho，故真正的不變量是把素數殘餘推入穩定類所需的最小指數阻尼，而不是阻尼之後所選的範數。
ZeroGenesis 15 · 表象殘餘簡單截斷權重 Lambda_R 的首階矩帶有自身的 RH 敏感 Möbius Riesz 模 A(R) − 1（其 Perron 變換含 1/(zeta(s+1) s 平方)），而 Selberg / Ramanujan 權重 lambda_R 因代數恆等式「r 的因數上 mu 之和等於 r=1 的指示函數」使主項恰塌成 N，得到不用 PNT 也不用 RH 的 sum lambda_R = N + O(R)——因此該 Möbius 臨界模是表象產物、可被更好的預條件器代數移除，而真正的 psi(N) − N 在 R 約為 N 的平方根時原封不動留在 Lambda 與 lambda_R 的差之累加中。
ZeroGenesis 18 · 零點選擇濾波J_2 = h 平方 + h' + 2 gamma h，等於倒數 zeta 的二階導數比加上 2 gamma 倍的一階導數比（h = −zeta'/zeta），在 s = 1 全純、在每個 m 重非平凡零點有係數 m(m+1) 的二階極點，其 Dirichlet 係數 j_2(n)（等於 n 的因數上 mu(d) 乘 (log d) 平方 之和，再加 2 gamma Lambda(n)）只支撐在素數冪與恰有兩個相異素因數的整數上，於是 RH 等價於其累加函數對每個 eps > 0 都是 O(x 的 1/2 + eps 次方)。
ZeroGenesis 20 · 尺度陷波兩抽頭膨脹陷波 F_A(s) = A 的 −s 次方乘 (1 − A 的 1−s 次方)（A 為不小於 2 的整數）在 s = 1 有零而其餘零點全在 Re s = 1，故在開臨界帶中不抵消任何非平凡零點；其素數訊號 D_A(x) = psi(x/A) − A psi(x 除以 A 平方) 不含任何顯式 x 主項，並滿足 D_A(A 平方乘 y) 除以 (Ay) 等於 psi(Ay)/(Ay) − psi(y)/y，且其加權能量與 Game 12 的素數誤差能量在 1/2 < sigma < 1 上範數等價，於是 RH 等價於該能量對所有 sigma > 1/2 有限。
ZeroGenesis 23 · 平穩性分類對 Game 21 的定域殼過程 Z_A(t)（等於 e 的 −t/2 次方乘殼小波在 e^t 的值），其乘子 J_A(s) = A 的 s 次方 加 A 的 1−s 次方 減 (A+1) 在開臨界帶無零、頻率增益介於 (A 的平方根 減 1) 的平方 與 (A 的平方根 加 1) 的平方 之間，RH 同時等價於 Z_A 為 B 平方 概週期、Cesàro 均方有限、單一固定窗長的 Stepanov-L 平方 有界、以及 B 平方 平移殼緊緻；且把此過程穩態化所需的指數阻尼恰為 sup_rho Re rho 減 1/2，與 A 無關。
下載完整 SECV 封存包（44 檔，含未精選的 15 篇 ZeroGenesis_Game 原檔）—— 已排除原壓縮包中誤放的 4 篇 BSD 內容，SHA-256 逐檔可查核。
載入清單中…