研究起點 v0.2 2026-07-23 GAP_DRIVEN_RESEARCH_ESTABLISHED

黎曼猜想 AI 研究起點 v0.2:GAP 化

從「候選證明稿是研究單位」改成「GAP 邊 G=(A→B) 是研究單位」——一次建立 47 個首輪 GAP,分布在十條完整路線:Weil 型正性(W)、Nyman–Beurling 閉包(NB)、Li 係數正性(LI)、Hilbert–Pólya 譜實現(HP)、de Bruijn–Newman 熱流(DBN)、顯式公式與素數誤差(EF)、Speiser 導數判準(SP)、隨機矩陣統計(RMT)、Adelic/Connes 迹公式(AD)、觀察框架與動態投影(OD)。後續整條 W-01~W-20 系列,只是路線 W 的展開——本包留下的 GAP Atlas 顯示這只是十條並行路線之一。

非證明研究工程文件 — 包內主文件「性質」欄位自陳,原樣照登。「不得直接要求『證明 RH』」;v0.2 不以 RH 是否被證明作為唯一成功標準。

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。

上一版研究起點 v0.1

下一版研究起點 v0.3 · 首個GAP閉合

路線 W 展開為W-01 ~ W-20

研究起點系列2 / 23

「從 v0.2 開始,AI 不再產生一整篇未經審計的 RH 證明,而是持續維護 Sₜ=(Kₜ,Gₜ,Fₜ,Cₜ,Dₜ)……研究的下一步不是再增加敘事,而是逐條回答:這一條 GAP 能否被回填?」— 摘自本包主文件第 6 節「當前結論」。

v0.2 核心改變

GAP 邊的正式定義、每輪研究流程(定義固定→文獻檢索→候選回填→反例搜索→計算/形式驗證→狀態更新)、第一批建議工作節點(含 RH-W-01/02/05、RH-OD-03、RH-HP-05)、六項成功標準。

載入中…

RH GAP Atlas v0.1

完整十條路線的 GAP 登錄全文——每條路線各自的已知入口、GAP 清單與路線判定,原樣收錄。路線 W(第 6 節)就是後續 W-01~W-20 整條系列的源頭規格。

載入中…

重放 · Reproduce

47 個 GAP 的登錄一致性檢查:

python validate_registry.py

檔案 · Files

上一版研究底稿(01_RH_AI_研究起點_v0.1.md)原樣併入本包,內容跟 v0.1 自己的頁面相同,這裡不重複渲染。

載入中…

下載完整封包 (35.9 KB)

sha256 150988fdda6bc2a5a0876c1490d153d8f61d32ae4f92b1805db5b05c885f4e49