← BSD 猜想 · Phase 0
全局包圍 · 2026-08-12 · 裁決:GO,進入 Phase 1
不宣稱證明 BSD,也不把 LMFDB 的數值吻合當成證明。這一批完成:拆分弱 BSD、Sha 有限性與強 BSD 首項公式; 建立目前已知定理的 closure map;建立曲線級 BSD certificate ladder(C0–C10);審計外部可用路線,判定 Strong-BSD Twist-Family Reproduction 為首選;審計並否決了 Neo.K 舊稿「格點秩收斂」的主張 (循環論證風險,歸檔為探索性類比);設計第一個可執行 Agent 實驗與 machine-readable JSON schema; 建立一個「未證明／未認證曲線」的忠實證書前沿(Certificate Globalizer)。
九篇文件依序而讀——每一篇都是下一篇的前提,建議照順序看。第 05 篇是本包最特別的一篇:對研究者自己舊主張的正式否決。