> Not rarely. This talk shows several examples I think you're underestimating the amount of theorems now that have been verified without issue. Those several e

> Not rarely. This talk shows several examples I think you're underestimating the amount of theorems now that have been verified without issue. Those several examples are an absolute drop in the bucket. > One of the more important results discussed was not salvageable. I don't see any important result in that talk that was not salvageable. I see a lemma that had to be changed in support of a larger theorem, but again nothing that "broke downstream papers" so to speak. All the results ended up being fine for their purposes.