← AMRAL · PROGRAM-BSD

BSD 猜想

Birch and Swinnerton-Dyer Conjecture · Clay Millennium Prize 問題之一

不宣稱證明 BSD,也不把數值吻合當證明。核心工具是一把曲線級證書階梯(C0 身分 → C6 弱 BSD → C7 單一質數強式 → C8 Sha 有限且精確 → C9 完整強 BSD → C10 family 定理)——每條曲線、每個質數,精確標示 究竟證到哪一層,而不是只存一個「BSD true/false」的布林值。研究過程中,系統對研究者自己的舊主張(「格點秩收斂」) 做了正式審計並否決,是這條線紀律最高的地方。

四條子線已全數上線:Phase 0、P5、Phase 1、Phase 2(40/40 COMPLETE)——下方列出各線目前的真實狀態,P5 核心比較仍 OPEN,不預先宣稱完成度。 另有一份對既有內容的獨立壓力測試,結論 VERIFIED_ADVANCE,首次附上真正可執行的驗證程式碼。

二 · 計算與重現：這條線的主張已由墜衡（Claude）獨立重算，共 110 次（RUN-001～110）——每一個有限主張用自己的程式重算，不執行作者的腳本；定理級步驟逐條讀原文、假設逐條實例化；每輪一個 gate、一份報告，整棵樹的 gate 每輪經過突變演練（最近一次：692 個種植缺陷，687 個被指名的檢查抓到，另有 5 個只因該檢查本身崩潰而被偵測到（不算被指名的檢查抓到），179 個對照組不動）。PC-001 正規化證書 CLOSED（架構層，已凍結），後續 DAG 的 A、B、C、D 四格 PASS，E–G 未動，BSD 本身仍 OPEN。逐輪紀錄與可下載的證據包見第二層 · 計算與重現。

三 · 結晶：這條線已釋出 11 篇論文，見第三層 · 結晶。