finite groups are the manhattan project of math. 15k pages of proof, and ongoing attempts to restate the proof so that future generations may understand it.