[Myrmornis]

> AI-generated papers could overwhelm peer-review systems with low-quality work

That's not a problem unique to math, or even to academia. It's a problem in every context in human life where people communicate via written documents.

[paulpauper]

It is potentially worse with math because accuracy is much more important and there are fewer reviewers compared to other fields.

[pfdietz]

It will drive math journals to require formalization of the proofs in the supplemental material.