WolframAlpha computational knowledge AI
x^2 - 2 y^2 = 1