Remix.run Logo
paulpauper 4 hours ago

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

pfdietz 4 hours ago | parent [-]

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