It was amusing to learn from a formal methods expert (Hillel Wayne) how formal methods are very cumbersome for much of real-world verification / testing. Even when you take into account using AI!