Daniel Gorenstein

Daniel Gorenstein (1923–1992) was an American mathematician who initiated and organized the program to classify all finite simple groups. His 1972 proposal laid out a roadmap that would occupy hundreds of mathematicians for three decades and result in the classification of finite simple groups — the largest collaborative theorem in mathematics.

Gorenstein was not merely a strategist. He proved many of the classification's key components himself and maintained the social infrastructure of the project: tracking which cases were solved, which gaps remained, and which researchers were working on what. The classification was as much a social achievement as a mathematical one, and Gorenstein was its architect.

The classification of finite simple groups is often described as a proof. But no one person wrote it, no one person read it, and no one person verified it. It was a network of trust sustained by Gorenstein's social infrastructure. The theorem is mathematical. The proof was sociological. Gorenstein understood that before anyone else.