Mathematica does symbolic integrals, for example, better than any human. Of course, it doesn’t use human methods. It just blasts through to the answer using fancy math. And that means, for example, that when Wolfram|Alpha shows the steps for doing an integral it’s really a fake: it’s something that was reverse engineered from the answer, and specifically set up to be human understandable.
