i believe i&#x27;ve read about automatically --(i believe automatically, and it&#x27;s a crucial distinction, but i&#x27;m not looking it up right now, so take it with a grain of salt)-- generated proofs so long they can&#x27;t be reasonably understood by a human, but it &quot;convinces&quot; a computer. such a proof isn&#x27;t a proof in the sense that it doesn&#x27;t convince a human being, which is the point of the proof. but, since it checks out, maybe a better way to think of it is it&#x27;s a mathematical proof but for an audience other than human beings.<p>i wonder if a game is much different from a proof. i mean, we can implement games as programs, so there is a connection at that level.