Anthropic proves security properties of 100+ open-source libraries at RISC-V assembly level with Claude
chrisrohlf · x · 2026-10-23
Anthropic's Frontier Red Team partnered with Theorem to show LLMs make formal software verification practical at scale.
- Using Claude, they proved security properties at the RISC-V assembly level across 100+ real-world open-source libraries — reportedly the first large-scale AI formal verification of production software at the assembly level
- Formal verification historically required years of expert effort; LLM-generated proofs enable workflows with proven security guarantees
- While writing proofs, Claude discovered bugs that had eluded detection for years despite trillions of test runs
- Context: even heavily tested software like the Linux kernel recently disclosed 1,000+ vulnerabilities, and frontier models increasingly chain benign bugs into exploits; the authors expect formal verification to become essential to secure development
More from Safety
- Anthropic and Theorem formally verify 123 open-source projects with Claude, launch free OSS Verify — Miles_Brundage · 2026-10-23
- FDA crosses a regulatory watershed with personalized neoantigen cancer vaccine, per Gottlieb — alex_peys · 2026-10-23
- Reddit Discusses 'Black October': AI-Driven Attacks Shake Cybersecurity — Anen-o-me · 2026-10-23
- Abliterated GLM-5.3 or DS V4.1 Flash plus compute lets motivated individuals do anything, argues viral thread — khademinori · 2026-10-23
- AI uncovers PHP2Shell flaw threatening the tech behind 70% of all websites — AIFlow_ML · 2026-10-23
- Ben Murphy on this week's cyber events: deployment models and open-source risks — herbiebradley · 2026-10-23