WolframAlpha computational knowledge AI
probability of 12 successes in 14 trials