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