"A proof is a repeatable exercise in persuasion" - Couldn't track the source. Shucks. Computer proofs have their value, but so far it is mostly in determining

"A proof is a repeatable exercise in persuasion" - Couldn't track the source. Shucks. Computer proofs have their value, but so far it is mostly in determining whether a proposition is true or false. One still needs a mathematician-written proof to get insight into the problem. This is unlikely to go away anytime soon. Furthermore, for most important unsettled problems in maths, we already have a very strong inkling that the statement will turn out true/false. Dramatic surprises in maths are very, very rare. Gödel's incompleteness theorem is the only one that comes to mind.