Do you trust computer-based proofs in mathematics?