alt Hacker News> With automated math that community as tao pointed out is at risk.
If they can be automated, they are not necessary. If they are necessary, they won't be fully automated. It's a pretty simple experiment to run, the math "community" should bear with us. Darwin would be proud.
Replies
doc_ick • yesterday at 12:52 PM
“If they can be automated, they are not necessary.” That’s a pretty interesting take as eventually everything could be automated.
➕ show 2 replies
topaz0 • yesterday at 7:02 PM
Darwin, possibly the most misunderstood scientist in history, would not be proud
lkey • yesterday at 1:02 PM
You've abandoned every part of yourself to the siren's song of efficiency and automation, huh?
To witness an arson and rejoice reveals an ugly kind of sadism.
➕ show 1 reply
This statement assumes local maxima don’t exist and greedy short term optimization always leads to long term benefit.