WolframAlpha computational knowledge AI
a2+b2=c2, a+b+c=1000