PREDICTION: AI WILL MAKE FORMAL VERIFICATION GO MAINSTREAM

Summary from the TLDR AI newsletter

AI-generated code needs formal verification to automate the review process and counteract the imprecise and probabilistic nature of LLMs.