Well, by that metric it's about equally trivial for any maths student to solve indefinite integrals (e.g. using Wolfram Alpha), right? It's not that I disagree

Well, by that metric it's about equally trivial for any maths student to solve indefinite integrals (e.g. using Wolfram Alpha), right? It's not that I disagree about the utility of modern technology, but I just think that some things are inherently difficult for humans even if there is a handy oracle to compute them.