The completion of the classification of finite simple proofs was first announced in 1983. However, as late as 2008 minor gaps were still found and closed.
How certain can we be that
- The proof of the classification theorem is correct
- Even though there may be mistakes in the proof, at least the result is correct, i. e. our list of finite simple groups is the right one?