This project exceeded previous mathematical endeavours by its sheer size, in both length of proof and number of researchers