I don&#x27;t doubt that modern math proofs have been created by experts and checked by computers. Where I have a hard time is when the claim is made that these complicated proofs have any basis in the real world. <i>That</i> can&#x27;t be checked by computer.