Genuine question, does this level of complexity lead to higher rates of mistakes, such as faulty proofs passing review? I'm asking this because in my field of

Genuine question, does this level of complexity lead to higher rates of mistakes, such as faulty proofs passing review? I'm asking this because in my field of expertise it's a common correlation, that the more complex and arcane a piece of code is, the lower the chance is that issues will be discovered during review. In addition the chance of issues grows superlinear with complexity, as more control flow and invariants needs to be tracked in error prone human minds.