Who verifies the verifier? Notes on DeepMind's formal proof-search paper (opens in new tab)

--- title: "Who Verifies the Verifier" date: 2026-05-28 description: "An AI built the machine I said mathematics needed — a compiler that verifies proofs for cents instead of expert weekends. The catch is what it still can't read." tags: ["ai", "mathematics", "verification", "lean"] canonical_url: --- # Who Verifies the Verifier # Who Verifies the Verifier Three days ago I published an essay that ended on a problem I couldn't see a solution to. The short version: an AI had disproved one of...