# Can AI prove code is bug-free?

> Source: <https://focs-lab.comp.nus.edu.sg/news/2026-11-01-memory-safety-audit/>
> Published: 2026-11-01 00:00:00+00:00

# Can AI prove code is bug-free?

What a proof guarantees depends on what we ask it to prove. Our
[new article](https://focs-lab.comp.nus.edu.sg/blog/memory-safety-audit/) 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](https://github.com/focs-lab/memory-safety-proof-audit).