The way theorem provers work right now, it's still a human that has to come up with the proof, the theorem prover just verifies it. But yes, I wouldn't want co

The way theorem provers work right now, it's still a human that has to come up with the proof, the theorem prover just verifies it. But yes, I wouldn't want computer proofs to "replace" the proofs we have now.