Six ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration du théorème de Feit et Thompson.

Ce théorème est un théorème central pour la théorie des groupes et leur classification. 

=> En savoir plus : Site de l'INRIA.