LLMs are making formal software verification feasible at a much larger scale

• The standard defenses against cyberattacks are no longer sufficient: we need ways to prove that code is free of bugs.
• Formal software verification could provide this guarantee, but it has historically required years of expert effort, making it impractical for most real-world projects.