WolframAlpha computational knowledge AI
transcendence of pi