Laurence et Sébastien Dubourg

Il y a quelques jours, a été annoncé l'achèvement de la description d'un objet mathématique, E8, un groupe de Lie, structure inventée (ou découverte si on est platonicien) il y a 120 ans par le mathématicien Sophus Lie. Voir à ce sujet l'article du Monde de 20 mars 2007.

L'originalité de cette avancée mathématique est qu'elle repose sur l'utilisation de plusieurs jours de calcul d'un super-ordinateur et que le résultat est une matrice comportant plus de 200 milliard d'entrées polynomiales (voir The E8 calculation).

Mais quel peut être l'intérêt d'une telle description, inaccessible dans son intégralité à tout homme (60 Goctets de données compressées) ?

Continuer à lire "Démonstration et construction mathématique par ordinateur"