Claude formally proves the security of 123 open source libraries and finds hundreds of bugs
In a few weeks, Anthropic's Frontier Red Team has sent Claude about 180 million lines of evidence in Rocq, a formal audit work so far reserved for small programs.