Masalah Milenium

Konjektur Birch dan Swinnerton-Dyer menawarkan jenis tertentu dari persamaan, mendefinisikan kurva eliptik atas bilangan rasional. Konjektur ini mempermasalahkan bahwa ada cara sederhana untuk mengetahui apakah persamaan tersebut memiliki jumlah terbatas atau tak terbatas dari solusi rasional. Masalah Hilbert kesepuluh ditangani dengan jenis yang lebih umum dari persamaan, dan dalam hal itu terbukti bahwa tidak ada cara untuk memutuskan apakah suatu persamaan yang diberikan bahkan mempunyai solusi.