TeX was invented to typeset math but is now used for reasoning

I'll keep this short, since it's a simple observation that I haven't seen anybody else make, about the way computer systems do math.If you ask a language model to do a multi-step math problem (let's take GLM-5.3 as an example because you can see the entire CoT — nothing up its sleeve), you might see something like this:We need to evaluate the integral $\int_0^\infty \frac{x^3}{e^x - 1} dx$.The standard approach: Use the geometric series expansion. We have $\frac{1}{e^x - 1} = \frac{e^{-x}}{1 - e...