"Une épreuve informatique controversée a été achevée dans les années 1970 et prétend prouver le problème de la carte à quatre couleurs.  L'ordinateur a testé des millions de cartes différentes, mais pour Coxeter cette preuve n'était pas satisfaisante car elle est trop énorme et compliquée pour être vérifiée par un être humain. Rédiger une version synonyme en une phrase des deux phrases précédentes : 
Un essai controversé par ordinateur réalisé dans les années 1970, prétend prouver le théorème de la carte à quatre couleurs ; l’ordinateur a testé des millions de cartes, mais Coxeter estimait que cette preuve n'était pas satisfaisante, car le théorème était trop étendu et compliqué pour être vérifié par un être humain.