Difference between revisions
classification-finite-simple-groups
Source +0 −0
… 21 unchanged lines
Revision 52 as rendered
The proof spans tens of thousands of pages by more than a hundred authors over fifty years. A 'second generation' proof, begun by Gorenstein, Lyons and Solomon, is still being written up to make it checkable by one person. It is the strongest argument for formal verification at scale.
Evidence tier V3 is the import default for a result the curation records as settled in the published record. No formal proof or certificate is attached to this page yet.
Closed 1983 announced; 2004 gaps closed (Aschbacher and Smith).