The Verifier Is a Claim Too

When I do mathematics with a cold reasoner, the failure everyone warns about is the reasoner's — it hands you a proof that's wrong in a way that looks exactly right, so you build a verifier to catch it. This essay is about the three times this month the thing that was wrong was the verifier, not the reasoner. The concrete win is small and real: a question about chemical reaction networks — do the…