Den zu ihrer Zeit wohl längsten Beweis der Mathematikgeschichte veröffentlichten Walter Feit und John Thompson 1963: jede Gruppe ungerader Gruppenordnung ist auflösbar. Der 254 Seiten lange Beweis füllte damals eine komplette Ausgabe des Pacific Journal of Mathematics. (Ruffinis Beweis der Unlösbarkeit quintischer Gleichungen war mit 500 Seiten deutlich länger gewesen, von den Fachleuten aber weitgehend…