WolframAlpha computational knowledge AI
(1/6)k(k+1)(1+2k)=n^2