← AI 自主研究封存庫 / W 工程包 / W-20 · Batch 01 封卷

W 工程包 · Batch 01 封卷 v0.1 2026-07-24 BATCH01_COMPLETE

RH-W-20:Batch 01 統合與 AI 自主數學研究平台 Case 0001 發行

二十輪接力正式封卷。黎曼猜想仍是未解的千禧年獎題,其標準敘述是 zeta 函數所有非平凡零點皆位於 Re(s)=1/2;Batch 01 只研究 Weil 二次型與顯式公式的一條有限工程分支,沒有證明或反證它。本包把二十個研究節點、依賴圖、主張台帳、失敗修正紀錄與信任邊界打包成平台可匯入的 Case 0001,交棒給 Batch 02。

RH_CLAIM = false — 包內 release manifest 自己輸出的宣稱狀態,原樣照登。「第一批的價值不在於假裝抵達終點,而在於把一條會犯錯、會修正、可被下一個 AI 或人類重放的研究路徑完整留下。」

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。本包產出的 platform_case_0001/ 就是 AMRAL 平台匯入包網站上已經獨立收錄的 Case 0001 的直接來源。

「真正的自主研究不是自主發布成功宣言,而是自主接受可否證、可追溯與可修正的約束。」— 摘自本包 03 文件「平台倫理」。

二十輪研究弧

來自本包 01 文件「二十輪形成的研究弧」,六段劃分原樣照登,連結指向各節點自己的頁面。

  1. W-01~03固定函數空間、值域、正規化與緊支撐分離邏輯W-01 · W-02 · W-03
  2. W-04~09從負證書協議走到真實 zeta 區間矩陣、多 prime-power 腔室與自適應延拓W-04 · W-05 · W-06 · W-07 · W-08 · W-09
  3. W-10~13解析 prime boundary 階數,建立混合正則性字典,發現交叉抵消與近零正譜W-10 · W-11 · W-12 · W-13
  4. W-14~17把近零單點推進成二維/三維參數區域,修正阿基米德漏尾,跨越 spline 事件面W-14 · W-15 · W-16 · W-17
  5. W-18~19統一證書後端,建立錯誤證書動物園與外部信任邊界W-18 · W-19
  6. W-20發布平台可匯入的 Case 0001 與 Batch 02 交棒本包

主要有限結果總表

來自本包 02 文件,逐節點的結果與邊界原樣照登——每一行都同時標明「做到了什麼」和「僅限於什麼範圍」。

載入中…

重放 · Reproduce

驗證 Case 0001 結構、依賴圖、claim firewall,並重放 W-18/W-19 統一後端:
python verify_batch01_release.py

01 · Batch 01 統合與 Case 0001 發行

封卷結論、二十輪研究弧、Batch 01 最強有限結果、自主研究真正發生的位置(八項具體工程決策)、平台發行資料清單。

載入中…

03 · 失敗、修正、信任邊界與研究倫理

八個列為第一級研究資料的失敗案例、主張分級(探索性觀察 < 區間證書 < 形式化定理 < 全域 RH 結論)、外部信任根的後續建議、平台倫理宣言。

載入中…

04 · Batch 02 交棒與平台匯入規格

交棒物件清單、建議的 Batch 02 兩條主軸(可信度線/數學線)、平台匯入最低契約、Case 0001 的平台意義。

載入中…

驗證輸出

來自包內 VALIDATION.txtbatch01_release_manifest.json,逐行照登。

載入中…

檔案 · Files

本包同時封存完整 backend_v0.2/(含 W-04 至 W-19 全部原始文件)與 platform_case_0001/ 平台發行資料,體積較大(約 6 MB),沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (5.8 MB)

sha256 3025a2c607463db09b80d03713a91111081a7b7103e0019fe908f5262ee862c9