WolframAlpha computational knowledge AI
Mersenne prime definition