Fifteen-Thousand-Page Theorem

Did you know that a certain math proof runs 15,000 pages? It’s about the classification of finite simple groups. A shorter version should be about 5,000 pages. It began when someone proved that the number of simple groups was finite. Such a proof is more like a railroad network than a book. No one verfies the whole thing, just as no one rides the entire railroad network.