Initially, their proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand (Swart 1980).
Αρχικά, η απόδειξή τους δεν έγινε αποδεκτή από όλους τους μαθηματικούς, καθώς οι υποβοηθούμενες από υπολογιστή αποδείξεις δεν ήταν εφικτό να ελεγχθούν από τον άνθρωπο (Swart 1980).