[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.