L'une des plus longues démonstrations mathématiques fait plus de 1200 pages. Ça a pris plus de 30 ans, une centaine de personnes différentes ont travaillé dessus, et contient 15 000 pages de calculs.