WolframAlpha computational knowledge AI
fundamental theorem of arithmetic