“Prediction: AI will make formal verification go mainstream” - basically something I thought this week (though with “might” rather than “will”), and today found this person also say on the Internet.