WolframAlpha computational knowledge AI
factor(2^67-1)