Do mathematicians have the right to say "no AI PRs please, the volume is too much" just like how some open source maintainers do it? I guess they feel a loss of control, there is no way to turn the hose off.

Thinking of this a little bit with the perspective of every new proof as a burden, dumped for review by actual mathematicians.