Blog

Umang Mathur, Prateek Saxena, Tianyu Li, Bo Wang, Diego Meyer, Ruishi Li
Nov 1, 2026
What does “verified memory safe” even mean?

An independent audit of Anthropic and Theorem’s memory-safety proofs.