AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM