Please elaborate. I find it difficult to believe that the problem you are hinting at would be a showstopper because there already exist computer systems for ver

Please elaborate. I find it difficult to believe that the problem you are hinting at would be a showstopper because there already exist computer systems for verifying mathematical proofs to standards of rigor acceptable by mainstream mathematicians.