Prediction: AI will make formal verification go mainstream

The blog post discusses the potential impact of AI on software development, specifically predicting that AI will make formal verification a mainstream practice in the industry. The author argues that formal verification, historically seen as a niche area, will gain wider acceptance due to AI advancements and delves into how proof assistants may facilitate this shift.