Some mathematicians are concerned that the possibility of an error in a computer program or a run-time error in its calculations calls the validity of such comp

Some mathematicians are concerned that the possibility of an error in a computer program or a run-time error in its calculations calls the validity of such computer-assisted proofs into question. (This might be one reason, from https://en.wikipedia.org/wiki/Mathematical_proof#Computer-assisted_proofs https://en.wikipedia.org/wiki/Mathematical_proof#Computer-as... )