WolframAlpha computational knowledge AI
is the sqrt{2} in the rationals?