> This is not a problem unique to the mathematical community.

Ahh that's OK then. Everyone's in this same boat simultaneously in multiple industries! Cool!

> What is the solution? I don't think the solution is to say AI progress in software, mathematics etc. should be halted.

I think the solution from the maths world is to not grant these AI papers (or their human sponsors) the normal courtesies of "regular order", just as you would not with an AI lawyer or someone who was just pressing enter at a law firm.

But in the software world, nobody gives a shit, apparently. We are collectively morally bankrupt and should not be granted the regular order to help other people to decide what to do with us.