They actually use KaTeX [1], which is much faster than MathJax, supports server-side rendering, but supports a smaller subset of LaTeX than MathJax.

[1] https://khan.github.io/KaTeX/