Anthropic says Claude verified tests across 123 open-source libraries
Under the stated RISC-V and Linux assumptions, the proofs cover every input smaller than 64 MB for the verified test entry points.
• Anthropic says Claude proved 239 test entry points across 123 open-source libraries cannot crash under specified conditions.
• The proofs cover inputs smaller than 64 MB on modeled RISC-V binaries running under Linux.
• Anthropic is publishing some proofs, and Theorem is offering the process to other open-source projects.
Read more
October 23, 2026 30
