Green proofs, empty promises: when AI agents write their own specifications

I asked AI coding agents to write formally verified code. Every solution passed the verifier. Then I...