Can AI prove code is bug-free?

What a proof guarantees depends on what we ask it to prove. Our audit of AI-generated memory-safety proofs explains why specifications matter, using a checked example and findings from our audit of the Anthropic–Theorem verification effort. Read the paper and supporting evidence.