@cwebber Speaking for myself, I have used it to teach myself maths I didn't know, and yes, there were errors. So what it requires is being extremely disciplined about evaluating every step in a proof, making sure it's valid, ideally reproduce the work oneself. (I know there are other ways to learn maths, but few which are accessible to me. But this may extend to areas where results are sufficiently formally constrained.)