Security researcher questions formal verification claims: latest versions full of exploitable bugs
OwariDa · x · 2026-11-15
Security researcher @sy1vi3 (amplified by OwariDa) calls out a wave of recent "we formally verified X" posts, noting she personally found scores of exploitable bugs in the latest versions of the very systems being verified — casting doubt on what those formal verification claims actually established. A pointed reminder to treat formal-verification claims in AI security with skepticism.
More from Safety
- US and China to establish new AI dialogue on model testing and incident alerts — S_OhEigeartaigh · 2026-11-15
- Linus Torvalds says the worst of the AI-found bug flood in the kernel may be over — IgorCarron · 2026-11-15
- Firm linked to Jensen Huang's ex-lover brokered nearly $12B in Nvidia chip orders for China — The Decoder · 2026-11-15
- Row-Bot drives your desktop with mouse and keyboard — locked down by design — Acceptable-Object390 · 2026-11-15
- Anatomy of a trojan: implanting a payload into an AI system — zibenmoka · 2026-11-15
- Reddit users question Claude Cowork file access: what stops it reading beyond the granted folder? — OriginalPosition1 · 2026-11-15