My point is that this was already the case, i.e. math research was already not a "dollars go in, useful proofs come out" field. The people lamenting the future of mathematics are largely not focused on the economics, they're focused on the fact that anything they might apply their efforts to could get sniped by a frontier lab at any moment. That is obviously demotivating.
But reading the threads here on HN, in response to people saying "this sucks", AI boosters would rather redirect the conversation into economics and feign outrage that people are being paid to do mathematics at all.
Suddenly folks seem to be both in contempt of the idea of solving abstract puzzles without practical application, and certain that they want a higher efficiency of abstract puzzles solved per dollar (again, puzzles they probably don't care about).
But reading the threads here on HN, in response to people saying "this sucks", AI boosters would rather redirect the conversation into economics and feign outrage that people are being paid to do mathematics at all.
Suddenly folks seem to be both in contempt of the idea of solving abstract puzzles without practical application, and certain that they want a higher efficiency of abstract puzzles solved per dollar (again, puzzles they probably don't care about).