Demostrar que la ecuación $4x^3-3x+1=2y^2$ tiene al menos $31$ soluciones en enteros positivos $x$ e $y$ con $x\leq 2005$.