This repository presents Version 4.0 of a formal, type-theoretic, and fully machine-verifiable proof of the Birch and Swinnerton-Dyer (BSD) Conjecture, built upon the framework of Collapse Theory and the AK High-Dimensional Projection Structural Theory (AK-HDPST) v14.5.
elliptic-curves algebraic-number-theory collapse-theory bsd-conjecture birch-swinnerton-dyer zeta-correspondence topological-collapse ext-class-elimination functorial-proof type-theoretic-formalization collapse-bsd-theorem ak-high-dimensional-projection
-
Updated
Aug 1, 2025 - TeX