WolframAlpha computational knowledge AI
1^2+2^2+3^2+4^2=x^2,x>0