Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog

Interesting development potentially for neuro symbolic agents - LLMs making it feasible to churn out formal verification language much faster, and also driving demand by creating code that requires automated checks.