I am absolutely baffled at the idea that LLMs mean you need less automated verification of correctness.