4 ms·
Not rarely. This talk shows several examples: https://www.youtube.com/watch?v=E9RiR9AcXeE https://www.youtube.com/watch?v=E9RiR9AcXeE One of the more important
by andrewjl 5y ago
Not rarely. This talk shows several examples: https://www.youtube.com/watch?v=E9RiR9AcXeE https://www.youtube.com/watch?v=E9RiR9AcXeE
One of the more important results discussed was not salvageable.
- dwohnitmok 5y ago> 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.