← Back to live feed1 story
Theorem Labs has launched OSS Verify, a free automated system for open-source projects that certifies code is immune to crashes or provides specific fixes for defects. The service uses formal verification to mathematically prove the absence of bugs and was developed based on research with Anthropic, where the Claude AI model verified 123 open-source libraries in a few weeks, writing about 1 billion lines of formal proofs and identifying and patching hundreds of bugs.
Sign in to suggest
Key sources
- SOURCEhuggingnewshuggingnews.com