Researchers used an AI auditor to uncover a critical soundness vulnerability in the OpenVM zero-knowledge virtual machine that allowed malicious provers to forge pairing equalities. The flaw stemmed from missing subfield checking and has been patched in the OpenVM 1.6.0 release under CVE-2026-46669. This discovery marks the second installment in an ongoing series detailing AI-driven bug hunting in open-source cryptography.