WolframAlpha computational knowledge AI
solve x^2=2