Anthropic partnered with Theorem Labs to formally verify software using the Claude artificial intelligence model. Claude successfully proved key security properties across more than one hundred real-world open-source libraries in just a few weeks.
FireBrief
FireBrief