Who verifies the verifier? Notes on DeepMind's formal proof-search paper (Web Pulse, 2026)