WolframAlpha computational knowledge AI
bet3 < aleph3