La conjetura dice que existe una forma sencilla de saber al caso si esas ecuaciones tienen un número finito o infinito de soluciones racionales.