Birch ve Swinnerton-dyer Varsayımı
Birch ve Swinnerton-Dyer varsayımı, matematikte, bir eliptik eğrinin (bir tür kübik eğri veya torus olarak bilinen bir bölgeyle sınırlı 3. dereceden cebirsel eğri), ilişkili bir fonksiyonun sırasıyla sıfıra eşit olup olmamasına göre ya sonsuz sayıda rasyonel noktaya (çözüme) ya da sonlu sayıda rasyonel noktaya sahip olduğu varsayımıdır. 1960'ların başında İngiltere'de İngiliz matematikçiler Bryan Birch ve Peter Swinnerton-Dyer, Cambridge Üniversitesi'ndeki EDSAC (Electronic Delay Storage Automatic Calculator) bilgisayarını eliptik eğrilerin sayısal incelemelerini yapmak için kullandılar. Bu sayısal sonuçlara dayanarak ünlü varsayımlarını oluşturdular.
2000 yılında Birch ve Swinnerton-Dyer varsayımı, Cambridge, Mass, ABD'deki Clay Matematik Enstitüsü tarafından özel bir ödül için seçilen yedi matematik probleminden biri olan Milenyum Problemi olarak belirlendi. Her bir Milenyum Probleminin çözümü 1 milyon dolar değerindedir.