I hypothesise that offloading this brain work to a machine atrophies your cerebral muscles. Exercises left to the reader are really exercises in an almost kinesthetic sense.
The computations don't have to be purely numerical: even a diagram chase in abstract nonsense is a valuable exercise. Computation frequently leads to insight. As children are adding two-digit numbers, they start to notice shortcuts about how to perform the computations. These are their own little private theorems, so to speak. So when Devlin here is talking about "mathematical thinking" and the less importance that performing algorithms has today, I hope we don't forget that just because it's less important, it doesn't mean it's not important at all.