[deepburner]

I'm no ai maximalist, quite the opposite in fact, and I have a great deal of sympathy for the author as a person from a similar trade. However perhaps he is being overly emotional in his response. Purists have been decrying the defilement of the trade for millennia - "but this time it's different!" no. you think the purest form of math is the one you were born into because you didn't know any other way. people were doing math before the abacus and will continue to do so afterwards. here a hot take even: there's no finite amount of math, if you really cared about math you would be excited about all the math you could uncover. the computer solving the jacobian conjecture isn't fulfilling enough for you? maybe start thinking about what this discovery implies then!

Besides, doing pure math as a vocation was and still is an incredibly niche and privileged profession that 1-O(e^-n) of the population had access to anyways. If anything we will need more mathematicians, more engineers and more physicists to keep up with the increased throughput. Maybe journals will finally start EMPLOYING (gasp!) some referees instead of relying on free labor from broke graduate students even!