[booleandilemma]

I think large proofs done by humans also require hours of verification by other mathematicians, checking for "bugs" in a sense. I don't think they're obviously correct, I think it's like more like doing a code review.