In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the CFSG and said so was ok, but a proof that relied on the ATLAS was not so ok, because the content has not been completely independently verified, and has as its basis old computer and other calculations that have only been done once.
Given the (numerous?) little errors have been found over time, it would be good to have a definitive record as to which bits have either been calculated or proved elsewhere, or formally verified in the case of the computer calculations, and if so where and by whom (with code for the latter case). Note that merely being able to do some calculations in GAP is not quite enough, since, as the documentation says
Part of the constructions have been documented in the literature on almost simple groups, or the results have been used in such publications, see for example the references in [CCNPW85] and [BN95].
where CCNPW85 is the ATLAS and BN95 is Breuer and Norton's Improvements to the Atlas (in an appendix of Atlas of Brauer Characters).
EDIT Since it may not have been clear, I was after statements modeled on the following:
- "All results about classical groups of Lie type are well-known and documented elsewhere"
- "All results about conjugacy classes of the sporadic groups except Janko 4 [say] are calculated afresh and contained in X computer package"
- "The results on [blah] about [some group] are only contained in the ATLAS, and no papers or independently written software have reproved/recalculated them"
If it's easier to specify what is only in the ATLAS then that would be good, since clearly a lot of the classical material would be known and calculated long before.
EDIT May 2017 In a recent talk (Youtube - the first few minutes only before the main talk) Serre mentions his comments discussed here, the fact people got worked up about it, and the paper in Farrokh Shirjian's answer, which he feels addresses his complaints.