LLMs are making formal software verification feasible at a much larger scale
Anthropic's collaboration with Theorem demonstrates that LLMs can now autonomously produce formal proofs for real-world software, successfully verifying security properties across 123 open-source libraries and discovering previously undetected bugs in the process.