WolframAlpha computational knowledge AI
solve x^2-y^2=11! over the integers