Est-il possible de colorier n'importe quelle carte géographique avec 4 couleurs seulement ? Selon l'AFP, Georges Gonthier, Microsoft, et Benjamin Werner, Inria, ont mis au point un programme informatique qui auto - vérifie ses calculs simulant ainsi le travail du mathématicien.
Dépêche AFPLe site de G. Gonthier (avec logiciel)Le théorème des 4 couleurs