Reading✦

LLMs are making formal software verification feasible at a much larger scale

— Anthropic

Anthropic and Theorem used Claude to prove assembly-level (RISC-V) security properties in over 100 real-world open-source libraries, uncovering long-hidden bugs along the way.

Added

Oct 23, 2026

Edited

Not since