"[proofs] are pretty sloppy, and are really just a form of persuasion." yes... with one of these computer brute force proofs, you must take it on faith that the result of executing an algorithm is as someone has claimed, be it the paper author or your own machine. this is proof by handwaving.