On vient de terminer la plus longue démonstration jamais entreprise. Le travail a commencé en 1971. Une bonne centaine de mathématiciens y a participé. C'est Michel Aschbacher qui va recevoir pour cela une récompense (The Rolf Schock Award in Mathematics). En effet, en 2004, il a trouvé une faille dans "le théorème énorme" de 15'000 pages et la correction a requis la publication d'un guide de 1200 pages supplémentaires.
Le théorème à démontrer concernait la classification des groupes finis simples.

Source : io9.com