WolframAlpha computational knowledge AI
sum(1...n) = n