AI
Claude’s proofs across 123 libraries make the limits of “verified” worth reading
Anthropic and Theorem report large-scale formal verification at the RISC-V binary level. Their work points to a new software-security workflow, but the guarantees concern specified programmes and assumptions—not every bug in every library.