In 1963 Walter Feit and John G. Thompson published a proof of a 1911 conjecture by Burnside that every finite group of odd order is solvable. This proof, which ran for 255 pages, was a tour-de-force of mathematics and inspired intense effort to classify finite simple groups. Thi…