Birch ve Swinnerton-Dyer varsayımı (BSD) genel olarak kanıtlanmamıştır. Ancak, bazı özel durumlar kanıtlanmıştır: 2001 yılında Shou-Wu Zhang, modüler eliptik eğriler ve tamamen gerçek sayı alanları üzerindeki GL(2)-tipi modüler abelyen çeşitler için bir BSD varsayımı genellemesi olan rank-bir Birch-Swinnerton-Dyer varsayımını kanıtlamıştır. BSD varsayımı, bir fonksiyon alanı üzerindeki bir eliptik eğri için, ancak ve ancak eğrinin Sha grubu sonlu ise doğrudur. 1986'da Gross-Zagier formülü, BSD varsayımına dair önemli bir ilerleme kaydetmiştir. BSD varsayımı, Clay Matematik Enstitüsü tarafından sunulan Millennium Prize Problems'den biridir ve doğru bir kanıt veya çürütme için 1 milyon dolarlık bir ödül sunulmaktadır.