3 ms·
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 mathemat
by boinkboink78912 2mo ago
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 2mo agoI don't think the author of the article chose what world to be born into.
- boinkboink78912 2mo agoI meant all of humanity, not just the author. We, as humans, have collectively made our beds. It's time to sleep in them.
- turing_curious 2mo ago[dead]
- cubefox 2mo ago> 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.