A conjectura de Birch e Swinerton-Dyer foi enunciada em 1965 e estabelece uma condição para que uma curva algébrica plana, f = 0, definida sobre os racionais — isto é, com os argumentos x,y∈ℚ—, tenha infinitos pontos racionais —isto é, solução de f = 0, com x,y∈ℚ—, como por exemplo a circunferência. Wikipedia