Model Releases
Anthropic says it partnered with Theorem to use Claude to formally prove useful security properties at the assembly code level across 123 open-source libraries (Anthropic)
Anthropic: Anthropic says it partnered with Theorem to use Claude to formally prove useful security properties at the assembly code level across 123 open-source libraries — Introduction — Even mature,
Anthropic: Anthropic says it partnered with Theorem to use Claude to formally prove useful security properties at the assembly code level across 123 open-source libraries — Introduction — Even mature, heavily tested software contains bugs, and LLMs are increasingly adept at finding them.
Related
- Claude flagged 493 security issues across 25 open-source projects, covering 5M+ lines of C, C++, Java, PHP, and Python code; one went unnoticed for 21 years (Chris Rohlf/Anthropic)
- Anthropic says Claude worked 'largely autonomously' over 11 days to formalize the proof of Fermat's Last Theorem in the Lean programming language (Anthropic)
- Anthropic says Mythos 5 is now in public beta in Claude Security for Enterprise users, and it is working with providers to embed Mythos 5 in defensive tools (Claude)
Source: Techmeme | 2026-10-23