# 黎曼猜想 AI 研究起點 v0.1 ## 由四份舊稿清理而成的非證明研究底稿 **原始構想：** Neo.K **研究重構與方法編排：** Aletheia（GPT-5.6 Thinking） **日期：** 2026 年 7 月 23 日 **性質：** 開放問題研究底稿、實驗規格與 AI 研究接口 **明確地位：** 非證明、非定理宣告、非黎曼猜想成立之主張 --- ## 0. 文件邊界 本文不宣稱下列任何事項： - 不宣稱已證明黎曼猜想； - 不宣稱已找到黎曼猜想的新等價條件； - 不宣稱「觀察者維度論」已成為數學理論； - 不宣稱解析延拓等同於任意參數化投影； - 不宣稱存在普遍、唯一的「最佳觀察角度」； - 不把數值最小值、視覺規律或有限高度驗證稱為證明； - 不把座標變換後的零點移動誤認為原函數出現新結構； - 不把失去歐拉乘積或乘法性視為矛盾。 本文只做四件事： 1. 保存原始研究的初心； 2. 整理已知且可核查的數學錨點； 3. 將未成立的敘述降格為可證偽的研究假說； 4. 建立可供 AI、數值計算與形式化工具共同推進的研究狀態。 --- # 1. 研究初心 最初的直覺並不是「用圖像代替證明」，而是： > 同一個數學對象在不同座標、表示、積分公式、核變換與形變族中，可能呈現非常不同的可見結構。與其只盯住最後的命題，不如把「如何觀看、如何表示、如何形變」本身變成可控制、可比較、可否證的研究對象。 這個初心可以保留，但需要從本體論宣言退回研究方法： - 不預設某個表示比較「真」； - 不預設資訊指標必然在 $\operatorname{Re}(s)=\tfrac12$ 最優； - 不預設最優參數存在或唯一； - 不預設觀察到的規律與 RH 具有邏輯蘊含； - 即使某條路失敗，也保存其斷裂位置、反例與可重用工具。 因此，本計畫的精神不是： $$ \text{生成一條看似完整的證明敘事}, $$ 而是： $$ \text{生成候選結構} \rightarrow \text{分解證明義務} \rightarrow \text{主動尋找反例} \rightarrow \text{保留可驗證殘餘}. $$ --- # 2. 四份來源的清理結果 本稿只使用以下四份原始材料： 1. 《黎曼猜想思想實驗 3.0——公開更正版》； 2. 《黎曼猜想思想實驗 3.0——公開最終版》； 3. 《解析延拓的觀察者維度論：數學的範式革命》； 4. 《動態投影實驗：通過「調參數」驗證解析延拓的地圖本質》。 清理後，內容被分成四類。 | 類別 | 處理方式 | |---|---| | 已知經典結果 | 保留，但標明外部來源，不歸為本文新成果 | | 可重現數值計算 | 保留為實驗與軟體測試，不升格為理論證據 | | 有價值的研究直覺 | 改寫為假說、定義候選或研究問題 | | 超額宣稱、循環論證、範疇混淆 | 刪除或列入失敗資料庫 | --- # 3. 已知數學錨點 以下項目可作為研究代理不可自行改寫的硬錨點。 ## 3.1 黎曼猜想的狀態 黎曼猜想目前仍是開放問題。其標準形式是：黎曼 $\zeta$ 函數的所有非平凡零點 $\rho$ 均滿足 $$ \operatorname{Re}(\rho)=\frac12. $$ 有限高度上的數值驗證不等於全域命題。 ## 3.2 Dirichlet 級數與歐拉乘積的作用域 在 $$ \operatorname{Re}(s)>1 $$ 時， $$ \zeta(s)=\sum_{n=1}^{\infty}\frac1{n^s} =\prod_p\left(1-p^{-s}\right)^{-1}. $$ 這個歐拉乘積的直接收斂區域不包含臨界帶 $$ 0<\operatorname{Re}(s)<1. $$ 因此，任意「歐拉乘積成立，所以臨界帶零點必定位於臨界線」的推理都缺少橋樑。 ## 3.3 解析延拓與功能方程 完成化函數可寫為 $$ \xi(s) = \frac12s(s-1)\pi^{-s/2}\Gamma\!\left(\frac{s}{2}\right)\zeta(s), $$ 並滿足 $$ \xi(s)=\xi(1-s). $$ 為避免符號混淆，本文區分兩種歸心表示。 複歸心座標： $$ X(z):=\xi\!\left(\frac12+z\right), \qquad X(z)=X(-z). $$ 實譜座標： $$ \Xi(t):=\xi\!\left(\frac12+it\right), $$ 其中 $t\in\mathbb R$ 時，$\Xi(t)$ 為實值偶函數。 ## 3.4 零點對稱不等於零點固定 功能方程與共軛對稱會使非平凡零點形成相應對稱軌道。若 $\rho$ 是零點，相關點通常包括 $$ \rho, \quad 1-\rho, \quad \overline{\rho}, \quad 1-\overline{\rho}. $$ 集合在對合下不變，不能推出每個元素都是對合固定點： $$ J(Z)=Z \not\Rightarrow \forall \rho\in Z,\ J(\rho)=\rho. $$ 這是原始「對稱鎖定」敘事失效的核心原因之一。 ## 3.5 輻角原理 若閉曲線 $\Gamma$ 上沒有零點或極點，則 $$ \frac{1}{2\pi i} \oint_\Gamma \frac{f'(z)}{f(z)}\,dz = N_\Gamma-P_\Gamma. $$ 對稱零點在同一逆時針圍道中通常是同號計數，不因鏡像對稱自動相消。 ## 3.6 de Bruijn–Newman 形變 取標準核 $\Phi(u)$，定義 $$ H_t(z) = \int_0^\infty e^{tu^2}\Phi(u)\cos(zu)\,du. $$ 此族滿足 $$ \frac{\partial H_t}{\partial t} = -\frac{\partial^2H_t}{\partial z^2}. $$ 存在 de Bruijn–Newman 常數 $\Lambda$，使得 $H_t$ 的零點全為實數，當且僅當 $$ t\geq\Lambda. $$ 已知關係為 $$ RH \Longleftrightarrow \Lambda\leq0. $$ Rodgers–Tao 已建立 $$ \Lambda\geq0. $$ 公開的嚴格數值結果還給出 $$ \Lambda\leq0.2. $$ 因此目前可寫成 $$ 0\leq\Lambda\leq0.2, $$ 並且 $$ RH \Longleftrightarrow \Lambda=0. $$ 這是已知重述與邊界，不是本研究的新推導。 ## 3.7 有限高度的嚴格驗證 已有使用區間算術與嚴格誤差界的工作確認：在高度 $$ 0<\operatorname{Im}(\rho)\leq3\times10^{12} $$ 範圍內的非平凡零點位於臨界線。此結果仍然只是有限高度命題。 --- # 4. 可保留的計算工具 以下項目可保留為可重現工具，但不得稱為本文的新定理。 ## 4.1 Jacobi theta 轉換 令 $$ \theta(t)=\sum_{n\in\mathbb Z}e^{-\pi n^2t}, $$ 則 $$ \theta(1/t)=\sqrt t\,\theta(t). $$ 它可用於把數值上收斂較慢的區域轉換到較快收斂的區域。 ## 4.2 Mellin–theta 表示 令 $$ \psi(t)=\sum_{n\geq1}e^{-\pi n^2t}, $$ 則可使用對稱積分表示計算完成化 $\zeta$ 函數。這類表示適合做： - 功能方程的數值回歸測試； - 臨界帶函數值計算； - 不同實作之間的交叉檢驗。 它不提供 RH 的直接證明。 ## 4.3 輻角計數 $$ N_\Gamma-P_\Gamma = \frac{1}{2\pi i} \oint_\Gamma\frac{f'}{f} $$ 可轉為區域零點計數程序。實際嚴格驗證仍需要： - 邊界無零點／極點證書； - 積分誤差界； - 區間算術； - 必要時配合 Turing 方法。 ## 4.4 對數高斯權重 舊稿中的權重 $$ g_\lambda(n) = \exp\!\left[-\frac{\lambda}{4}(\log n)^2\right] $$ 滿足 $$ \frac{g_\lambda(pq)}{g_\lambda(p)g_\lambda(q)} = \exp\!\left[-\frac{\lambda}{2}\log p\log q\right]. $$ 因此 $\lambda\neq0$ 時一般不具乘法性。這是正確代數事實，但目前沒有通往 RH 的邏輯橋樑。其合理用途是研究平滑核、數值加權與乘法結構的損失，而不是製造矛盾。 --- # 5. 必須刪除或降格的內容 ## 5.1 「解析延拓就是投影族」 對一個固定解析芽而言，解析延拓在相容且連通的條件下受唯一性控制。任意改變參數後得到的新函數，不能自動稱作同一函數的另一個解析延拓。 原始概念改寫為： > 研究同一數學對象的不同表示、座標、積分公式、截斷方案與合法形變族，並比較其可觀測結構。 ## 5.2 「唯一最優觀察角度」 不存在普遍理由保證最優參數一定存在、唯一或等於 $\tfrac12$。任何最優化都必須先指定： - 參數空間； - 允許的變換； - 目標函數； - 拓撲與緊緻性； - 是否對重新參數化不變。 最多只能寫成任務相對的問題： $$ \theta^*(J,\Theta) \in \operatorname*{argmin}_{\theta\in\Theta} J(\mathcal O_\theta). $$ 存在性與唯一性本身都是待研究命題。 ## 5.3 「掃描 $\beta$ 找到 $\beta=\tfrac12$」 若先使用已知位於臨界線的零點作為種子，再比較不同直線，實驗會把輸入偏見帶回輸出。尤其 `zetazero(n)` 返回的就是臨界線零點表示，不能再用它證明臨界線具有特權。 ## 5.4 「零點越等距越真」 黎曼零點的原始間距並非等距。研究局部間距時需要先依平均零點密度展開，例如使用 $$ \overline N(T) \approx \frac{T}{2\pi}\log\frac{T}{2\pi} - \frac{T}{2\pi} + \frac78, $$ 並定義展開座標 $$ x_n=\overline N(\gamma_n), \qquad s_n=x_{n+1}-x_n. $$ 即使某個形變使間距變異係數下降，也只能說該指標下降，不能推出 RH。 ## 5.5 「座標扭曲產生新零點資訊」 若 $$ F_\alpha(s)=\zeta(T_\alpha(s)) $$ 且 $T_\alpha$ 可逆，則 $$ F_\alpha(s)=0 \Longleftrightarrow T_\alpha(s)\in Z(\zeta). $$ 這只是零點集合的逆像。若圖像變得傾斜、縮放或旋轉，可能完全是座標效果。 ## 5.6 「失去歐拉乘積就是矛盾」 函數形變後不再具乘法係數或歐拉乘積，並不違反算術基本定理。這條原始證明路徑已封閉，除非未來找到一個額外定理，能把特定形變的非乘法性與 RH 的否定建立非循環蘊含。 ## 5.7 「科技正常運作支持 RH」 RSA、QED、哈希函數與弦論中出現的相關數學，不提供 $\Lambda=0$ 的有效貝葉斯證據。此類敘事全部移出研究主體。 --- # 6. 觀察框架研究假說 原「觀察者維度論」降格並重建為以下操作性框架。 ## 6.1 基本資料 設 $O$ 為研究對象，$\Theta$ 為參數空間。對每個 $\theta\in\Theta$，定義 $$ \mathcal O_\theta = M_\theta\bigl(T_\theta(O)\bigr), $$ 其中： - $T_\theta$ 表示對象、座標或表示的合法變換； - $M_\theta$ 表示可觀測量、數值程序或特徵抽取器； - $\mathcal O_\theta$ 是實際取得的觀測結果。 「觀察者」在此只是一個索引化框架，不指涉心理主體。 ## 6.2 五類操作必須分離 ### A. 座標變換 同一對象在不同座標中表示。主要問題是協變性與不變量。 ### B. 表示變換 例如級數、積分、Fourier 表示、Mellin 表示或算子表示。它們可能改變可計算性，但不改變底層對象。 ### C. 函數形變 例如 de Bruijn–Newman 族 $H_t$。不同參數通常是不同函數，但可研究零點如何隨參數演化。 ### D. 解析延拓 從局部解析資料擴張到更大定義域，受恆等定理與單值性條件約束。它不是任意參數掃描。 ### E. 數值近似 截斷、離散化、有限精度與求根器產生的是近似觀測，必須另帶誤差模型。 ## 6.3 不變量與缺陷量 對座標或表示變換，可尋找 $$ I(\mathcal O_\theta)=I(O). $$ 對真正形變，不應預設不變，而應追蹤 $$ \Delta_I(\theta) = I(T_\theta O)-I(O). $$ 研究問題是：哪些量保持、哪些量改變、改變是否具有單調性或臨界行為。 --- # 7. 黎曼猜想適用的實驗族 ## 7.1 控制組：純座標變換 平移、旋轉、縮放、剪切等可逆變換應先作為負控制。其用途是確認研究系統能識別： $$ \text{圖像變化} \neq \text{新數學資訊}. $$ ## 7.2 主實驗族 A：de Bruijn–Newman 熱流 這是與 RH 具有已知邏輯接口的形變族。可研究： - 零點軌跡； - 近碰撞與 Lehmer pair； - 零點條件數； - $t$ 方向的局部動力； - 現有上下界所需的計算證書。 但數值追蹤只能改進界或發現局部結構，不能自動完成 $\Lambda\leq0$。 ## 7.3 主實驗族 B：顯式公式與測試函數 令 $\mathcal H$ 為允許測試函數空間，考慮零點側與素數側耦合的泛函 $$ Q(f). $$ 若採 Weil 型正性路線，核心研究接口不是「看起來最規律」，而是： $$ RH \Longleftrightarrow \forall f\in\mathcal H, \quad Q(f)\geq0. $$ 後續可研究生成族 $\mathcal G$、負證人的壓縮與正性閉包。 ## 7.4 主實驗族 C：計算表示比較 比較 Riemann–Siegel、theta–Mellin、輪廓積分與其他表示時，合理目標是： - 誤差； - 條件數； - 運算成本； - 高度增長下的穩定性； - 對零點定位的靈敏度。 最優表示只代表對特定計算任務更有效，不代表該表示證明 RH。 --- # 8. 可接受的實驗指標 ## 8.1 函數殘差 $$ r_\theta(z)=|F_\theta(z)|. $$ 必須同時報告精度、截斷誤差與求根停止條件。 ## 8.2 零點條件數 對簡單零點 $z_0$，局部敏感度與 $$ \kappa(z_0) \sim \frac1{|F'(z_0)|} $$ 相關。靠近多重零點或零點碰撞時，條件數可能急遽惡化。 ## 8.3 對稱缺陷 對應函數確實應具備相關對稱時，可定義 $$ D_{\mathrm{sym}}(z) = |X(z)-X(-z)| + |X(z)-\overline{X(\overline z)}|. $$ 此量主要用於檢查數值實作是否破壞已知對稱，不用來證明所有零點是固定點。 ## 8.4 展開後間距統計 使用平均計數函數展開零點，再計算局部統計。任何統計結果都標記為 `EXPERIMENTAL`，不與全域零點定位混同。 ## 8.5 整數型證書 輻角原理、Turing 方法與區間算術可形成較強的計算證書。只有具明確誤差界與邊界條件的結果，才標記為 `CERTIFIED_NUMERICAL`。 --- # 9. 可證偽橋樑與研究圖 本計畫不直接生成 $$ \varnothing\Longrightarrow RH, $$ 而是建立研究圖。 ## 9.1 目標節點 $$ P_0: \quad \text{判定觀察框架／形變方法是否能產生非循環、非平凡的 RH 約束。} $$ ## 9.2 候選橋樑 ### $M_1$：操作分類完備性 每個實驗必須能被明確歸類為座標變換、表示變換、函數形變、解析延拓或數值近似。 失敗證人：同一操作被不同模組不一致分類，或沒有可檢查定義。 ### $M_2$：非平凡形變性 候選形變族不能只是可逆座標變換的重新命名。需判定是否存在 $C_\theta$ 使 $$ F_\theta=C_\theta^{-1}F_0C_\theta. $$ 若完全共軛，觀測到的改變可能只是一種表示效果。 ### $M_3$：指標—命題接口 若使用目標函數 $J(\theta)$，必須建立明確定理接口： $$ J(\theta)\ \text{的某種性質} \Longrightarrow \text{某個已知 RH 等價條件或必要條件}. $$ 沒有這條接口，最佳化只有資料分析意義。 ### $M_4$：負證人壓縮 若採正性判準，需研究是否能把任意負證人壓縮到可控生成族： $$ Q(w)<0 \Longrightarrow \exists g\in\mathcal G, \quad Q(g)<0. $$ ### $M_5$：生成族正性 $$ \forall g\in\mathcal G, \quad Q(g)\geq0. $$ 這是高風險節點，必須檢查是否暗中等價於 RH。 ### $M_6$：正性閉包 若 $g_n\to f$，需要足以推出 $$ Q(g_n)\geq0 \Longrightarrow Q(f)\geq0 $$ 的正確連續性或閉二次型條件。不能把標準下半連續不等式方向寫反。 --- # 10. AI 研究代理規格 研究狀態記為 $$ S_t= (P_t,K_t,M_t,T_t,\Omega_t,F_t,C_t,D_t), $$ 其中： - $P_t$：目標命題； - $K_t$：已知硬錨點； - $M_t$：候選橋樑； - $T_t$：橋樑所需次級命題； - $\Omega_t$：候補定義、形變與測試族； - $F_t$：失敗、反例與循環紀錄； - $C_t$：計算結果與誤差證書； - $D_t$：依賴圖。 每輪循環為 $$ \text{Analyze} \rightarrow \text{Generate} \rightarrow \text{Retrieve} \rightarrow \text{Backfill} \rightarrow \text{Compute} \rightarrow \text{Verify} \rightarrow \text{Falsify} \rightarrow \text{Update}. $$ ## 10.1 AI 分工 - **建構代理：** 生成定義、橋樑與局部推導； - **懷疑代理：** 尋找反例、循環、量詞錯誤與作用域混淆； - **文獻代理：** 判定命題是否已知、錯引或已有反例； - **計算代理：** 進行高精度與區間計算； - **形式化代理：** 將可閉合片段送入 Lean； - **依賴審計代理：** 確認 RH 本身未出現在候選橋樑祖先節點中。 ## 10.2 狀態標籤 - `KNOWN`：外部已知結果； - `REPRODUCED`：已重現的計算或推導； - `CERTIFIED_NUMERICAL`：具有嚴格誤差證書的有限計算； - `EXPERIMENTAL`：一般數值觀察； - `CONJECTURAL`：候選命題； - `FORMALIZED`：形式系統完整驗證； - `BLOCKED`：缺少橋樑； - `REFUTED`：已有反例或邏輯錯誤； - `CIRCULAR`：依賴目標命題或其等價形式。 除外部已知定理或完整形式化結果外，不使用「已證明」標籤。 --- # 11. 第一階段執行順序 ## Cycle 0：來源清理 狀態：已完成。 輸出： - 宣稱移除； - 已知結果與原創直覺分離； - 失敗證明鏈保存為反例庫； - 動態投影重分類。 ## Cycle 1：經典工具回歸測試 重現： - theta 轉換； - Mellin 表示； - 功能方程； - 輻角計數； - 對數高斯權重非乘法性。 這一輪只測試研究環境，不尋找 RH 新結論。 ## Cycle 2：控制組 實作可逆座標變換，確認系統不會把： - 傾斜； - 旋轉； - 縮放； - 剪切； 誤判為零點結構的新發現。 ## Cycle 3：de Bruijn–Newman 局部動力 建立零點追蹤、條件數、近碰撞與誤差控制模組。研究輸出首先是局部動力學資料與算法穩定性。 ## Cycle 4：正性橋樑 選擇明確的 Weil 型或相關正性形式，嘗試定義可計算生成族 $\mathcal G$，優先攻擊 $M_4$、$M_5$、$M_6$。 ## Cycle 5：形式化接口 將不依賴 RH 的局部引理送入 Lean，並禁止使用： - `sorry`； - 未列明的額外公理； - 把主要橋樑作為假設後再宣稱完成。 --- # 12. 當前最重要的研究問題 1. 能否建立一個對重新參數化不敏感的觀察指標？ 2. 哪些形變真正改變函數，哪些只是改變座標？ 3. de Bruijn–Newman 熱流中，哪些局部零點動力可以被 AI 自動分類與形式化？ 4. 是否存在自然生成族 $\mathcal G$，使負證人可被壓縮到其中？ 5. 生成族上的正性是否比完整 RH 更容易，還是只是重新包裝 RH？ 6. 顯式公式中的局部素數項與無窮位置項，能否形成可計算的補償機制？ 7. 哪些數值結果可以升級為區間算術證書？ 8. 哪些局部命題已適合 Lean，哪些仍缺少分析函數庫？ 9. 觀察框架方法是否能產生真正的新不變量，而不是重新命名既有表示？ 10. 若所有候選橋樑失敗，能否把失敗原因壓縮成一個明確的不可能性結果？ --- # 13. 當前結論 四份舊稿清理後，沒有留下黎曼猜想證明，也沒有留下「解析延拓具有唯一最佳觀察角度」的定理。 留下的是三種可用資產： 1. **一份精確的失敗地圖。** 其中包含對稱性誤用、歐拉乘積作用域混淆、形變與延拓混同、數值結果升格為證明等典型錯誤。 2. **一組可重現工具。** 包括 theta 轉換、Mellin 表示、輻角計數、熱流形變與高精度計算接口。 3. **一個可被重新建立的研究直覺。** 不再宣稱「觀察者本體論」，而是研究不同表示與形變如何改變可見結構，以及哪些可見量真正連接到 RH。 因此，新的研究起點不是： $$ \text{我們已經接近證明 RH}, $$ 而是： $$ \text{我們已經建立一個不允許假證明存活的研究環境}. $$ 這個環境接下來可以交給 AI 長期迭代。其成功標準不是產生更長的敘事，而是逐輪減少： - 未定義概念； - 循環依賴； - 無因果連結的數值指標； - 無法回填的橋樑； - 未被主動攻擊的假說。 若最終沒有證明，仍應留下可核查的局部定理、算法、反例、形式化模組與失敗邊界。 --- # 參考資料 1. B. Rodgers and T. Tao, *The De Bruijn–Newman Constant Is Non-Negative*, Forum of Mathematics, Pi 8 (2020), e6; arXiv:1801.05914. 2. D. H. J. Polymath, *Effective Approximation of Heat Flow Evolution of the Riemann $\xi$ Function, and a New Upper Bound for the De Bruijn–Newman Constant*, Research in the Mathematical Sciences 6 (2019); arXiv:1904.12438. 3. D. Platt and T. Trudgian, *The Riemann Hypothesis Is True up to $3\cdot10^{12}$*, Bulletin of the London Mathematical Society 53 (2021), 792–797; arXiv:2004.09765. 4. NIST Digital Library of Mathematical Functions, Chapter 25: Riemann Zeta Function. 5. Clay Mathematics Institute, *The Riemann Hypothesis*, Millennium Prize Problems. 6. Neo.K, 《黎曼猜想思想實驗 3.0——公開更正版》. 7. Neo.K, 《黎曼猜想思想實驗 3.0——公開最終版》. 8. Neo.K, 《解析延拓的觀察者維度論：數學的範式革命》. 9. Neo.K, 《動態投影實驗：通過「調參數」驗證解析延拓的地圖本質》.