I don't understand this area well at all, but I know the existing classification of finite simple groups is very long and detailed.
Wikipedia says
> The proof consists of tens of thousands of pages in several hundred journal articles
and that the second-generation simplified version might possibly run to only 5,000 pages.
5,000 pages of math is easier to understand and/or believe in than tens of thousands of pages, but it's still a pretty daunting amount even for specialists.
Wikipedia says
> The proof consists of tens of thousands of pages in several hundred journal articles
and that the second-generation simplified version might possibly run to only 5,000 pages.
5,000 pages of math is easier to understand and/or believe in than tens of thousands of pages, but it's still a pretty daunting amount even for specialists.