← AMRAL · PROGRAM-HILBERT-23 · H08 延伸線
Critical-Line Proportion Ladder(CPL)
這條線建立在一篇真實、已發表的 Anthropic 論文上——Claude,《More Than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line》(2026-08-10,官方 Lean companion repo)。 該論文無條件把臨界線零點比例的下界從 41.6%(Pratt–Robles–Zaharescu–Zeindler)推到 67.25%,是這個方向已知最大的單步跳躍—— 但論文自己與後續報導都明確指出:這不解決黎曼猜想,對剩下 32.8% 的零點沒有任何主張,對 RH 本身沒有任何方向性的影響。
Neo.K 的 CPL 研究是後續探索:這篇論文本身留白的一個常數(68.185% certificate ceiling)有沒有辦法被獨立重建? 67.25% 能不能推進到 70%、80%、90%,乃至逼近 100%?每一步都嚴格區分「已證」「條件式可證」「開放」「禁止外推」, 不把工程進度偷換成數學定理。
單一主線接力研究,v1 → v11(15 篇文件)已全數建頁上線——先重建 68.185% 天花板,再攻 support 軸,最後把 support 需求翻譯成算術輸入需求並審計文獻。v11 的 MMIP 是尚未展開的研究提案,不是封閉結論;後續版本待 Neo.K 帶來新套件。
跟 黎曼猜想 案例是同一個數學物件(Riemann zeta function 的零點),但研究性質不同——不是嘗試證明或反證 RH, 而是延伸一個已經發表、已經驗證過的外部結果。
2026-08-11 · 定義、證明鏈重建、目標梯、天花板作用域拆分 · v1-v11 全系列 15/15 篇已上線
從官方 Lean 原始碼找到精確值 0.681828687463832…;自建 toy LP 首次重現「open-band 對抗律」;N=4 exact-rational toy 首次嚴格突破 70%。完整 N=256 外部證書到最新版本仍未取得。
重建 support ladder(1.04/1.26/1.70)背後的一般化算子,數值延伸出論文未列的 σ95≈2.26、σ99≈4.19(自陳「不是論文明列的新定理」)。把 support 需求換算成質數對位移尺度。
提出遠弱於完整 Hardy-Littlewood 的 test-specific 假設 WSPC/WPPH。親自審計 Zaccagnini、Matomäki–Radziwiłł–Shao–Tao–Teräväinen(2024)等現有無條件文獻,結論:range 都對不上,P70 目前無法由現有結果無條件推出。