WolframAlpha computational knowledge AI
80 choose 3