At the same time the unusual nature of the proof—it was the first major theorem to be proved with extensive computer assistance—and the complexity of the human-verifiable portion aroused considerable controversy (Wilson 2014).
Την ίδια εποχή, η ασυνήθιστη φύση της απόδειξης – ήταν το πρώτο σημαντικό θεώρημα που είχε αποδειχθεί με εκτεταμένη βοήθεια ηλεκτρονικού υπολογιστή – και η πολυπλοκότητα του τμήματος της ανθρώπινης επαλήθευσης, προκάλεσε σημαντικές διαμάχες (Wilson 2002).