Mathématiques : le défi du castor affairé résolu

Combien d’opérations peut faire un ordinateur avant de s’arrêter ? Une équipe d’informaticiens amateurs et passionnés a réussi à démontrer une conjecture considérée comme un Everest du domaine et qui résistait depuis plus de trente ans aux spécialistes.