WolframAlpha computational knowledge AI
a(a^2-1)=2b^2 over the integers