Démonstration d'un théorème complexe.

Bonjour,
Réf. : http://www.les-mathematiques.net/phorum/read.php?9,1859096,2184750#msg-2184750
Il y a quelques années, on parlait de Coq dont le but était justement de démontrer des théorèmes, dans le même temps le sujet du théorème des quatre couleurs et sa démonstration par l'informatique semblait passionner pas mal de gens, on n'entend plus parler, quelqu'un en connait-il la raison ?