LLMs · via X
Anthropic uses Claude to formally verify software at scale
Anthropic's Frontier Red Team says Claude makes formal verification, proving code is free of certain bugs, practical well beyond small codebases. It's also the top story on Hacker News.