> 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.

This statement assumes local maxima don’t exist and greedy short term optimization always leads to long term benefit.

“If they can be automated, they are not necessary.” That’s a pretty interesting take as eventually everything could be automated.

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.