The idea of ordering theorems like doordash is funny, kudos to the author for that :-)
Anyway, your "spiritual journey" doesn't matter. We'll automate mathematics because we can, because it's useful. Don't like it? Well, should have not chosen a capitalist economic system that rewards scientific progress so much.
I don't think the author of the article chose what world to be born into.
I meant all of humanity, not just the author. We, as humans, have collectively made our beds. It's time to sleep in them.
[dead]