Usually, verifying a proof is considerably easier than finding one—and it doesn’t seem at all unreasonable to use a machine to find a proof—if you are looking for one.
Usually, verifying a proof is considerably easier than finding one—and it doesn’t seem at all unreasonable to use a machine to find a proof—if you are looking for one.