← 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,首次附上真正可執行的驗證程式碼。