Since large computations are hard to verify, such proofs may not be sufficiently rigorous.
Karena perhitungan besar sangatlah sukar diperiksa, bukti-bukti itu mungkin saja tidak cukup kaku.