This proof was controversial because the majority of the cases were checked by a computer program, not by hand.
Verilen tanıt tartışma konusu olmuştu çünkü durumların çoğu matematikçi eliyle değil de bir bilgisayar programı tarafından denetlenmişti.