AIThe Decoderabout 2 hours ago
Anthropic Claude Verifies Code Automatically
3 min read
Anthropic and partner Theorem used Claude to mathematically verify existing software code and generate formal proofs of its correctness. The model produced roughly 180 million lines of proof code for 123 open-source libraries in just a few weeks. Along the way, Claude caught hundreds of bugs that conventional testing had missed.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
