> we proved security properties at the assembly code level (RISC-V) in over 100 real-world open-source software libraries
www.anthropic.comLLMs are making formal software verification feasible at a much larger scaleClaude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.