[boinkboink78912]

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.

[iahds9uasd]

I don't think the author of the article chose what world to be born into.

[boinkboink78912]

I meant all of humanity, not just the author. We, as humans, have collectively made our beds. It's time to sleep in them.

[cubefox]

> We'll automate mathematics because we can, because it's useful.

No, it's not useful. Proving the Riemann hypothesis has no practical application whatsoever. Neither has any of the thousand Erdős problems. Or the Goldbach conjecture. Or the Collatz conjecture. Etc.