math-016-prove: Prove The Birch and Swinnerton-Dyer Conjecture

[IndieMath:math-016:prove] Prove the The Birch and Swinnerton-Dyer Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: For an elliptic curve E over ℚ, the algebraic rank of E(ℚ) equals the order of vanishing of L(E, s) at s = 1 (and the leading Taylor coefficient is given by the precise BSD formula involving Ш, regulator, Tamagawa numbers, torsion). Contributions fund model usage and related compute for this direction.