Unless Mathematica has changed completely over the years, one thing that Jordi seems to overlook is that it is designed to be used to expose the step by step logic of mathematical proof, although it is hardly surprising that most users prefer to just get to the answer as fast as possible using whatever short cuts have been added over the years. Over time it becomes ever harder to reopen such black boxes, though there are certainly times when we should.

While my disagreements of detail with Wolfram tend if anything to harden with time and divergent experience, I still recognise that his early cellular automata work, Mathematica and A New Kind of Science have all helped me on my own journey, though I've yet to make significant use of Alpha.

My own take is that as much as Mathematica has enabled Wolfram, it has also imprisoned him, most particularly is a fondness for formalism which is hard to justify post Godel. Arguably, he is also stuck a bit far down the slippery slopes of reductionism and determinism to fully appreciate emergent context.

But at least his chosen path has provided the resources to make his own choices. Avoiding those burdens of "success" may not always make it easier to pursue your own goals.