How confident can we be about the validity of the classification of finite simple groups?
Solution 1:
We're pretty sure. This is a good read on the status by Aschbacher. At this point, we're trying to simplify the proof because it's pretty messy and not very elegant, not because we aren't sure that it's correct.