Other mathematicians believe that lengthy computer-assisted proofs should be regarded as calculations, rather than proofs: the proof algorithm itself should be proved valid, so that its use can then be regarded as a mere "verification".
Другите математичари сметаат дека компјутерските асистирани докази треба да се сметаат како пресметки, наместо докази: алгоритамскиот доказ сам треба да се докаже валиден така што неговата употреба тогаш може да се смета како проверка.