WolframAlpha computational knowledge AI
complexity class BPP