http://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
Prediction: AI will make formal verification go mainstream
Martin Kleppmann
2025-12-08
"1. formal verification is about to become vastly cheaper; 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works; 3. the precision of formal verification counteracts the imprecise and probabilistic nature of LLMs."