Related discussion from last week:

AI will make formal verification go mainstream

https://news.ycombinator.com/item?id=46294574