The shortcomings of traditional practices of peer review...
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.

The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.