WolframAlpha computational knowledge AI
2k^2=n^2