> I believe in chasing fantastic scientific and mathematical progress with the help of LLMs, we risk imperiling our institutions, our professional norms, and human mathematical understanding
I don't think that defending institutions and professional status is a great image for a largely publicly funded academia. Academia should not be about reproducing itself firstmost. This may be a bit less pronounced in mathematical academic work ("which is already useless" as author says and def more honest about it) but broadly academia should care more about progress than its institutional status and professional norms (as in the status in which careering in academia is defined, not honesty, integrity, rigour and other such norms that are already not as greatly upheld anyway in many parts of it as it should).
The "human mathematical understanding" is indeed a valid concern imo.
I don't think that defending institutions and professional status is a great image for a largely publicly funded academia. Academia should not be about reproducing itself firstmost. This may be a bit less pronounced in mathematical academic work ("which is already useless" as author says and def more honest about it) but broadly academia should care more about progress than its institutional status and professional norms (as in the status in which careering in academia is defined, not honesty, integrity, rigour and other such norms that are already not as greatly upheld anyway in many parts of it as it should).
The "human mathematical understanding" is indeed a valid concern imo.