It is potentially worse with math because accuracy is much more important and there are fewer reviewers compared to other fields.
It is potentially worse with math because accuracy is much more important and there are fewer reviewers compared to other fields.
It will drive math journals to require formalization of the proofs in the supplemental material.