Not a language model at all, and that is precisely the point. Wolfram Alpha is a computational engine: it does not predict what an answer probably looks like, it computes it. That means it does not produce confident arithmetic errors, which is the most common failure of everything else on this list.
Strongest at: correctness, and depth in advanced territory - symbolic algebra, calculus, discrete maths, matrices. It is also the tool to reach for when you want to verify something another model told you.
Worth knowing: it is the weakest of these for learning. It wants structured input rather than a sentence, struggles with informal word problems, and explains very little about why a method works.
Best for: verification, engineering and scientific calculation, and anybody who already knows the method and needs the result to be right.